Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Loops (trying again) (#259) | Andres Erbsen | 2017-12-11 |
* | automate some proofs; also remove trace-based reasoning in favor of induction... | jadep | 2017-10-26 |
* | invariants don't need to know the fuel | jadep | 2017-10-26 |
* | WIP: loops | jadep | 2017-10-26 |