| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | move src/Experiments/NewPipeline/ to src/ |  Andres Erbsen | 2019-01-09 |
| * | remove pattern.ident.type_vars |  Jason Gross | 2018-12-11 |
| * | Prove pattern.ident.type_vars_enough | Jason Gross | 2018-12-08 |
| * | Add some more lemmas about generated stuff | Jason Gross | 2018-10-02 |
| * | Add more gen ident proofs | Jason Gross | 2018-10-01 |
| * | Support type variables in patterns in the rewriter | Jason Gross | 2018-09-29 |
| * | Fix typo in previous commit |  Jason Gross | 2018-08-03 |
| * | Add eq_ident_Decidable | Jason Gross | 2018-08-03 |
| * | Adjust GENERATEDIdentifiersWithoutTypesProofs.v, add eta_ident_cps_correct | Jason Gross | 2018-08-02 |
| * | Add GENERATEDIdentifiersWithoutTypesProofs.v | Jason Gross | 2018-08-02 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |