Git — Sourcephile - majurity.git/shortlog

]> Git — Sourcephile - majurity.git/shortlog

sourcephile / git / majurity.git / shortlog

2023-11-25	Julien Moutinho	web: impl: continue to transcode Voting.Protocol.Crypto... main	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: impl: lint code	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: doc: fix links and stuffs	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	web: fix purescript environment	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: test: add type `G5`	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: doc: fix broken link	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: doc: add TODOs	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: doc: remove wrong statement	commit \| commitdiff \| tree \| snapshot
2023-11-25	Julien Moutinho	lib: doc: fix typo	commit \| commitdiff \| tree \| snapshot
2019-11-21	Julien Moutinho	yarn: upgrade to purescript@^0.13.5 and spago@^0.12.1	commit \| commitdiff \| tree \| snapshot
2019-11-16	Julien Moutinho	protocol: fix JSON error name	commit \| commitdiff \| tree \| snapshot
2019-11-16	Julien Moutinho	web: continue to purescriptify Cryptography	commit \| commitdiff \| tree \| snapshot
2019-11-09	Julien Moutinho	make: simplify and add PureScript support	commit \| commitdiff \| tree \| snapshot
2019-11-09	Julien Moutinho	web: add Version and continue Cryptography	commit \| commitdiff \| tree \| snapshot
2019-11-09	Julien Moutinho	spago: downgrade to avoid `GLIBC_2.27' not found	commit \| commitdiff \| tree \| snapshot
2019-11-07	Julien Moutinho	web: use yarn+spago instead of bower	commit \| commitdiff \| tree \| snapshot
2019-11-07	Julien Moutinho	stack: bump to lts-14.13	commit \| commitdiff \| tree \| snapshot
2019-11-07	Julien Moutinho	protocol: add Bounded (E crypto c) instance	commit \| commitdiff \| tree \| snapshot
2019-11-07	Julien Moutinho	protocol: clean imports	commit \| commitdiff \| tree \| snapshot
2019-11-06	Julien Moutinho	web: initial arithmetic and cryptography	commit \| commitdiff \| tree \| snapshot
2019-11-06	Julien Moutinho	cli: admin: directly use election_hash	commit \| commitdiff \| tree \| snapshot
2019-11-05	Julien Moutinho	protocol: split Election module and improve Version	commit \| commitdiff \| tree \| snapshot
2019-11-02	Julien Moutinho	protocol: use Purescript's algebra hierarchy	commit \| commitdiff \| tree \| snapshot
2019-10-31	Julien Moutinho	protocol: bring c from the method level to the class...	commit \| commitdiff \| tree \| snapshot
2019-10-30	Julien Moutinho	protocol: work around to avoid ConstraintKinds	commit \| commitdiff \| tree \| snapshot
2019-10-30	Julien Moutinho	protocol: replace reifyCrypto by groupDict	commit \| commitdiff \| tree \| snapshot
2019-10-28	Julien Moutinho	protocol: replace F by G	commit \| commitdiff \| tree \| snapshot
2019-10-28	Julien Moutinho	protocol: add Version and abstract over FFC	commit \| commitdiff \| tree \| snapshot
2019-08-16	Julien Moutinho	protocol: no padding for Base64SHA256.	commit \| commitdiff \| tree \| snapshot
2019-08-15	Julien Moutinho	protocol: polish imports	commit \| commitdiff \| tree \| snapshot
2019-08-15	Julien Moutinho	protocol: bump versions	commit \| commitdiff \| tree \| snapshot
2019-08-15	Julien Moutinho	cli: use readElection to fix election_hash	commit \| commitdiff \| tree \| snapshot
2019-08-15	Julien Moutinho	protocol: fix {encryt,verify}Ballot wrt. specs	commit \| commitdiff \| tree \| snapshot
2019-08-15	Julien Moutinho	protocol: fix election_hash	commit \| commitdiff \| tree \| snapshot
2019-08-14	Julien Moutinho	protocol: add command voter verify	commit \| commitdiff \| tree \| snapshot
2019-08-05	Julien Moutinho	protocol: join JSON stanzas with newlines to avoid...	commit \| commitdiff \| tree \| snapshot
2019-08-05	Julien Moutinho	protocol: add verification of trustees' public key	commit \| commitdiff \| tree \| snapshot
2019-08-05	Julien Moutinho	protocol: align Proof on Belenios' (slower) calculus	commit \| commitdiff \| tree \| snapshot
2019-08-05	Julien Moutinho	protocol: align {To,From}JSON on Belenios' schemas.	commit \| commitdiff \| tree \| snapshot
2019-08-04	Julien Moutinho	protocol: add CLI.Voter	commit \| commitdiff \| tree \| snapshot
2019-07-22	Julien Moutinho	protocol: fix ToJSON ElectionCrypto	commit \| commitdiff \| tree \| snapshot
2019-07-21	Julien Moutinho	cli: wrap help at 80	commit \| commitdiff \| tree \| snapshot
2019-07-21	Julien Moutinho	cli: update to new symantic-cli	commit \| commitdiff \| tree \| snapshot
2019-07-16	Julien Moutinho	cli: add administrator election	commit \| commitdiff \| tree \| snapshot
2019-07-16	Julien Moutinho	protocol: polish doc	commit \| commitdiff \| tree \| snapshot
2019-07-16	Julien Moutinho	protocol: polish ToJSON FFC	commit \| commitdiff \| tree \| snapshot
2019-07-14	Julien Moutinho	cli: cabal: add synopsis and description	commit \| commitdiff \| tree \| snapshot
2019-07-14	Julien Moutinho	cli: init registrar and trustee commands	commit \| commitdiff \| tree \| snapshot
2019-07-14	Julien Moutinho	protocol: use Belenios' JSON schema	commit \| commitdiff \| tree \| snapshot
2019-07-01	Julien Moutinho	protocol: change: bump cabal version	commit \| commitdiff \| tree \| snapshot
2019-07-01	Julien Moutinho	protocol: add: hexHash	commit \| commitdiff \| tree \| snapshot
2019-07-01	Julien Moutinho	protocol: fix: encode E as a JSON string	commit \| commitdiff \| tree \| snapshot
2019-06-25	Julien Moutinho	protocol: add decodeBigEndian	commit \| commitdiff \| tree \| snapshot
2019-06-23	Julien Moutinho	make: fix linting	commit \| commitdiff \| tree \| snapshot
2019-06-23	Julien Moutinho	protocol: fix FFC JSON	commit \| commitdiff \| tree \| snapshot
2019-06-23	Julien Moutinho	protocol: fix big-endian decoding	commit \| commitdiff \| tree \| snapshot
2019-05-19	Julien Moutinho	protocol: no change to Helios-C for the MJ	commit \| commitdiff \| tree \| snapshot
2019-05-19	Julien Moutinho	protocol: add {From,To}JSON instances	commit \| commitdiff \| tree \| snapshot
2019-05-17	Julien Moutinho	protocol: using ReaderT is not easier than Reifies	commit \| commitdiff \| tree \| snapshot
2019-05-14	Julien Moutinho	protocol: polish tally	commit \| commitdiff \| tree \| snapshot
2019-05-13	Julien Moutinho	protocol: add Trustee.Indispensable	commit \| commitdiff \| tree \| snapshot
2019-05-13	Julien Moutinho	protocol: add encryptedTally	commit \| commitdiff \| tree \| snapshot
2019-05-13	Julien Moutinho	protocol: fix benchmark	commit \| commitdiff \| tree \| snapshot
2019-05-12	Julien Moutinho	protocol: fix import in tests	commit \| commitdiff \| tree \| snapshot
2019-05-12	Julien Moutinho	protocol: add preliminary support for trustees	commit \| commitdiff \| tree \| snapshot
2019-05-12	Julien Moutinho	protocol: polish benchmarks	commit \| commitdiff \| tree \| snapshot
2019-05-12	Julien Moutinho	move test/ to tests/	commit \| commitdiff \| tree \| snapshot
2019-05-11	Julien Moutinho	protocol: add benchmarks	commit \| commitdiff \| tree \| snapshot
2019-05-11	Julien Moutinho	protocol: add quickchecks	commit \| commitdiff \| tree \| snapshot
2019-05-11	Julien Moutinho	move to src/ and tests/	commit \| commitdiff \| tree \| snapshot
2019-05-04	Julien Moutinho	protocol: improve explanations	commit \| commitdiff \| tree \| snapshot
2019-05-03	Julien Moutinho	protocol: add utils to check lengths more easily	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: rename ErrorValidate -> ErrorVerify	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: polish extensions	commit \| commitdiff \| tree \| snapshot
2019-05-02	Julien Moutinho	protocol: polish exports	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: bump version to share the software	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: remove ErrorProve	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: add FromNatural/ToNatural	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: polish import of modules	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: fix hash (remove last comma)	commit \| commitdiff \| tree \| snapshot
2019-05-01	Julien Moutinho	protocol: improve comments and variable names	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: rename Proove -> Prove	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: polish randomUUID	commit \| commitdiff \| tree \| snapshot
2019-04-30	Julien Moutinho	protocol: fix comments	commit \| commitdiff \| tree \| snapshot
2019-04-29	Julien Moutinho	protocol: handle list length checks in the library	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add key derivation	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: polish description	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add MeasuredList.empty	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: polish comments	commit \| commitdiff \| tree \| snapshot
2019-04-25	Julien Moutinho	protocol: add Ballot	commit \| commitdiff \| tree \| snapshot
2019-04-24	Julien Moutinho	protocol: change F to be a Natural, not an Integer.	commit \| commitdiff \| tree \| snapshot
2019-04-24	Julien Moutinho	protocol: add Utils.{Constraint,Natural,MeasuredList}	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Rename {Arith -> Arithmetic}	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Election	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Fix Arith	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Election	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Credential	commit \| commitdiff \| tree \| snapshot
2019-04-22	Julien Moutinho	protocol: Add Arith	commit \| commitdiff \| tree \| snapshot
next

Tools for voting with Majority Judgment and Helios-C

RSS Atom