index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Compilers
/
Reify.v
Commit message (
Expand
)
Author
Age
*
add reflexivity to reify autosolve
Jason Gross
2017-11-12
*
Handle tuples in reification
Jason Gross
2017-11-10
*
Make a reification package
Jason Gross
2017-11-07
*
Fix some issues with reification debug printing
Jason Gross
2017-10-15
*
Make some typeclasses opaque
Jason Gross
2017-10-02
*
Speed up reification a little bit
Jason Gross
2017-10-02
*
Remove fails; if we fail too strongly, we miss debugging information
Jason Gross
2017-06-17
*
Try to fail a bit faster in bad reification
Jason Gross
2017-06-17
*
Better reification tactic debugging
Jason Gross
2017-06-17
*
Fix debugging code
Jason Gross
2017-06-15
*
Don't force [Require Import String] for debug msgs
Jason Gross
2017-06-15
*
More debug info in reification
Jason Gross
2017-05-14
*
s/appcontext/context/
Jason Gross
2017-05-11
*
Fix a bad copy/paste of the recent commit
Jason Gross
2017-04-17
*
Better error messages in case of reify_abs failure
Jason Gross
2017-04-17
*
Slightly faster reification
Jason Gross
2017-04-07
*
rename-everything
Andres Erbsen
2017-04-06