aboutsummaryrefslogtreecommitdiff
path: root/src/Util
Commit message (Expand)AuthorAge
* Make pipeline options more easily extensibleGravatar Jason Gross2017-11-13
* Add autosolve admit packageGravatar Jason Gross2017-11-12
* Use abstract in ring autosolveGravatar Jason Gross2017-11-12
* Add Decidable2BoolGravatar Jason Gross2017-11-11
* Add ListUtil.ForallGravatar Jason Gross2017-11-11
* First intro and split in Zring_prod_eq_tac, before cbv -Gravatar Jason Gross2017-11-11
* More modularity in autosolveGravatar Jason Gross2017-11-10
* Separate case for handling option matches in autosolveGravatar Jason Gross2017-11-10
* Add cbn [val] in autosolveGravatar Jason Gross2017-11-10
* Fix opacity of dec_Forall, dec_ExistsGravatar Jason Gross2017-11-10
* Add dec_if_boolGravatar Jason Gross2017-11-10
* Generalize Tuple.dec_fieldwiseGravatar Jason Gross2017-11-09
* Generalize Forall2_forall_iffGravatar Jason Gross2017-11-09
* More generalization of fieldwise'_Proper to dependent typesGravatar Jason Gross2017-11-09
* Generalize fieldwise Proper lemmasGravatar Jason Gross2017-11-09
* Add fieldwise_lift_andGravatar Jason Gross2017-11-09
* Add more versions of fieldwise_ProperGravatar Jason Gross2017-11-09
* Add fieldwise_ProperGravatar Jason Gross2017-11-09
* Add fieldwise_eq_iffGravatar Jason Gross2017-11-09
* Add dec_Forall, dec_ExistsGravatar Jason Gross2017-11-09
* Add fieldwise_map_from_list_iffGravatar Jason Gross2017-11-09
* Add option_map_mapGravatar Jason Gross2017-11-07
* Add Tuple.dec_eq{,'}Gravatar Jason Gross2017-11-07
* Base evard_package on evar_rel_packageGravatar Jason Gross2017-11-07
* Better way (hopefully) of projecting relation from evar packageGravatar Jason Gross2017-11-07
* Add notation for optional_evar_rel_packageGravatar Jason Gross2017-11-07
* Add HeadUnderBindersGravatar Jason Gross2017-11-07
* Add support for autosolve packages with optionsGravatar Jason Gross2017-11-07
* Allow pre-unfolding of autosolve thingsGravatar Jason Gross2017-11-07
* Factor packages through evar_Prop_package, raw_evar_packageGravatar Jason Gross2017-11-07
* Remove function evar package in favor of generic rel oneGravatar Jason Gross2017-11-07
* Add evar_function_packageGravatar Jason Gross2017-11-07
* A bit more reorganization of autosolveGravatar Jason Gross2017-11-07
* Move SideConditionFrameworkGravatar Jason Gross2017-11-07
* Deduplicate some codeGravatar Jason Gross2017-11-06
* More id_with_alt_cps updatesGravatar Jason Gross2017-11-06
* Update versions of id_with_alt_cpsGravatar Jason Gross2017-11-06
* Move type argument to id_tuple_with_alt outside the fixpointGravatar Jason Gross2017-11-04
* Add Zpow_sub_1_nat_powGravatar Jason Gross2017-11-03
* Add value_modulo_in_rangeGravatar Jason Gross2017-11-03
* Better version of ZBounded.modulo, with a proofGravatar Jason Gross2017-11-03
* Add ZBounded.moduloGravatar Jason Gross2017-11-03
* Add type of bounded ZGravatar Jason Gross2017-11-02
* Add cps versions of id_with_altGravatar Jason Gross2017-11-01
* add ZToSignedWord, signedWordToZGravatar Jason Gross2017-10-31
* Factor out fold_right_cps2_specialized_step, add mapi_with'_cps2Gravatar Jason Gross2017-10-22
* Add curry{3,4}Gravatar Jason Gross2017-10-20
* Switch arithmetic to cps for Z * Z under the hoodGravatar Jason Gross2017-10-19
* Add mul_split_cps'Gravatar Jason Gross2017-10-19
* Update ZUtil cps definitionsGravatar Jason Gross2017-10-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 18:35:19 +0000