Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add support for custom intro tactic in ring pkg, for speed | Jason Gross | 2017-11-17 |
| | |||
* | Add fast path for vm_decide (_ = false) | Jason Gross | 2017-11-17 |
| | |||
* | Add fast path for vm_decide (_ = true) package | Jason Gross | 2017-11-17 |
| | |||
* | Add native_compute evar packages | Jason Gross | 2017-11-16 |
| | |||
* | Add vm_compute_cbv_evar_package | Jason Gross | 2017-11-16 |
| | |||
* | Add ModInv autosolver | Jason Gross | 2017-11-16 |
| | |||
* | Add autosolve admit package | Jason Gross | 2017-11-12 |
| | |||
* | Use abstract in ring autosolve | Jason Gross | 2017-11-12 |
| | |||
* | First intro and split in Zring_prod_eq_tac, before cbv - | Jason Gross | 2017-11-11 |
| | |||
* | 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 |
| | |||
* | Base evard_package on evar_rel_package | Jason Gross | 2017-11-07 |
| | |||
* | 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 |
| | | | | | | Following a suggestion from Adam to give default values for the options, which I do here by pushing the convoy pattern very deep into the structure of the automation, and hiding it there. | ||
* | 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 | ||
* | Move SideConditionFramework | Jason Gross | 2017-11-07 |