| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Loops (trying again) (#259) |  Andres Erbsen | 2017-12-11 |
| | | | | | * clean up src/Experiments/Loops.v, add While and For | ||
| * | automate some proofs; also remove trace-based reasoning in favor of ↵ |  jadep | 2017-10-26 |
| | | | | | induction on fuel | ||
| * | invariants don't need to know the fuel | jadep | 2017-10-26 |
| | | |||
| * | WIP: loops | jadep | 2017-10-26 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |