| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | More modularity in autosolve |  Jason Gross | 2017-11-10 |
| | | |||
| * | Base evard_package on evar_rel_package | 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 |
| | | |||
| * | Remove function evar package in favor of generic rel one | Jason Gross | 2017-11-07 |
| | | |||
| * | Add evar_function_package | Jason Gross | 2017-11-07 |
| | | |||
| * | A bit more reorganization of autosolve | Jason Gross | 2017-11-07 |
| This lets other files import evar_package without having to be rebuilt every time a new package alias is added to Autosolve | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |