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
*
add reflexivity to reify autosolve
Jason Gross
2017-11-12
*
Also unfold tuple for reification
Jason Gross
2017-11-11
*
Handle more base types in Z.Reify
Jason Gross
2017-11-10
*
Add more fine-grained cmovnz notations
Jason Gross
2017-11-10
*
Handle tuples in reification
Jason Gross
2017-11-10
*
Add unfold_flat_interp_tuple
Jason Gross
2017-11-10
*
Use match in flat_interp_{,un}tuple'
Jason Gross
2017-11-10
*
Make a reification package
Jason Gross
2017-11-07
*
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
[next]