| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add support for custom intro tactic in ring pkg, for speed |  Jason Gross | 2017-11-17 |
| * | Add ModInv autosolver | Jason Gross | 2017-11-16 |
| * | Add autosolve admit package | Jason Gross | 2017-11-12 |
| * | More modularity in autosolve | Jason Gross | 2017-11-10 |
| * | Separate case for handling option matches in autosolve | Jason Gross | 2017-11-10 |
| * | Add cbn [val] in autosolve | Jason Gross | 2017-11-10 |
| * | Better way (hopefully) of projecting relation from evar package | Jason Gross | 2017-11-07 |
| * | Add notation for optional_evar_rel_package | Jason Gross | 2017-11-07 |
| * | Add support for autosolve packages with options | Jason Gross | 2017-11-07 |
| * | Allow pre-unfolding of autosolve things | Jason Gross | 2017-11-07 |
| * | Factor packages through evar_Prop_package, raw_evar_package | Jason Gross | 2017-11-07 |
| * | A bit more reorganization of autosolve | Jason Gross | 2017-11-07 |
| * | Move SideConditionFramework | Jason Gross | 2017-11-07 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |