index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Reflection
/
Relations.v
Commit message (
Expand
)
Author
Age
*
Fix more unfolding that shouldn't happen
Jason Gross
2017-03-10
*
Switch to fully uncurried form for reflection
Jason Gross
2017-03-01
*
Add interp_flat_type_rel_pointwise_SmartVarfMap, interp_flat_type_rel_pointwi...
Jason Gross
2017-02-28
*
Add various reflection improvements, boundbycast
Jason Gross
2017-02-21
*
Fix relation relb arguments
Jason Gross
2017-02-07
*
Add things like interp_flat_type_rel_pointwise1_gen_Prop_iff_bool
Jason Gross
2017-02-07
*
Clean up and improve Reflection.Relations
Jason Gross
2017-02-07
*
Add interp_flat_type_rel_pointwise2_flatten_binding_list
Jason Gross
2017-02-06
*
Add interp_flat_type_rel_pointwise2_hetero_iff
Jason Gross
2017-02-03
*
Add interp_flat_type_rel_pointwise0
Jason Gross
2017-01-27
*
Various minor reflection fixups
Jason Gross
2017-01-27
*
Split off some bits of Reflection.Syntax
Jason Gross
2017-01-26
*
Add interp_type_rel_pointwise2_hetero
Jason Gross
2017-01-25
*
Add interp_flat_type_rel_pointwise2_hetero_flatten_binding_list2
Jason Gross
2017-01-25
*
Add interp_flat_type_rel_pointwise2_hetero
Jason Gross
2017-01-25
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19