| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add base.{base_,}interp_beq |  Jason Gross | 2019-02-20 |
| | | | | | These are the canonical boolean equality functions for the interpretations of the various base types. This will probably come in handy for side conditions in proofs about reifications of rewrite rules. | ||
| * | Add support for reifying `zrange` and `option` | Jason Gross | 2019-02-18 |
| | | | | | This is needed to reify statements for the rewriter. | ||
| * | move src/Experiments/NewPipeline/ to src/ |  Andres Erbsen | 2019-01-09 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |