aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/CNotations.v
Commit message (Expand)AuthorAge
* 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 notation for logical orGravatar Jason Gross2017-06-22
* Add more Z-notationsGravatar Jason Gross2017-06-20
* Fix typo in formatGravatar Jason Gross2017-06-18
* Add fake notation for addcarryx_u128 and similarGravatar Jason Gross2017-06-18
* Add some notations for mulxGravatar Jason Gross2017-06-18
* Add cnotations for addcarryx with uint8_tGravatar Jason Gross2017-06-18
* Add notationsGravatar Jason Gross2017-06-18
* Display Z operations with ℤ attachedGravatar Jason Gross2017-06-15
* Fix a major bug in C-notation printingGravatar Jason Gross2017-06-13
* Add sbb notations to CNotationsGravatar Jason Gross2017-05-20
* Add notations for adcGravatar Jason Gross2017-05-17
* Zselect notationGravatar Jason Gross2017-05-17
* Add a reserved C notationGravatar Jason Gross2017-05-14
* Stick 'return' at the end of printed functionsGravatar Jason Gross2017-05-14
* Add constant, support pair-returning assignmentGravatar Jason Gross2017-05-14
* Update C notationsGravatar Jason Gross2017-04-20
* Update display of ladderstep130Gravatar Jason Gross2017-04-14
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 22:54:57 +0000