aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Add more constantsGravatar Jason Gross2017-10-16
* Add some more power-of-two notationsGravatar Jason Gross2017-10-16
* Add more notationsGravatar Jason Gross2017-10-16
* Fix base generationGravatar Jason Gross2017-10-16
* Add more json filesGravatar Jason Gross2017-10-16
* Don't error if we can't open a fileGravatar Jason Gross2017-10-16
* Regenerate json filesGravatar 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
* 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
* Add generated json files from generate_parameters.pyGravatar Jason Gross2017-10-14
* Add curve-specific json filesGravatar 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
* 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
* 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
* 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
* Coq 8.5 can't handle symbol-free notationsGravatar Jason Gross2017-10-06
* Fix display logGravatar Jason Gross2017-10-06
* Clean up TestCase a bitGravatar Jason Gross2017-10-06
* Add another constantGravatar Jason Gross2017-10-06
* Add pow_ceil_mul_nat_nonnegGravatar Jason Gross2017-10-05
* Add PoseTermWithNameGravatar Jason Gross2017-10-05
* Factor out some bits of ladderstep preglueGravatar Jason Gross2017-10-05
* Add some ZUtil lemmasGravatar Jason Gross2017-10-03
* Make some typeclasses opaqueGravatar Jason Gross2017-10-02
* Speed up reification a little bitGravatar Jason Gross2017-10-02
* Add missing tactic in comment in ladderstepGravatar Jason Gross2017-09-27
* Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...Gravatar Jason Gross2017-09-27
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
* Add missing fileGravatar Jason Gross2017-09-21
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 01:35:38 +0000