1. 12 Apr, 2017 12 commits
  2. 24 Mar, 2016 1 commit
  3. 27 Jan, 2016 1 commit
  4. 30 May, 2014 1 commit
  5. 22 May, 2014 1 commit
  6. 20 May, 2014 1 commit
  7. 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
  8. 10 Apr, 2014 1 commit
    • Stephane Glondu's avatar
      Use Cmdliner for command-line parsing · 0070f0d5
      Stephane Glondu authored
      Side-effects:
       - more uniform handling of --help and --version, automatic generation
         of Unix manpages
       - slight change in syntax (see demo.sh)
       - sub-commands of "election" (Tool_election) are now direct commands,
         "election" itself disappears
       - in Tool_election, concatenate with --dir option (if any) instead of
         calling chdir
      0070f0d5
  9. 26 Mar, 2014 3 commits
  10. 25 Mar, 2014 5 commits
  11. 18 Mar, 2014 3 commits
  12. 05 Feb, 2014 1 commit
  13. 09 Jan, 2014 1 commit
  14. 07 Jan, 2014 1 commit
  15. 17 Dec, 2013 1 commit
  16. 26 Nov, 2013 1 commit
  17. 08 Nov, 2013 1 commit
  18. 29 Oct, 2013 3 commits
  19. 03 Sep, 2013 1 commit