aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add generated-py-bench targetGravatar 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
* Extract correct bitwidth of functions for c codeGravatar 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
* Add wneg_injGravatar Jason Gross2017-10-31
* Fix ZToWord, add wring_eq_ext, speed up some proofsGravatar Jason Gross2017-10-31
* Add Bedrock.Word.ZToWordGravatar Jason Gross2017-10-31
* Remove trailing spacesGravatar Jason Gross2017-10-31
* Bump coq submoduleGravatar Jason Gross2017-10-31
* Fix smithers buildGravatar Jason Gross2017-10-31
* fibe: WIP scalarmult for benchmarking field operationsGravatar Andres Erbsen2017-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
* make update-_CoqProjectGravatar Jason Gross2017-10-29
* Update display logsGravatar Jason Gross2017-10-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 08:15:55 +0000