aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* 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
| | | | | | | | Despite significant effort, I did not manage to compiler gmpxx in a way that would allow it to be dynamically linked with the c++ standard library on android, or statically link the library in a way that would result in a file executable on Android. Somebody who understands C and Android dynamic linking might be able to do better.
* 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
| | | | | | Builds, but haven't tested the output This closes #265
* More modularity in autosolveGravatar Jason Gross2017-11-10
|
* 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
| | | | | | This way, when we unfold them, we don't create multiple copies of the argument. This is needed for proper reification of x25519 alternate mul, square code in the new pipeline
* 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
| | | | | | In python2, we require unicode. In python3, "unicode" as a type doesn't exist. So we do a feature-check-kludge to set unicode to str if it doesn't exist.
* Revert "Update make_curve.py for python3"Gravatar Jason Gross2017-11-10
| | | | | | This reverts commit a5fc7539c5688190f7622266c8e0959efbca80be. Didn't actually work
* Update make_curve.py for python3Gravatar Jason Gross2017-11-10
| | | | | | | | In python2, we require unicode. In python3, "unicode" as a type doesn't exist. In most places, we can replace the isinstance check for str/unicode with basestring. In one place where we need to output unicode, we do a terrible hack to set unicode to str if it doesn't exist.
* 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
| | | | | | Currently unused, but adding it here in preparation for removing reification (which will allow easy support of karatsuba separate from goldilocks).
* 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
|