aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* generate_parameters.py: Don't overwrite files with identical contentsGravatar Jason Gross2017-10-16
* Add faster arithmetic unfoldingGravatar Jason Gross2017-10-15
* Extend basesystem_partial_evaluation_RHSGravatar Jason Gross2017-10-15
* Add strip_subst_localGravatar Jason Gross2017-10-15
* Add some constants from montgomeryGravatar Jason Gross2017-10-15
* Fix some issues with reification debug printingGravatar Jason Gross2017-10-15
* Remove *Display.vo from, e.g., selected-specificGravatar Jason Gross2017-10-15
* Add more constant notations from solinas primesGravatar Jason Gross2017-10-15
* Fix a typo in the previous commitGravatar Jason Gross2017-10-14
* Split up solve_op_mod_eqGravatar Jason Gross2017-10-14
* Prettier json file generationGravatar Jason Gross2017-10-14
* Generate sz as an int in python2Gravatar Jason Gross2017-10-14
* Add generated json files from generate_parameters.pyGravatar Jason Gross2017-10-14
* Add curve-specific json filesGravatar Jason Gross2017-10-14
* Support python2 and python3 in json generationGravatar Jason Gross2017-10-14
* Add SmartFlatTypeMap_PairGravatar Jason Gross2017-10-14
* Fix a bug in CommonSubexpressionEliminationProperties.vGravatar Jason Gross2017-10-13
* Add pow_ceil_mul_nat_divide_upperboundGravatar Jason Gross2017-10-13
* Support machines without controllable cpu speedGravatar Jason Gross2017-10-13
* Update smithers scriptGravatar Jason Gross2017-10-13
* add primes list andres scraped from curves at moderncrypto dot orgGravatar jadep2017-10-13
* add file input/output to json-generating scriptGravatar jadep2017-10-13
* add support for unsaturated limbs in json-generationGravatar jadep2017-10-13
* add examples to json-generation file for referenceGravatar jadep2017-10-13
* add script to generate json files given a primeGravatar jadep2017-10-13
* Add some SmartMap tuple lemmasGravatar Jason Gross2017-10-13
* Fix a spelling errorGravatar Jason Gross2017-10-13
* Factor out truncation_boundsGravatar Jason Gross2017-10-13
* Add comment to Compilers/Z/Bounds/Interpretation.vGravatar Jason Gross2017-10-13
* Add some helper compilation lemmasGravatar Jason Gross2017-10-13
* Add reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Allow test and bench to fail on travisGravatar Jason Gross2017-10-11
* Add targets for no-curves-proofs-non-specific, and selected-specific,Gravatar Jason Gross2017-10-11
* Smithers doesn't support -o pipefailGravatar Jason Gross2017-10-11
* Factor out -w "-notation-overridden" in MakefileGravatar Jason Gross2017-10-10
* Add etc/ci/smithers.sh for smithers testingGravatar Jason Gross2017-10-10
* More Makefile factoringGravatar Jason Gross2017-10-10
* Update Makefile by deduplicating some file listsGravatar Jason Gross2017-10-10
* Hopefully fix travisGravatar Jason Gross2017-10-10
* Add update_by_tac_if_not_existsGravatar Jason Gross2017-10-10
* TagList: make get error, and fix bugsGravatar Jason Gross2017-10-10
* Add TagListGravatar Jason Gross2017-10-10
* Add notationsGravatar Jason Gross2017-10-10
* Add UniformWeightInstancesGravatar Jason Gross2017-10-09
* Fix .dir-locals.el to work on WindowsGravatar Jason Gross2017-10-07
* Generalize phisGravatar Jason Gross2017-10-07
* Factor out the compute bit of the compute notation in curve paramsGravatar Jason Gross2017-10-07
* Factor out parameter-specific codeGravatar Jason Gross2017-10-07
* [travis] trunk is now called masterGravatar Jason Gross2017-10-06
* Switch Coq {8.6 => 8.6.1} on travisGravatar Jason Gross2017-10-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 12:20:08 +0000