aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
Commit message (Expand)AuthorAge
...
* 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
* Add MulSplitUnfolderGravatar Jason Gross2017-10-17
* Add faster arithmetic unfoldingGravatar Jason Gross2017-10-15
* Add TagListGravatar Jason Gross2017-10-10
* Add UniformWeightInstancesGravatar Jason Gross2017-10-09
* Factor out parameter-specific codeGravatar Jason Gross2017-10-07
* Add PoseTermWithNameGravatar Jason Gross2017-10-05
* Add some ZUtil lemmasGravatar Jason Gross2017-10-03
* Add missing fileGravatar Jason Gross2017-09-21
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
* Split off tactics in IntegrationTestDisplayCommonGravatar Jason Gross2017-09-21
* Add UnfoldArgGravatar Jason Gross2017-07-08
* automate P256 integrationGravatar Andres Erbsen2017-07-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 18:27:19 +0000