index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
_CoqProject
Commit message (
Expand
)
Author
Age
...
*
automatic modifications to _Coqproject with new files
jadep
2017-11-12
*
Add Decidable2Bool
Jason Gross
2017-11-11
*
Add ListUtil.Forall
Jason Gross
2017-11-11
*
More modularity in autosolve
Jason Gross
2017-11-10
*
Add HeadUnderBinders
Jason Gross
2017-11-07
*
A bit more reorganization of autosolve
Jason Gross
2017-11-07
*
Move SideConditionFramework
Jason Gross
2017-11-07
*
Add SideConditionFramework
Jason Gross
2017-11-07
*
Add type of bounded Z
Jason Gross
2017-11-02
*
make update-_CoqProject
Jason Gross
2017-11-02
*
Add MapBaseType
Jason Gross
2017-10-31
*
Add unextend_op
Jason Gross
2017-10-31
*
make update-_CoqProject
Jason Gross
2017-10-29
*
Add MapBaseTypeWf, generalize src/Compilers/MapBaseType.v a bit
Jason Gross
2017-10-24
*
Add MapBaseType
Jason Gross
2017-10-23
*
Add InlineConstAndOpByRewrite
Jason Gross
2017-10-23
*
Add ZExtended/InlineConstAndOp.v
Jason Gross
2017-10-22
*
Add StripExpr
Jason Gross
2017-10-22
*
Add tight and loose bounds, no carry in add, sub
Jason Gross
2017-10-22
*
Add MapType
Jason Gross
2017-10-21
*
Add ZExtended/Syntax.v
Jason Gross
2017-10-20
*
Add GeneralizeVar{Wf,Interp}.v
Jason Gross
2017-10-20
*
Add GeneralizeVar
Jason Gross
2017-10-20
*
Add a version of exprf that lives in Set
Jason Gross
2017-10-20
*
Add Z.InlineConstAndOp*
Jason Gross
2017-10-20
*
Add InlineConstAndOpInterp.v
Jason Gross
2017-10-20
*
Add InlineConstAndOpWf.v
Jason Gross
2017-10-20
*
Add InlineConstAndOp
Jason Gross
2017-10-20
*
Add ZUtil.CPS
Jason Gross
2017-10-19
*
Remake some curves
Jason Gross
2017-10-18
*
Run remake_curves.py
Jason Gross
2017-10-18
*
Add final synthesis output type
Jason Gross
2017-10-18
*
Turn CurveParameters into a record
Jason Gross
2017-10-18
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Reorganize the curve-specific synthesis framework
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Build curve-specific files from json
Jason Gross
2017-10-18
*
Reorgainze synthesis framework files into a Framework folder
Jason Gross
2017-10-18
*
Replace curve-specific definitions with tactics
Jason Gross
2017-10-18
*
Factor out specific code underlying ReificationTypes
Jason Gross
2017-10-18
*
Revert "Add -compat 8.6 to _CoqProject"
Jason Gross
2017-10-18
*
Add InterpRewriting
Jason Gross
2017-10-17
*
Add CacheTerm
Jason Gross
2017-10-17
*
Add MulSplitUnfolder
Jason Gross
2017-10-17
*
Add faster arithmetic unfolding
Jason Gross
2017-10-15
*
Add TagList
Jason Gross
2017-10-10
*
Add UniformWeightInstances
Jason Gross
2017-10-09
*
Factor out parameter-specific code
Jason Gross
2017-10-07
*
Add PoseTermWithName
Jason Gross
2017-10-05
*
Add some ZUtil lemmas
Jason Gross
2017-10-03
[prev]
[next]