aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
Commit message (Expand)AuthorAge
...
* Move DemoWithReification.v => Experiments/SimplyTypedArithmetic.vGravatar Jason Gross2017-11-24
* Make a copy of Demo.vGravatar Jason Gross2017-11-24
* Add ModInv autosolverGravatar Jason Gross2017-11-16
* Update GeneralizeVar to ensure WfGravatar Jason Gross2017-11-13
* Make pipeline options more easily extensibleGravatar Jason Gross2017-11-13
* Add faster version of intros [a b] for reflective stuffGravatar Jason Gross2017-11-13
* Add autosolve admit packageGravatar Jason Gross2017-11-12
* automatic modifications to _Coqproject with new filesGravatar jadep2017-11-12
* Add Decidable2BoolGravatar Jason Gross2017-11-11
* Add ListUtil.ForallGravatar Jason Gross2017-11-11
* More modularity in autosolveGravatar Jason Gross2017-11-10
* Add HeadUnderBindersGravatar Jason Gross2017-11-07
* A bit more reorganization of autosolveGravatar Jason Gross2017-11-07
* Move SideConditionFrameworkGravatar Jason Gross2017-11-07
* Add SideConditionFrameworkGravatar Jason Gross2017-11-07
* Add type of bounded ZGravatar Jason Gross2017-11-02
* make update-_CoqProjectGravatar Jason Gross2017-11-02
* Add MapBaseTypeGravatar Jason Gross2017-10-31
* Add unextend_opGravatar Jason Gross2017-10-31
* make update-_CoqProjectGravatar Jason Gross2017-10-29
* Add MapBaseTypeWf, generalize src/Compilers/MapBaseType.v a bitGravatar Jason Gross2017-10-24
* Add MapBaseTypeGravatar Jason Gross2017-10-23
* Add InlineConstAndOpByRewriteGravatar Jason Gross2017-10-23
* Add ZExtended/InlineConstAndOp.vGravatar Jason Gross2017-10-22
* Add StripExprGravatar Jason Gross2017-10-22
* Add tight and loose bounds, no carry in add, subGravatar Jason Gross2017-10-22
* Add MapTypeGravatar Jason Gross2017-10-21
* Add ZExtended/Syntax.vGravatar Jason Gross2017-10-20
* Add GeneralizeVar{Wf,Interp}.vGravatar Jason Gross2017-10-20
* Add GeneralizeVarGravatar Jason Gross2017-10-20
* Add a version of exprf that lives in SetGravatar Jason Gross2017-10-20
* Add Z.InlineConstAndOp*Gravatar Jason Gross2017-10-20
* Add InlineConstAndOpInterp.vGravatar Jason Gross2017-10-20
* Add InlineConstAndOpWf.vGravatar Jason Gross2017-10-20
* Add InlineConstAndOpGravatar Jason Gross2017-10-20
* Add ZUtil.CPSGravatar Jason Gross2017-10-19
* Remake some curvesGravatar Jason Gross2017-10-18
* Run remake_curves.pyGravatar Jason Gross2017-10-18
* Add final synthesis output typeGravatar Jason Gross2017-10-18
* Turn CurveParameters into a recordGravatar Jason Gross2017-10-18
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Reorganize the curve-specific synthesis frameworkGravatar Jason Gross2017-10-18
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
* Build curve-specific files from jsonGravatar Jason Gross2017-10-18
* Reorgainze synthesis framework files into a Framework folderGravatar Jason Gross2017-10-18
* Replace curve-specific definitions with tacticsGravatar Jason Gross2017-10-18
* Factor out specific code underlying ReificationTypesGravatar Jason Gross2017-10-18
* Revert "Add -compat 8.6 to _CoqProject"Gravatar Jason Gross2017-10-18
* Add InterpRewritingGravatar Jason Gross2017-10-17
* Add CacheTermGravatar Jason Gross2017-10-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 06:05:27 +0000