aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Remove dead code for renaming bindersGravatar Jason Gross2017-11-13
* Make pipeline options more easily extensibleGravatar Jason Gross2017-11-13
* Reflow commentGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Remove slow "intros [a b]"Gravatar Jason Gross2017-11-13
* Add faster version of intros [a b] for reflective stuffGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Add more constant notationsGravatar Jason Gross2017-11-13
* More granularity in src/Compilers/Z/Bounds/Pipeline/ReflectiveTactics.vGravatar Jason Gross2017-11-13
* Split up reflective side condition tacticsGravatar Jason Gross2017-11-13
* Add InterpComposeGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-12
* Add more constant notationsGravatar Jason Gross2017-11-12
* Update display logs and c filesGravatar Jason Gross2017-11-12
* Add more constant notationsGravatar Jason Gross2017-11-12
* Update display logs and c filesGravatar Jason Gross2017-11-12
* Add more constant notationsGravatar Jason Gross2017-11-12
* Update display logs and c filesGravatar Jason Gross2017-11-12
* Add more constant notationsGravatar Jason Gross2017-11-12
* Add autosolve admit packageGravatar Jason Gross2017-11-12
* Remove outdated C128 filesGravatar Jason Gross2017-11-12
* add reflexivity to reify autosolveGravatar Jason Gross2017-11-12
* Use abstract in ring autosolveGravatar Jason Gross2017-11-12
* add back incorrectly deleted filesGravatar jadep2017-11-12
* new autogenerated filesGravatar jadep2017-11-12
* update remake-curves.sh and MakefileGravatar jadep2017-11-12
* changes to parameter-generation scriptGravatar jadep2017-11-12
* fix commentGravatar jadep2017-11-12
* benchmark montgomery32, gmpvar, and gmpsec on 32-bit androidGravatar Andres Erbsen2017-11-11
* 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
* Also unfold tuple for reificationGravatar Jason Gross2017-11-11
* Update display logs and c filesGravatar Jason Gross2017-11-10
* Update display logs and c filesGravatar Jason Gross2017-11-10
* Update display logs and c filesGravatar Jason Gross2017-11-10
* Handle more base types in Z.ReifyGravatar Jason Gross2017-11-10
* Add more fine-grained cmovnz notationsGravatar Jason Gross2017-11-10
* More modularity in autosolveGravatar Jason Gross2017-11-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 12:39:53 +0000