aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add option_beq_heteroGravatar Jason Gross2019-02-02
* Remove an unused argumentGravatar Jason Gross2019-02-01
* Uncps unify_extractedGravatar Jason Gross2019-02-01
* Improve travis stagesGravatar Jason Gross2019-02-01
* Reduce more in mulmod and squaremodGravatar Jason Gross2019-01-26
* Add an example to SlowPrimeSynthesisExamples.vGravatar Jason Gross2019-01-26
* Also display the carry chain in a commentGravatar Jason Gross2019-01-26
* Add better computation of carry chainGravatar Jason Gross2019-01-26
* Actually support Nat.eqb in reificationGravatar Jason Gross2019-01-25
* Support Nat.eqb in reificationGravatar Jason Gross2019-01-25
* Add remove_duplicatesGravatar Jason Gross2019-01-24
* Make trivial instances explicitGravatar Maxime Dénès2019-01-24
* Give slightly more standard usage stringsGravatar Jason Gross2019-01-23
* Mention the separator (spaces) of the list argGravatar Jason Gross2019-01-23
* Split up PushButtonSynthesis.vGravatar Jason Gross2019-01-18
* Define String.replaceGravatar Jason Gross2019-01-18
* Be stricter about rejecting command line argumentsGravatar Jason Gross2019-01-18
* Don't allow r[0~>0] ranges in fancy synthesisGravatar Jason Gross2019-01-17
* Remove ? notationGravatar Jason Gross2019-01-17
* remove reference to Toplevel2 in MakefileGravatar jadep2019-01-17
* Move print statements to Barrett and Montgomery filesGravatar jadep2019-01-17
* prune dependencies from Barrett256 and Montgomery256Gravatar jadep2019-01-17
* Prune dependencies of Prod.v and fix upGravatar jadep2019-01-17
* Rename Translation.vGravatar jadep2019-01-17
* Prune Translation.v deps and move tactics from other files [WIP]Gravatar jadep2019-01-17
* clean up and prune deps of Spec.vGravatar jadep2019-01-17
* Fix up MontgomeryGravatar jadep2019-01-17
* Make Montgomery take arguments separately instead of as a pairGravatar jadep2019-01-17
* separate toplevel2 into several files; fix up final barrett proofGravatar jadep2019-01-17
* Constant-propogate 0+x and x+0 after boundsGravatar Jason Gross2019-01-16
* Add a rewrite rule to collapse constant castsGravatar Jason Gross2019-01-16
* Add some more basic ZRange lemmasGravatar Jason Gross2019-01-15
* Move StringMap into Strings/Gravatar Jason Gross2019-01-15
* Add StringMapGravatar Jason Gross2019-01-15
* Add String_as_OTGravatar Jason Gross2019-01-15
* Ensure that we only left-shift on unsigned valuesGravatar Jason Gross2019-01-15
* Fix computation of INTX_MINGravatar Jason Gross2019-01-15
* Don't cast signed to unsigned before shiftingGravatar Jason Gross2019-01-15
* Delete p484_32.cGravatar Jason Gross2019-01-14
* Comment out a slow .c fileGravatar Jason Gross2019-01-14
* We don't need to encode c with taps in WBW montgomeryGravatar Jason Gross2019-01-14
* Autocompute s and c in WBW MontgomeryGravatar Jason Gross2019-01-14
* Move ALL_C_FILES above c-filesGravatar Jason Gross2019-01-13
* Makefile: remove *CURVES_PROOFS*Gravatar Andres Erbsen2019-01-11
* remove redundant travis CI stagesGravatar Andres Erbsen2019-01-10
* link to papers in readmeGravatar Andres Erbsen2019-01-10
* fix typo in README.mdGravatar Andres Erbsen2019-01-10
* remove old pipelineGravatar Andres Erbsen2019-01-09
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
* Fix for 8.7Gravatar Jason Gross2019-01-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 20:35:14 +0000