index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Compilers
/
Z
/
Syntax
Commit message (
Expand
)
Author
Age
*
Make rewrite_eta_match_base_type_impl a bit faster
Jason Gross
2017-06-13
*
Fix a typo
Jason Gross
2017-06-13
*
Add rewrite_eta_match_base_type_impl
Jason Gross
2017-06-13
*
Add eta_match_base_type_impl
Jason Gross
2017-06-13
*
Reify Z.mul_with_split_at_bitwidth
Jason Gross
2017-06-13
*
Have interped_op_side_conditions return a pointed_Prop
Jason Gross
2017-06-12
*
Initial stab at id_with_alt
Jason Gross
2017-06-11
*
Add dummy version of IdWithAlt to compilers
Jason Gross
2017-06-11
*
Add SubWithGetBorrow to reflective machinery
Jason Gross
2017-05-20
*
Add InlineConstAndOpp
Jason Gross
2017-05-19
*
Add reflective machinery for adc, zselect
Jason Gross
2017-05-17
*
Add base_type_leb_total
Jason Gross
2017-04-14
*
Add interpToZ_range
Jason Gross
2017-04-08
*
Add ZToInterp_eq_inj
Jason Gross
2017-04-08
*
Use Z.max 0, not an if statement
Jason Gross
2017-04-08
*
Add interpToZ_ZToInterp_mod
Jason Gross
2017-04-08
*
Add cast_const_mod lemmas
Jason Gross
2017-04-08
*
Add cast_const_split_mod
Jason Gross
2017-04-08
*
Add cast_const_idempotent_small
Jason Gross
2017-04-08
*
Add inversion_base_type_constr
Jason Gross
2017-04-07
*
rename-everything
Andres Erbsen
2017-04-06