1. 05 Sep, 2014 1 commit
  2. 04 Sep, 2014 1 commit
  3. 03 Sep, 2014 1 commit
  4. 02 Sep, 2014 1 commit
  5. 01 Sep, 2014 2 commits
  6. 21 Aug, 2014 2 commits
  7. 18 Aug, 2014 1 commit
  8. 14 Aug, 2014 2 commits
  9. 13 Aug, 2014 1 commit
  10. 12 Aug, 2014 1 commit
  11. 11 Aug, 2014 1 commit
  12. 05 Aug, 2014 3 commits
  13. 15 Jul, 2014 1 commit
  14. 16 Apr, 2014 1 commit
    • Stephane Glondu's avatar
      Move some platform-specific functions to a new module · 5d4fc819
      Stephane Glondu authored
      Add module Platform: single interface to functions that depend on the
      runtime. For now, the native (existing one), and a dummy one that
      constitutes a skeleton for the js one.
      
      All calls to Cryptokit, Z, Calendar (which depends on Unix) in the
      command-line tool now go through this module.
      5d4fc819
  15. 04 Apr, 2014 1 commit
  16. 03 Apr, 2014 1 commit
  17. 01 Apr, 2014 1 commit
  18. 31 Mar, 2014 1 commit
  19. 29 Mar, 2014 1 commit
  20. 25 Mar, 2014 2 commits
    • Stephane Glondu's avatar
      More consistent "open" directives · 531bbeb1
      Stephane Glondu authored
      In each directory, always open in the following order:
       1. third-party libraries
       2. serializable
       3. signatures
       4. common
      
      Also, always open modules from lib/* before. This order is reflected
      in *.mllib files.
      
      Additionally, open more frequently serialization modules.
      531bbeb1
    • Stephane Glondu's avatar
      Rename Util into Common · 81b7a183
      Stephane Glondu authored
      81b7a183
  21. 24 Mar, 2014 7 commits
  22. 23 Mar, 2014 3 commits
  23. 21 Mar, 2014 2 commits
    • Stephane Glondu's avatar
      Big overhaul of election management · 66e7b8ca
      Stephane Glondu authored
      Summary:
       - WEB_ELECTION gets a new submodule of type ELECTION_SERVICES
       - per-election services do no longer take UUID as a param, but are
         registered at a path containing it
       - no more ESIndex, election home service is back
       - inline some submodules of SITE_SERVICES, drop ALL_SERVICES
       - rename old SITE_SERVICES into CORE_SERVICES
       - move election-specific templates to a new ELECTION_TEMPLATES; the
         templates in the new signature do not longer take an "election"
         argument but TEMPLATES.Election is a functor that takes a
         WEB_ELECTION and returns an ELECTION_TEMPLATES
       - adapt the booth to the new path layout
      
      Additional changes:
       - merge VOTING_SERVICES into ELECTION_SERVICES
       - inline {SITE,AUTH}_TEMPLATES into TEMPLATES
       - all templates take a final () argument to emphasize their impurity
      66e7b8ca
    • Stephane Glondu's avatar
      Refactor Templates · dab2e349
      Stephane Glondu authored
      dab2e349
  24. 19 Mar, 2014 2 commits