| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 8.5 fixes |  Jason Gross | 2016-06-10 |
| * | Merge branch 'master' of github.mit.edu:plv/fiat-crypto |  jadep | 2016-03-30 |
| |\ | |||
| * | | made BaseVector instance global |  Jade Philipoom | 2016-03-20 |
| * | | refactor of Basesystem and ModularBaseSystem; includes general code organizat... | Jade Philipoom | 2016-03-20 |
| * | | Refactored BaseSystem and ModularBaseSystem. | Jade Philipoom | 2016-03-11 |
| | * | Finish absolutizing imports | Jason Gross | 2016-03-10 |
| |/ | |||
| * | Finish seperating our specs: remove old non-specified code |  Andres Erbsen | 2016-02-15 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |