aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Update gmp{var,sec} to allow passing q, a24 via -DGravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...Gravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...Gravatar Jason Gross2017-11-02
* Add -D compiler arguments for gmpxx.cppGravatar Jason Gross2017-11-02
* Add generated py_interpreter.sh filesGravatar Jason Gross2017-11-02
* Generate py_interpreter.shGravatar Jason Gross2017-11-02
* Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.pyGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* autogenerated c files don't have corresponding .h filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Better generation of autogenerated c filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add cps versions of id_with_altGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Make use of from_associational_cps in more placesGravatar Jason Gross2017-11-01
* More use of Z.eqb_cpsGravatar Jason Gross2017-11-01
* Switch to AddWithGetCarry in ZExtendedGravatar Jason Gross2017-10-31
* Add MapBaseTypeGravatar Jason Gross2017-10-31
* Add unextend_opGravatar Jason Gross2017-10-31
* Generalize MapBaseType a bitGravatar Jason Gross2017-10-31
* Add invert_PairsConst_genGravatar Jason Gross2017-10-31
* add ZToSignedWord, signedWordToZGravatar Jason Gross2017-10-31
* Update display logsGravatar Jason Gross2017-10-31
* Update display logsGravatar Jason Gross2017-10-31
* Add more constant notationsGravatar Jason Gross2017-10-31
* Update display logsGravatar Jason Gross2017-10-29
* Update display logsGravatar Jason Gross2017-10-29
* Update display logsGravatar Jason Gross2017-10-29
* Add more constant notationsGravatar Jason Gross2017-10-29
* check in p384 generated codeGravatar Andres Erbsen2017-10-26
* automate some proofs; also remove trace-based reasoning in favor of induction...Gravatar jadep2017-10-26
* invariants don't need to know the fuelGravatar jadep2017-10-26
* WIP: loopsGravatar jadep2017-10-26
* Add inversion_wf_one_constrGravatar Jason Gross2017-10-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 17:21:05 +0000