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
*
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
*
Add missing file
Jason Gross
2017-09-21
*
Add femul,fesqure for C32
Jason Gross
2017-09-21
*
Split off tactics in IntegrationTestDisplayCommon
Jason Gross
2017-09-21
*
Add UnfoldArg
Jason Gross
2017-07-08
*
automate P256 integration
Andres Erbsen
2017-07-02
*
Reorganization of saturated arithmetic
jadep
2017-06-29
*
Add nonzero synthesis
Jason Gross
2017-06-26
*
Weierstrass Jacobian mixed addition
Andres Erbsen
2017-06-23
*
Add (partially admitted) integration tests for add, sub, opp
Jason Gross
2017-06-22
*
move Specifi p256 files into their own directory
Andres Erbsen
2017-06-22
*
src/Demo.v: a 200-line introduction to BaseSystem ideas
Andres Erbsen
2017-06-21
*
Add fold_left_orb_true, fold_left_orb_pull
Jason Gross
2017-06-20
*
Add ModInv
Jason Gross
2017-06-18
*
compile X25519 C code from Makefile
Andres Erbsen
2017-06-18
*
add 128-bit display file
Jason Gross
2017-06-17
*
Add 128-bit version of montgomery for testing
Jason Gross
2017-06-17
[next]