aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* first benchmark on 32-bit AndroidGravatar Andres Erbsen2017-11-10
* Handle tuples in reificationGravatar Jason Gross2017-11-10
* Add unfold_flat_interp_tupleGravatar Jason Gross2017-11-10
* Use match in flat_interp_{,un}tuple'Gravatar 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
* Update make_curve.py for python3Gravatar Jason Gross2017-11-10
* Revert "Update make_curve.py for python3"Gravatar Jason Gross2017-11-10
* Update make_curve.py for python3Gravatar 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
* Fix another side condition issueGravatar Jason Gross2017-11-08
* Fix a bug in previous commitGravatar Jason Gross2017-11-08
* Add freeze rewrite lemmas to dbsGravatar Jason Gross2017-11-08
* Add option_map_mapGravatar Jason Gross2017-11-07
* Add karatsuba, goldilocks lemmas to rewrite dbsGravatar Jason Gross2017-11-07
* Add a dummy karatsuba parameterGravatar 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
* build some logs...Gravatar Andres Erbsen2017-11-07
* Allow pre-unfolding of autosolve thingsGravatar Jason Gross2017-11-07
* Make a reification packageGravatar 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
* [fix build] Fix nonbuilding OutputType fileGravatar Jason Gross2017-11-07
* Move chained_carries' (now chained_carries_reduce)Gravatar Jason Gross2017-11-07
* Add more packages to SideConditionFrameworkGravatar Jason Gross2017-11-07
* Add more versions of basesystem_partial_evaluation_unfolderGravatar Jason Gross2017-11-07
* Split off computational part of basesystem_partial_evaluation_RHS_genGravatar Jason Gross2017-11-07
* Add SideConditionFrameworkGravatar Jason Gross2017-11-07
* More use of Z.eqb_cpsGravatar Jason Gross2017-11-07
* Use div_cps and modulo_cps in more placesGravatar Jason Gross2017-11-07
* Fix some namesGravatar Jason Gross2017-11-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 21:10:34 +0000