| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | fix a typo |  jadep | 2017-03-30 |
| * | rename [Sorted] to [Columns] | jadep | 2017-03-30 |
| * | Proofs for [Sorted.from_associational] | jadep | 2017-03-30 |
| * | create module, indent the things, also rewrite [nils] to use tuple [repeat] a... | jadep | 2017-03-30 |
| * | some examples/tests for compact | jadep | 2017-03-29 |
| * | convert compact to CPS and try out a simple example | jadep | 2017-03-29 |
| * | Added saturated arithmetic file, including [compact] code and proof | jadep | 2017-03-24 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |