index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Reflection
/
Reify.v
Commit message (
Expand
)
Author
Age
*
Switch to fully uncurried form for reflection
Jason Gross
2017-03-01
*
Various minor reflection fixups
Jason Gross
2017-01-27
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19
*
Add support for dependent reification
Jason Gross
2016-11-06
*
Add some interpretations things, speed up proofs in Ed25519
Jason Gross
2016-10-31
*
Handle 4 arguments in Reify
Jason Gross
2016-10-30
*
Revert "Premature optimization of [Reify_rhs]"
Jason Gross
2016-10-30
*
Premature optimization of [Reify_rhs]
Jason Gross
2016-10-30
*
Fix slowness in [Defined] after [Reify_rhs]
Jason Gross
2016-10-30
*
Make Z Reification handle correctness proofs
Jason Gross
2016-10-30
*
Factor out prove_compile_correct
Jason Gross
2016-10-30
*
Adjust arguments to InputSyntax.Compile
Jason Gross
2016-10-30
*
Generalize Reify a bit
Jason Gross
2016-10-30
*
Generalize InputSyntax.Compile_correct
Jason Gross
2016-10-30
*
Factor Reify_rhs so that it's more reusable
Jason Gross
2016-10-30
*
Handle Let_In in reification
Jason Gross
2016-10-29
*
Fix type reification
Jason Gross
2016-10-29
*
Finer grained type reification
Jason Gross
2016-10-29
*
Add interp_type_gen_rel_pointwise2, *_gen => *
Jason Gross
2016-10-28
*
Add reserved notation for Let, change #
Jason Gross
2016-09-17
*
Remove the need for coercions in well-typing of Reify
Jason Gross
2016-09-07
*
Add fastpath to reify, add coercions
Jason Gross
2016-09-07
*
Key on the head of the operation in reification
Jason Gross
2016-09-07
*
Better implicits for Interp
Jason Gross
2016-09-05
*
Remove ReifyDirect
Jason Gross
2016-09-05