aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z
Commit message (Expand)AuthorAge
...
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-10-31
* Add more constant notationsGravatar Jason Gross2017-10-29
* Add InlineConstAndOpByRewriteGravatar Jason Gross2017-10-23
* Add inline_const_and_op{f,} specializationsGravatar Jason Gross2017-10-22
* Add Z.InlineConstAndOp*Gravatar Jason Gross2017-10-20
* Add more constant notationsGravatar Jason Gross2017-10-18
* Extract rexpr_sig from the recordGravatar Jason Gross2017-10-18
* Extract evars from reflective pipelineGravatar Jason Gross2017-10-18
* Package reflective pipeline side-conditions into a recordGravatar Jason Gross2017-10-18
* Add more notation constantsGravatar Jason Gross2017-10-18
* Make use of faster interp rewritingGravatar 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
* Add support for parenthesizing all CNotations expressionsGravatar Jason Gross2017-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
* Add some constants from montgomeryGravatar Jason Gross2017-10-15
* Add more constant notations from solinas primesGravatar Jason Gross2017-10-15
* 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 reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Add another constantGravatar Jason Gross2017-10-06
* Update constants filesGravatar Jason Gross2017-09-21
* Unfold tuple arguments in reflective pipelineGravatar Jason Gross2017-07-08
* Fix proofs broken by previous commitGravatar Jason Gross2017-07-07
* Fix a mis-aligned comment marker in CNotations scriptGravatar Jason Gross2017-07-03
* change notation `_ == _ ? _ : _ ` to `cmovznz(_, _, _)`Gravatar Jason Gross2017-06-29
* Fix comment-in-string issuesGravatar Jason Gross2017-06-29
* More C Notations for uin8_t-valued addcarryxGravatar Jason Gross2017-06-29
* Add nonzero synthesisGravatar Jason Gross2017-06-26
* Allow disabling adc-fusionGravatar Jason Gross2017-06-25
* Convert adc to sbb when doing [0 - x]Gravatar Jason Gross2017-06-25
* Revert "Convert adc to sbb when doing [0 - x]"Gravatar Jason Gross2017-06-25
* Convert adc to sbb when doing [0 - x]Gravatar Jason Gross2017-06-24
* Propogate neg through constant multiplicationGravatar Jason Gross2017-06-24
* Add notation for logical orGravatar Jason Gross2017-06-22
* Work around bug #5615 (constr not being updated)Gravatar Jason Gross2017-06-22
* Also key adc->sbb on the carry-bit being negativeGravatar Jason Gross2017-06-20
* Add more simplification passes (de-doubling opp)Gravatar Jason Gross2017-06-20
* Add more simplification passes (de-doubling opp)Gravatar Jason Gross2017-06-20
* Add more Z-notationsGravatar Jason Gross2017-06-20
* Add another fusion to adc-fusionGravatar Jason Gross2017-06-20
* Use solve_wf_side_condition to synch the depth of auto with wfGravatar Jason Gross2017-06-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 03:24:58 +0000