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
*
Moved N lemmas from Ed25519 and IterAssocOp into new NUtil file
jadep
2017-02-22
*
Merge new base system (#112)
jadephilipoom
2017-02-22
*
Add various reflection improvements, boundbycast
Jason Gross
2017-02-21
*
Add MapCastInterp
Jason Gross
2017-02-16
*
Add InterpByIsoProofs
Jason Gross
2017-02-16
*
Add InterpByIso
Jason Gross
2017-02-16
*
make update-_CoqProject
Jason Gross
2017-02-15
*
Add rudimentary Java and C notation files, display
Jason Gross
2017-02-15
*
Add partially finished MapCastWf
Jason Gross
2017-02-14
*
Add src/Reflection/BoundByCastWf.v
Jason Gross
2017-02-14
*
Add SmartBoundWf
Jason Gross
2017-02-14
*
Add InlineCastInterp.v
Jason Gross
2017-02-13
*
Add InlineCastWf
Jason Gross
2017-02-13
*
Add SmartCast{Interp,Wf}
Jason Gross
2017-02-13
*
Split up BoundByCast
Jason Gross
2017-02-13
*
Add EtaInterp, EtaWf
Jason Gross
2017-02-10
*
Add Reflection/Eta.v
Jason Gross
2017-02-10
*
Add files for constant reflective notations
Jason Gross
2017-02-10
*
added ZToRing to _CoqProject
jadep
2017-02-09
*
Factor things into BoundByCast.v
Jason Gross
2017-02-08
*
Simpler version of MapCast
Jason Gross
2017-02-08
*
Split up Reflection/Z/Syntax and make it smaller
Jason Gross
2017-02-02
*
Add invert_op
Jason Gross
2017-02-01
*
Add invert_expr
Jason Gross
2017-02-01
*
Split off unique {pose,assert}
Jason Gross
2017-01-31
*
Add Util.Sumbool
Jason Gross
2017-01-30
*
Split off some bits of Reflection.Syntax
Jason Gross
2017-01-26
*
Update _CoqProject
Jason Gross
2017-01-21
*
Add LetInMonad to _CoqProject
Jason Gross
2017-01-19
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19
*
Split out Reflection.Equality, change Tflat implicit argument
Jason Gross
2017-01-19
*
More fine-grained util tactic files
Jason Gross
2017-01-17
*
Add curry.v
Jason Gross
2017-01-15
*
Add ApplicationRelations
Jason Gross
2017-01-10
*
update-_CoqProject
Jason Gross
2017-01-07
*
Add reified LadderStep without carries
Jason Gross
2017-01-07
*
Revert "Add apply10"
Jason Gross
2017-01-07
*
copy_bounds
Jason Gross
2017-01-07
*
Add fixed word size definitions
Jason Gross
2017-01-03
*
Add src/Reflection/MapCastWithCastOp.v
Jason Gross
2017-01-01
*
Redo MultiSizeTest with generic framework
Jason Gross
2017-01-01
*
Add generic code for MultiSizeTest
Jason Gross
2017-01-01
*
make update-_CoqProject
Jason Gross
2016-12-26
*
Add WfInversion
Jason Gross
2016-12-03
*
Move things to ExprInversion
Jason Gross
2016-12-03
*
Initial (not fully working) version of MapWithInterpInfo
Jason Gross
2016-12-02
*
Add lemmas about application
Jason Gross
2016-11-22
*
Copy bounds, fix a typo
Jason Gross
2016-11-22
*
Add GF25519BoundedExtendedAddCoordinates
Jason Gross
2016-11-17
*
Add src/Specific/GF25519BoundedAddCoordinates.v
Jason Gross
2016-11-17
[next]