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
*
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
*
Add ZExtended/InlineConstAndOp.v
Jason Gross
2017-10-22
*
Add StripExpr
Jason Gross
2017-10-22
*
Add MapType
Jason Gross
2017-10-21
*
Add SmartValf_option
Jason Gross
2017-10-20
*
Add ZExtended/Syntax.v
Jason Gross
2017-10-20
*
Add GeneralizeVar{Wf,Interp}.v
Jason Gross
2017-10-20
*
Generalize wf_compile a bit
Jason Gross
2017-10-20
*
Add GeneralizeVar
Jason Gross
2017-10-20
*
Add a version of exprf that lives in Set
Jason Gross
2017-10-20
*
Add Z.InlineConstAndOp*
Jason Gross
2017-10-20
*
Add InlineConstAndOpInterp.v
Jason Gross
2017-10-20
*
Add interpf_invert_PairsConst
Jason Gross
2017-10-20
*
Add InlineConstAndOpWf.v
Jason Gross
2017-10-20
*
Add wff_SmartPairf_SmartVarfMap_same
Jason Gross
2017-10-20
*
Add SmartVarVarf_Pair, SmartPairfSmartVarVarf_SmartVarf
Jason Gross
2017-10-20
*
Add wff_invert_PairsConst
Jason Gross
2017-10-20
*
Better typing on postprocess_for_const_and_op
Jason Gross
2017-10-20
*
Add InlineConstAndOp
Jason Gross
2017-10-20
*
Fix arguments of previous commit
Jason Gross
2017-10-20
*
Add invert_PairsConst
Jason Gross
2017-10-20
*
Add invert_Pairs
Jason Gross
2017-10-20
*
Allow partial-inlining in the inliner
Jason Gross
2017-10-20
*
Allow inlining expressions not returning Tbase
Jason Gross
2017-10-20
*
Prove flatten_binding_list_interpf_SmartPairf_same
Jason Gross
2017-10-20
*
Add wff_SmartPairf
Jason Gross
2017-10-20
*
Add more constant notations
Jason Gross
2017-10-18
*
Extract rexpr_sig from the record
Jason Gross
2017-10-18
*
Extract evars from reflective pipeline
Jason Gross
2017-10-18
*
Package reflective pipeline side-conditions into a record
Jason Gross
2017-10-18
*
Add more notation constants
Jason Gross
2017-10-18
*
Make use of faster interp rewriting
Jason Gross
2017-10-17
[next]