aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
* Build curve-specific files from jsonGravatar Jason Gross2017-10-18
* Generate C64 from python script and jsonGravatar Jason Gross2017-10-18
* Reorgainze synthesis framework files into a Framework folderGravatar Jason Gross2017-10-18
* Replace curve-specific definitions with tacticsGravatar Jason Gross2017-10-18
* Factor out specific code underlying ReificationTypesGravatar Jason Gross2017-10-18
* Add 8.7-only CacheTermGravatar Jason Gross2017-10-18
* Add more notation constantsGravatar Jason Gross2017-10-18
* projective Weierstrass: (P2 = 2Q -> P = Q) -> not exceptionalGravatar Andres Erbsen2017-10-18
* Add a Require Import FunInd (Function isn't loaded by default anymore)Gravatar Pierre Letouzey2017-10-18
* Add some more things to basesystem_partial_evaluation_unfolderGravatar Jason Gross2017-10-18
* Add basesystem_partial_evaluation_unfolder dbGravatar Jason Gross2017-10-18
* Unfold more things in core unfolderGravatar Jason Gross2017-10-18
* Allow instantiating type arguments without reducing matchesGravatar Jason Gross2017-10-18
* Allow instantiating type arguments without reducing matchesGravatar Jason Gross2017-10-17
* Allow instantiating type arguments without reducing matchesGravatar Jason Gross2017-10-17
* Pattern more things in arithmetic/coreGravatar Jason Gross2017-10-17
* Allow instantiation of cps type arguments by unfoldingGravatar Jason Gross2017-10-17
* Make use of faster interp rewritingGravatar Jason Gross2017-10-17
* Add InterpRewritingGravatar Jason Gross2017-10-17
* Add CacheTermGravatar Jason Gross2017-10-17
* Turn on parenthetization in C outputGravatar Jason Gross2017-10-17
* Unify notation printing to allow changing it all at onceGravatar Jason Gross2017-10-17
* Allow unfolding of mapi_with_cps to specialize the function to the type argum...Gravatar Jason Gross2017-10-17
* Work around bug #5341Gravatar Jason Gross2017-10-17
* Fix some type annotations for better non-unfoldingGravatar Jason Gross2017-10-17
* Add MulSplitUnfolderGravatar Jason Gross2017-10-17
* Remove outdated json file, reorder remake_curves.shGravatar Jason Gross2017-10-17
* Add more json filesGravatar Jason Gross2017-10-16
* Add support for parenthesizing all CNotations expressionsGravatar Jason Gross2017-10-16
* Don't print ".0" for integer bases in the json filesGravatar Jason Gross2017-10-16
* bugfixes from messy rebase; remade json filesGravatar jadep2017-10-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 21:43:37 +0000