1. 22 May, 2013 1 commit
  2. 23 Apr, 2013 2 commits
  3. 19 Apr, 2013 2 commits
    • Stephane Glondu's avatar
      Reorganize test data · 0f267698
      Stephane Glondu authored
       * single files with all (raw) elections and votes
         - one line = one object
         - intentions:
           + elections are directly served from elections.json
           + new votes are directly appended to votes.json
       * other data (for now, keys and results) are put in separate files
         for each election
      
      FIXME: mysterious segfaults happen in the toplevel, only there and non
      deterministically... looks like a bug in Lwt: gdb and "thread apply
      all bt" reveal that caml_interprete is running in two threads at the
      same time.
      0f267698
    • Stephane Glondu's avatar
      Sandbox: verification functions · 5d887698
      Stephane Glondu authored
      5d887698
  4. 01 Oct, 2012 1 commit