.gitignore
.gitlab-ci.yml
.ocamlformat
AUTHORS
CHANGES.md
COPYING
Dockerfile_base_environment
Dockerfile_test_scenario_environment
INSTALL.md
MANIFEST
Makefile
README.md
RELEASE_NOTES.md
VERSION
belenios-lib.opam
belenios-platform-js.opam
belenios-platform-native.opam
belenios-platform.opam
belenios-server.opam
belenios-tool.opam
belenios.opam
contrib/fill_en_po.ml
contrib/list_live_elections.py
contrib/monitor_elections.py
contrib/move_deleted_elections.sh
contrib/reference_template.json
contrib/send_credentials.py
contrib/stats_on_deleted.sh
demo/dummy_logins.txt
demo/dune
demo/mime.types
demo/ocsigenserver.conf.in
demo/password_db.csv
demo/run-server.sh
demo/sealing.txt
demo/stop-server.sh
demo/warning.html
doc/.gitignore
doc/API.md
doc/Continuous_Integration.md
doc/automated_tests.md
doc/components.dot
doc/election_test_scenario_1_specification.md
doc/election_test_scenario_2_specification.md
doc/election_test_scenario_3_specification.md
doc/election_test_scenario_4_specification.md
doc/fips.sage
doc/frontend_booth.md
doc/instructions-en.md
doc/instructions-fr.md
doc/load_testing.md
doc/nspawn/README.md
doc/nspawn/belenios-container@.service
doc/nspawn/belenios-nspawn
doc/nspawn/belenios-stage1.sh
doc/nspawn/belenios-stage2.sh
doc/nspawn/belenios-stage3.sh
doc/references.bib
doc/spec_version.tex
doc/specification.tex
doc/tool.md
doc/web.md
dune
dune-project
ext/captcha/captcha
ext/captcha/dune
ext/css/reset.css
ext/css/style.css
ext/css/styled-elements.css
ext/css/superfish.css
ext/images/dune
ext/images/encrypting.gif
ext/jsbn/BigIntCompat.js
ext/jsbn/LICENSE
ext/jsbn/README.md
ext/jsbn/dune
ext/jsbn/jsbn.js
ext/jsbn/jsbn2.js
ext/libsodium/LICENSE
ext/libsodium/README.md
ext/libsodium/build.sh
ext/libsodium/dune
ext/libsodium/libsodium.js
ext/libsodium/libsodium.wasm
ext/sjcl/LICENSE.txt
ext/sjcl/README.md
ext/sjcl/core/aes.js
ext/sjcl/core/bitArray.js
ext/sjcl/core/ccm.js
ext/sjcl/core/codecBase64.js
ext/sjcl/core/codecHex.js
ext/sjcl/core/codecString.js
ext/sjcl/core/hmac.js
ext/sjcl/core/pbkdf2.js
ext/sjcl/core/random.js
ext/sjcl/core/sha256.js
ext/sjcl/core/sjcl.js
ext/sjcl/dune
ext/sjcl/gen.sh
frontend/.gitignore
frontend/.prettierrc.json
frontend/Makefile
frontend/booth/app.css
frontend/booth/app.js
frontend/booth/color_utils.js
frontend/booth/components/AllQuestionsWithPagination.js
frontend/booth/components/Breadcrumb.css
frontend/booth/components/Breadcrumb.js
frontend/booth/components/CandidateWithCheckbox.css
frontend/booth/components/CandidateWithCheckbox.js
frontend/booth/components/CandidateWithRadio.js
frontend/booth/components/ClassicVoteCandidatesList.css
frontend/booth/components/ClassicVoteCandidatesList.js
frontend/booth/components/ClassicVoteRecap.js
frontend/booth/components/DisplayDependingOnWindowWidth.js
frontend/booth/components/InputCredentialSection.css
frontend/booth/components/InputCredentialSection.js
frontend/booth/components/LoadingSpinner.css
frontend/booth/components/LoadingSpinner.js
frontend/booth/components/MajorityJudgmentVoteBigCandidatesList.css
frontend/booth/components/MajorityJudgmentVoteBigCandidatesList.js
frontend/booth/components/MajorityJudgmentVoteCandidatesList.js
frontend/booth/components/MajorityJudgmentVoteRecap.js
frontend/booth/components/MajorityJudgmentVoteSmallCandidatesList.css
frontend/booth/components/MajorityJudgmentVoteSmallCandidatesList.js
frontend/booth/components/NiceButton.css
frontend/booth/components/NiceButton.js
frontend/booth/components/NiceInput.css
frontend/booth/components/NiceInput.js
frontend/booth/components/NoUuidSection.js
frontend/booth/components/PageFooter.css
frontend/booth/components/PageFooter.js
frontend/booth/components/PageHeader.css
frontend/booth/components/PageHeader.js
frontend/booth/components/PreferentialVotingCandidatesList.css
frontend/booth/components/PreferentialVotingCandidatesList.js
frontend/booth/components/PreferentialVotingColumn.js
frontend/booth/components/PreferentialVotingVoteRecap.js
frontend/booth/components/PreferentialVotingWithoutEqualityCandidatesList.js
frontend/booth/components/PreferentialVotingWithoutEqualityColumn.css
frontend/booth/components/PreferentialVotingWithoutEqualityColumn.js
frontend/booth/components/PreferentialVotingWithoutEqualityVoteRecap.js
frontend/booth/components/QuestionWithVotableAnswers.css
frontend/booth/components/QuestionWithVotableAnswers.js
frontend/booth/components/ReviewEncryptSection.css
frontend/booth/components/ReviewEncryptSection.js
frontend/booth/components/VoteNavigation.css
frontend/booth/components/VoteNavigation.js
frontend/booth/components/WholeVoteRecap.css
frontend/booth/components/WholeVoteRecap.js
frontend/booth/components/common.css
frontend/booth/election_utils.js
frontend/booth/i18n_init.js
frontend/booth/majority_judgment_colors.js
frontend/booth/select-css.css
frontend/booth/shortcuts.js
frontend/booth/vote.html
frontend/booth/webpack.config.js
frontend/bundle-css.js
frontend/i18next-parser.config.js
frontend/logo.png
frontend/package.json
frontend/translations/ar.json
frontend/translations/cs.json
frontend/translations/de.json
frontend/translations/el.json
frontend/translations/en.json
frontend/translations/es.json
frontend/translations/es_419.json
frontend/translations/fi.json
frontend/translations/fr.json
frontend/translations/it.json
frontend/translations/jpn_JP.json
frontend/translations/lt.json
frontend/translations/nb.json
frontend/translations/oc.json
frontend/translations/pl.json
frontend/translations/pt_BR.json
frontend/translations/ro.json
frontend/translations/uk.json
opam-bootstrap.sh
po/.gitignore
po/Makefile
po/admin/LINGUAS
po/admin/Makefile
po/admin/POTFILES
po/admin/ar.po
po/admin/cs.po
po/admin/de.po
po/admin/dune
po/admin/el.po
po/admin/en.po
po/admin/es.po
po/admin/es_419.po
po/admin/fr.po
po/admin/it.po
po/admin/messages.pot
po/admin/ms.po
po/admin/nb.po
po/admin/nl.po
po/admin/oc.po
po/admin/pl.po
po/admin/pt_BR.po
po/admin/ro.po
po/admin/tr.po
po/gen-dune.sh
po/voter/LINGUAS
po/voter/Makefile
po/voter/POTFILES
po/voter/ar.po
po/voter/cs.po
po/voter/de.po
po/voter/dune
po/voter/el.po
po/voter/en.po
po/voter/es.po
po/voter/es_419.po
po/voter/fi.po
po/voter/fr.po
po/voter/it.po
po/voter/jpn_JP.po
po/voter/messages.pot
po/voter/nb.po
po/voter/nl.po
po/voter/oc.po
po/voter/pl.po
po/voter/pt_BR.po
po/voter/ro.po
po/voter/sk.po
po/voter/uk.po
po/voter/zh_Hans.po
requirements.txt
src/common/api/dune
src/common/api/serializable.atd
src/common/tool/dune
src/common/tool/tool_credgen.ml
src/common/tool/tool_credgen.mli
src/common/tool/tool_mkelection.ml
src/common/tool/tool_mkelection.mli
src/common/tool/tool_tkeygen.ml
src/common/tool/tool_tkeygen.mli
src/lib/core/archive.ml
src/lib/core/archive.mli
src/lib/core/common.ml
src/lib/core/common.mli
src/lib/core/common_types.ml
src/lib/core/common_types.mli
src/lib/core/credential.ml
src/lib/core/credential.mli
src/lib/core/dune
src/lib/core/ed25519_libsodium.ml
src/lib/core/ed25519_libsodium.mli
src/lib/core/ed25519_pure.ml
src/lib/core/ed25519_pure.mli
src/lib/core/events.ml
src/lib/core/events.mli
src/lib/core/group_field.ml
src/lib/core/group_field.mli
src/lib/core/majority_judgment.ml
src/lib/core/majority_judgment.mli
src/lib/core/question.ml
src/lib/core/question.mli
src/lib/core/question_h.atd
src/lib/core/question_nh.atd
src/lib/core/question_sigs.mli
src/lib/core/schulze.ml
src/lib/core/schulze.mli
src/lib/core/serializable.atd
src/lib/core/serializable_core.atd
src/lib/core/signatures.mli
src/lib/core/signatures_core.mli
src/lib/core/stv.ml
src/lib/core/stv.mli
src/lib/core/trustees_sig.mli
src/lib/core/util.ml
src/lib/core/util.mli
src/lib/core/versioned_sig.mli
src/lib/shell/dune
src/lib/shell/election.ml
src/lib/shell/election.mli
src/lib/shell/group.ml
src/lib/shell/group.mli
src/lib/shell/trustees.ml
src/lib/shell/trustees.mli
src/lib/v1/dune
src/lib/v1/election.ml
src/lib/v1/election.mli
src/lib/v1/group.ml
src/lib/v1/group.mli
src/lib/v1/mixnet.ml
src/lib/v1/mixnet.mli
src/lib/v1/question_h.ml
src/lib/v1/question_h.mli
src/lib/v1/question_nh.ml
src/lib/v1/question_nh.mli
src/lib/v1/serializable.atd
src/lib/v1/trustees.ml
src/lib/v1/trustees.mli
src/platform/dune
src/platform/js/dune
src/platform/js/platform.ml
src/platform/native/dune
src/platform/native/libsodium_stubs.c
src/platform/native/platform.ml
src/platform/platform.mli
src/platform/signatures.mli
src/platform/version.mli
src/platform/version/dune
src/platform/version/gen.sh
src/platform/version/get_build.sh
src/scripts/checki18next/checki18next.ml
src/scripts/checki18next/dune
src/scripts/checki18next/reference.json
src/scripts/mo2json/dune
src/scripts/mo2json/mo2json.ml
src/scripts/translate_stubs/dune
src/scripts/translate_stubs/gen.sh
src/scripts/translate_stubs/main.ml
src/tool/common.ml
src/tool/dune
src/tool/election.ml
src/tool/election.mli
src/tool/main.ml
src/tool/main.mli
src/tool/random.ml
src/tool/random.mli
src/tool/sealing.ml
src/tool/sealing.mli
src/tool/setup.ml
src/tool/setup.mli
src/tool/tool_election.ml
src/tool/tool_election.mli
src/tool/tool_events.ml
src/tool/tool_events.mli
src/tool/tool_mkarchive.ml
src/tool/tool_mkarchive.mli
src/tool/tool_verifydiff.ml
src/tool/tool_verifydiff.mli
src/web/clients/admin/account.ml
src/web/clients/admin/account.mli
src/web/clients/admin/admin.html
src/web/clients/admin/admin.ml
src/web/clients/admin/admin.mli
src/web/clients/admin/cache.ml
src/web/clients/admin/cache.mli
src/web/clients/admin/common.ml
src/web/clients/admin/common.mli
src/web/clients/admin/dune
src/web/clients/admin/elections.ml
src/web/clients/admin/elections.mli
src/web/clients/admin/preview.ml
src/web/clients/admin/preview.mli
src/web/clients/admin/questions.ml
src/web/clients/admin/questions.mli
src/web/clients/admin/trustees.ml
src/web/clients/admin/trustees.mli
src/web/clients/basic/admin_basic.html
src/web/clients/basic/admin_basic.ml
src/web/clients/basic/admin_basic.mli
src/web/clients/basic/common.ml
src/web/clients/basic/credentials.ml
src/web/clients/basic/drafts.ml
src/web/clients/basic/dune
src/web/clients/basic/elections.ml
src/web/clients/checkpriv/checkpriv.html
src/web/clients/checkpriv/checkpriv.ml
src/web/clients/checkpriv/dune
src/web/clients/common/common.ml
src/web/clients/common/dune
src/web/clients/common/i18n.ml
src/web/clients/common/i18n.mli
src/web/clients/common/messages.mli
src/web/clients/election-home/dune
src/web/clients/election-home/home.ml
src/web/clients/election-home/home.mli
src/web/clients/jslib/belenios_jslib.ml
src/web/clients/jslib/belenios_jslib.mli
src/web/clients/jslib/dune
src/web/clients/tool/belenios-tool.html
src/web/clients/tool/dune
src/web/clients/tool/tool_js.ml
src/web/clients/tool/tool_js.mli
src/web/clients/tool/tool_js_credgen.ml
src/web/clients/tool/tool_js_fingerprint.ml
src/web/clients/tool/tool_js_i18n.mli
src/web/clients/tool/tool_js_pd.ml
src/web/clients/tool/tool_js_questions.ml
src/web/clients/tool/tool_js_shuffle.ml
src/web/clients/tool/tool_js_shuffle.mli
src/web/clients/tool/tool_js_tkeygen.ml
src/web/clients/tool/tool_js_ttkeygen.ml
src/web/clients/worker/belenios_worker.ml
src/web/clients/worker/belenios_worker.mli
src/web/clients/worker/dune
src/web/common/dune
src/web/common/i18n.mli
src/web/common/languages.ml
src/web/common/languages.mli
src/web/common/links.ml
src/web/common/mail_formatter.ml
src/web/common/mail_formatter.mli
src/web/common/mails_admin.ml
src/web/common/mails_admin.mli
src/web/common/mails_admin_sig.mli
src/web/common/markup.ml
src/web/common/markup_lexer.mli
src/web/common/markup_lexer.mll
src/web/common/markup_parser.mly
src/web/common/markup_types.mli
src/web/common/pages_common.ml
src/web/server/common/accounts.ml
src/web/server/common/accounts.mli
src/web/server/common/api_drafts.ml
src/web/server/common/api_drafts.mli
src/web/server/common/api_elections.ml
src/web/server/common/api_elections.mli
src/web/server/common/api_eliom.ml
src/web/server/common/api_eliom.mli
src/web/server/common/api_generic.ml
src/web/server/common/api_generic.mli
src/web/server/common/dune
src/web/server/common/filesystem.ml
src/web/server/common/filesystem.mli
src/web/server/common/mails_voter.ml
src/web/server/common/mails_voter.mli
src/web/server/common/otp.ml
src/web/server/common/otp.mli
src/web/server/common/pages_admin.ml
src/web/server/common/pages_admin.mli
src/web/server/common/pages_admin_sig.mli
src/web/server/common/pages_common.ml
src/web/server/common/pages_common.mli
src/web/server/common/pages_common_sig.mli
src/web/server/common/pages_sig.mli
src/web/server/common/pages_voter.ml
src/web/server/common/pages_voter.mli
src/web/server/common/pages_voter_sig.mli
src/web/server/common/site_admin.ml
src/web/server/common/site_admin.mli
src/web/server/common/site_admin_sig.mli
src/web/server/common/site_common.ml
src/web/server/common/site_common.mli
src/web/server/common/site_common_sig.mli
src/web/server/common/site_voter.ml
src/web/server/common/site_voter.mli
src/web/server/common/spool.ml
src/web/server/common/spool.mli
src/web/server/common/web_auth.ml
src/web/server/common/web_auth.mli
src/web/server/common/web_auth_cas.ml
src/web/server/common/web_auth_cas.mli
src/web/server/common/web_auth_dummy.ml
src/web/server/common/web_auth_dummy.mli
src/web/server/common/web_auth_email.ml
src/web/server/common/web_auth_email.mli
src/web/server/common/web_auth_oidc.ml
src/web/server/common/web_auth_oidc.mli
src/web/server/common/web_auth_password.ml
src/web/server/common/web_auth_password.mli
src/web/server/common/web_auth_sig.mli
src/web/server/common/web_captcha.ml
src/web/server/common/web_captcha.mli
src/web/server/common/web_common.ml
src/web/server/common/web_common.mli
src/web/server/common/web_config.ml
src/web/server/common/web_config.mli
src/web/server/common/web_election_mutex.ml
src/web/server/common/web_election_mutex.mli
src/web/server/common/web_events.ml
src/web/server/common/web_events.mli
src/web/server/common/web_i18n.ml
src/web/server/common/web_i18n.mli
src/web/server/common/web_i18n_sig.mli
src/web/server/common/web_main.ml
src/web/server/common/web_main.mli
src/web/server/common/web_persist.ml
src/web/server/common/web_persist.mli
src/web/server/common/web_serializable.atd
src/web/server/common/web_services.ml
src/web/server/common/web_services.mli
src/web/server/common/web_services_sig.mli
src/web/server/common/web_signup.ml
src/web/server/common/web_signup.mli
src/web/server/common/web_state.ml
src/web/server/common/web_state.mli
src/web/server/common/web_state_sig.mli
src/web/server/common/web_types.ml
src/web/server/common/web_types.mli
src/web/server/executable/dune
src/web/server/executable/server.ml
src/web/server/module/dune
src/web/server/module/main.ml
src/web/static/MainMenu.css
src/web/static/MainZone.css
src/web/static/NavMenu.css
src/web/static/app2.css
src/web/static/avatar.png
src/web/static/booth.css
src/web/static/common.css
src/web/static/dune
src/web/static/placeholder.png
src/web/static/responsive_site.css
src/web/static/site.css
src/web/static/wrap_tool.sh
tests/debian-votes/README.md
tests/debian-votes/convert.ml
tests/debian-votes/download.sh
tests/debian-votes/dune
tests/dune
tests/selenium/load_testing_set_up.py
tests/selenium/settings.py
tests/selenium/test_clicker_monkey.py
tests/selenium/test_fuzz_login.py
tests/selenium/test_fuzz_vote.py
tests/selenium/test_scenario_1.py
tests/selenium/test_scenario_2.py
tests/selenium/test_scenario_2_with_monkeys.py
tests/selenium/test_scenario_3.py
tests/selenium/test_scenario_4.py
tests/selenium/test_smart_monkey.py
tests/selenium/tools/sendmail_fake.sh
tests/selenium/tools/sendmail_fake_to_static.sh
tests/selenium/util/election_test_base.py
tests/selenium/util/election_testing.py
tests/selenium/util/execution.py
tests/selenium/util/fake_sent_emails_manager.py
tests/selenium/util/monkeys.py
tests/selenium/util/page_objects.py
tests/selenium/util/selenium_tools.py
tests/selenium/util/state_machine.py
tests/selenium/vote_with_prepared_ballots.py
tests/selenium/vote_with_prepared_ballots_direct.py
tests/tool/.gitignore
tests/tool/Makefile
tests/tool/demo-mj.sh
tests/tool/demo-nh.sh
tests/tool/demo-stv.sh
tests/tool/demo-threshold.sh
tests/tool/demo.sh
tests/tool/templates/questions-mj.json
tests/tool/templates/questions-nh.json
tests/tool/templates/questions-stv.json
tests/tool/templates/questions.json
