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
/
Core.v
Commit message (
Expand
)
Author
Age
*
Flip argument order on interp for easier Proper lemmas
Jason Gross
2017-05-16
*
Add DeadCodeEliminationInterp
Jason Gross
2017-05-15
*
CSE without inlining arithmetic expressions
Jason Gross
2017-05-14
*
Support destructuring dlet and slet
Jason Gross
2017-05-13
*
Split off a-normal form from flattening
Jason Gross
2017-04-14
*
Add support for cse-modulo-normalization
Jason Gross
2017-04-14
*
Split off Compilers.Named.Context
Jason Gross
2017-04-10
*
rename-everything
Andres Erbsen
2017-04-06
*
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
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19
*
Add support for dependent reification
Jason Gross
2016-11-06
*
Add interp_type_gen_rel_pointwise2, *_gen => *
Jason Gross
2016-10-28
*
Add bitwise and, remove mkl from fancy
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