index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Compilers
Commit message (
Expand
)
Author
Age
*
Generalize extended version of IdWithAlt
Jason Gross
2017-11-06
*
Add IdWithAlt to ZExtended
Jason Gross
2017-11-04
*
Add Zsub to extended syntax
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Fix error in generated C notations
Jason Gross
2017-11-03
*
Add preformatting for casts of mulx
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add notations for mulx involving uint8_t
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Fix missing cases in previous commit
Jason Gross
2017-11-03
*
Add SubWithGetBorrow with ZExtended
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Switch to AddWithGetCarry in ZExtended
Jason Gross
2017-10-31
*
Add MapBaseType
Jason Gross
2017-10-31
*
Add unextend_op
Jason Gross
2017-10-31
*
Generalize MapBaseType a bit
Jason Gross
2017-10-31
*
Add invert_PairsConst_gen
Jason Gross
2017-10-31
*
Add more constant notations
Jason Gross
2017-10-31
*
Add more constant notations
Jason Gross
2017-10-29
*
Add inversion_wf_one_constr
Jason Gross
2017-10-24
*
Add MapBaseTypeWf, generalize src/Compilers/MapBaseType.v a bit
Jason Gross
2017-10-24
*
Generalize In_flatten_binding_list_untransfer_interp_flat_type
Jason Gross
2017-10-24
*
Add In_flatten_binding_list_untransfer_interp_flat_type
Jason Gross
2017-10-24
*
Add wff_SmartPairf_SmartValf
Jason Gross
2017-10-24
*
Add MapBaseType
Jason Gross
2017-10-23
*
Add find_Name_and_val_transfer_interp_flat_type_None
Jason Gross
2017-10-23
*
Add find_Name_and_val_transfer_interp_flat_type
Jason Gross
2017-10-23
*
Factor out some code in src/Compilers/Named/MapType.v
Jason Gross
2017-10-23
*
Add {un,}transfer_interp_flat_type, lift_flat_type
Jason Gross
2017-10-23
*
Add InlineConstAndOpByRewrite
Jason Gross
2017-10-23
*
Add inline_const_and_op{f,} specializations
Jason Gross
2017-10-22
[next]