Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
3cfc0e21
by Stephane Glondu at 2019-12-10T11:42:33Z
-
c7a48446
by Stephane Glondu at 2019-12-10T11:42:43Z
26 changed files:
- .gitlab-ci.yml
- CHANGES.md
- Makefile
- VERSION
- all.itarget
- + demo/demo-nh.sh
- demo/groups/rfc3526-2048.json
- demo/ocsigenserver.conf.in
- + demo/templates/questions-nh.json
- doc/election_test_scenario_2_specification.md
- + doc/election_test_scenario_4_specification.md
- + doc/references.bib
- doc/specification.tex
- myocamlbuild.ml
- opam-bootstrap.sh
- src/lib/common.ml
- src/lib/common.mli
- src/lib/election.ml
- src/lib/election.mli
- src/lib/group_field.ml
- + src/lib/mixnet.ml
- + src/lib/mixnet.mli
- src/lib/platform.mli
- + src/lib/question.ml
- + src/lib/question.mli
- + src/lib/question_h.atd