aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* 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
* Generalize extended version of IdWithAltGravatar Jason Gross2017-11-06
* Deduplicate some codeGravatar Jason Gross2017-11-06
* More id_with_alt_cps updatesGravatar Jason Gross2017-11-06
* primes.txt: remove a curve25519 alias, add 64-bit secp256Gravatar Andres Erbsen2017-11-06
* Make use of id_tuple_with_alt_cps'Gravatar Jason Gross2017-11-06
* Update versions of id_with_alt_cpsGravatar Jason Gross2017-11-06
* fibe.c: fix type error from 99376c66e4ff240915455d75cf5901f2d38d8ef6Gravatar Andres Erbsen2017-11-06
* Add IdWithAlt to ZExtendedGravatar Jason Gross2017-11-04
* Move type argument to id_tuple_with_alt outside the fixpointGravatar Jason Gross2017-11-04
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add Zsub to extended syntaxGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Fix error in generated C notationsGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add preformatting for casts of mulxGravatar Jason Gross2017-11-03
* Update display logs and c filesGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add notations for mulx involving uint8_tGravatar Jason Gross2017-11-03
* clang -fbracket-depth=999999Gravatar Andres Erbsen2017-11-03
* use clangGravatar Andres Erbsen2017-11-03
* python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...Gravatar Jason Gross2017-11-03
* find . -name "py_interpreter.sh" | xargs chmod +xGravatar Jason Gross2017-11-03
* python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...Gravatar Jason Gross2017-11-03
* fibe: Only define bitwidth on the command lineGravatar Jason Gross2017-11-03
* python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...Gravatar Jason Gross2017-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 17:58:57 +0000