index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
FancyMachine256
Commit message (
Expand
)
Author
Age
*
rename-everything
Andres Erbsen
2017-04-06
*
Add [Proof using] to most proofs
Jason Gross
2017-04-04
*
More fine-grained tactic imports
Jason Gross
2017-04-03
*
Add Wf_InterpToPHOAS
Jason Gross
2017-03-14
*
Move ContextOk to ContextDefinitions
Jason Gross
2017-03-14
*
Remove stuff from Reflection/Named/Syntax
Jason Gross
2017-03-08
*
Switch to fully uncurried form for reflection
Jason Gross
2017-03-01
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19
*
Add syntactic tuples
Jason Gross
2016-11-06
*
Add support for dependent reification
Jason Gross
2016-11-06
*
Add interp_type_gen_rel_pointwise2, *_gen => *
Jason Gross
2016-10-28
*
Split up DoubleBoundedProofs, add proofs
Jason Gross
2016-10-07
*
Add bitwise and, remove mkl from fancy
Jason Gross
2016-10-03
*
Work around bug #5112 ([Arguments id /] broken)
Jason Gross
2016-10-03
*
Drop CSE from Fancy Machine
Jason Gross
2016-09-22
*
Use dlet, not llet
Jason Gross
2016-09-22
*
Don't inline everything in Montgomery and Barrett
Jason Gross
2016-09-22
*
Make use of named syntax, do reg assign for fancy
Jason Gross
2016-09-22
*
Add reserved notation for Let, change #
Jason Gross
2016-09-17
*
Split off lemmas about [InlineConst]
Jason Gross
2016-09-16
*
Move FancyMachine from Experiments to Specific
Jason Gross
2016-09-08