aboutsummaryrefslogtreecommitdiff
path: root/src/BaseSystem.v
Commit message (Expand)AuthorAge
* Make the library 20% faster: [auto with *] is evilGravatar Jason Gross2016-07-22
* Add a TODO commentGravatar Jason Gross2016-07-06
* Merged changes, including new ZUtil conventions.Gravatar jadep2016-07-06
|\
| * Make ZUtil more uniformGravatar Jason Gross2016-07-02
| * Simplify a proof that no longer needs more hintsGravatar Jason Gross2016-07-01
* | BaseSystem encode function is no longer naive; it does a mod/div loop rather ...Gravatar jadep2016-06-28
|/
* Aggregate all level specifications not in Spec/*Gravatar Jason Gross2016-06-22
* 8.5 fixesGravatar Jason Gross2016-06-10
* Merge branch 'master' of github.mit.edu:plv/fiat-cryptoGravatar jadep2016-03-30
|\
* | made BaseVector instance globalGravatar Jade Philipoom2016-03-20
* | refactor of Basesystem and ModularBaseSystem; includes general code organizat...Gravatar Jade Philipoom2016-03-20
* | Refactored BaseSystem and ModularBaseSystem.Gravatar Jade Philipoom2016-03-11
| * Finish absolutizing importsGravatar Jason Gross2016-03-10
|/
* Finish seperating our specs: remove old non-specified codeGravatar Andres Erbsen2016-02-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 21:39:44 +0000