| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | CSE without inlining arithmetic expressions |  Jason Gross | 2017-05-14 |
| * | Don't needlessly extend the context in CSE | Jason Gross | 2017-04-17 |
| * | Prove antisymmetry of CSE leb | Jason Gross | 2017-04-17 |
| * | Ask for leb on op codes and base types, not flat types | Jason Gross | 2017-04-14 |
| * | Add support for cse-modulo-normalization | Jason Gross | 2017-04-14 |
| * | SOp needs to hold the type of the arguments, for denote | Jason Gross | 2017-04-12 |
| * | Hold types in SFst and SSnd | Jason Gross | 2017-04-12 |
| * | Extend cse context when inlining | Jason Gross | 2017-04-11 |
| * | Generalize prepend_prefix | Jason Gross | 2017-04-10 |
| * | Reorder parameters for ease of partial instantiation, add symbolic_expr_dec | Jason Gross | 2017-04-10 |
| * | Fix CSE to correctly symbolize expressions | Jason Gross | 2017-04-10 |
| * | Key on flat_type not base_type, in CSE | Jason Gross | 2017-04-10 |
| * | Use Named.Context in CSE, so we can reuse context lemmas | Jason Gross | 2017-04-10 |
| * | rename-everything |  Andres Erbsen | 2017-04-06 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |