aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Expand)AuthorAge
* Add more constant notationsGravatar Jason Gross2017-10-31
* Add more constant notationsGravatar Jason Gross2017-10-29
* Add inversion_wf_one_constrGravatar Jason Gross2017-10-24
* Add MapBaseTypeWf, generalize src/Compilers/MapBaseType.v a bitGravatar Jason Gross2017-10-24
* Generalize In_flatten_binding_list_untransfer_interp_flat_typeGravatar Jason Gross2017-10-24
* Add In_flatten_binding_list_untransfer_interp_flat_typeGravatar Jason Gross2017-10-24
* Add wff_SmartPairf_SmartValfGravatar Jason Gross2017-10-24
* Add MapBaseTypeGravatar Jason Gross2017-10-23
* Add find_Name_and_val_transfer_interp_flat_type_NoneGravatar Jason Gross2017-10-23
* Add find_Name_and_val_transfer_interp_flat_typeGravatar Jason Gross2017-10-23
* Factor out some code in src/Compilers/Named/MapType.vGravatar Jason Gross2017-10-23
* Add {un,}transfer_interp_flat_type, lift_flat_typeGravatar Jason Gross2017-10-23
* Add InlineConstAndOpByRewriteGravatar Jason Gross2017-10-23
* Add inline_const_and_op{f,} specializationsGravatar Jason Gross2017-10-22
* Add ZExtended/InlineConstAndOp.vGravatar Jason Gross2017-10-22
* Add StripExprGravatar Jason Gross2017-10-22
* Add MapTypeGravatar Jason Gross2017-10-21
* Add SmartValf_optionGravatar Jason Gross2017-10-20
* Add ZExtended/Syntax.vGravatar Jason Gross2017-10-20
* Add GeneralizeVar{Wf,Interp}.vGravatar Jason Gross2017-10-20
* Generalize wf_compile a bitGravatar Jason Gross2017-10-20
* Add GeneralizeVarGravatar Jason Gross2017-10-20
* Add a version of exprf that lives in SetGravatar Jason Gross2017-10-20
* Add Z.InlineConstAndOp*Gravatar Jason Gross2017-10-20
* Add InlineConstAndOpInterp.vGravatar Jason Gross2017-10-20
* Add interpf_invert_PairsConstGravatar Jason Gross2017-10-20
* Add InlineConstAndOpWf.vGravatar Jason Gross2017-10-20
* Add wff_SmartPairf_SmartVarfMap_sameGravatar Jason Gross2017-10-20
* Add SmartVarVarf_Pair, SmartPairfSmartVarVarf_SmartVarfGravatar Jason Gross2017-10-20
* Add wff_invert_PairsConstGravatar Jason Gross2017-10-20
* Better typing on postprocess_for_const_and_opGravatar Jason Gross2017-10-20
* Add InlineConstAndOpGravatar Jason Gross2017-10-20
* Fix arguments of previous commitGravatar Jason Gross2017-10-20
* Add invert_PairsConstGravatar Jason Gross2017-10-20
* Add invert_PairsGravatar Jason Gross2017-10-20
* Allow partial-inlining in the inlinerGravatar Jason Gross2017-10-20
* Allow inlining expressions not returning TbaseGravatar Jason Gross2017-10-20
* Prove flatten_binding_list_interpf_SmartPairf_sameGravatar Jason Gross2017-10-20
* Add wff_SmartPairfGravatar Jason Gross2017-10-20
* Add more constant notationsGravatar Jason Gross2017-10-18
* Extract rexpr_sig from the recordGravatar Jason Gross2017-10-18
* Extract evars from reflective pipelineGravatar Jason Gross2017-10-18
* Package reflective pipeline side-conditions into a recordGravatar Jason Gross2017-10-18
* Add more notation constantsGravatar Jason Gross2017-10-18
* Make use of faster interp rewritingGravatar Jason Gross2017-10-17
* Add InterpRewritingGravatar Jason Gross2017-10-17
* Turn on parenthetization in C outputGravatar Jason Gross2017-10-17
* Unify notation printing to allow changing it all at onceGravatar Jason Gross2017-10-17
* Fix some type annotations for better non-unfoldingGravatar Jason Gross2017-10-17
* Add support for parenthesizing all CNotations expressionsGravatar Jason Gross2017-10-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 09:04:06 +0000