aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/ZExtended/Syntax.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Generalize extended version of IdWithAltGravatar Jason Gross2017-11-06
* Add IdWithAlt to ZExtendedGravatar Jason Gross2017-11-04
* Add Zsub to extended syntaxGravatar Jason Gross2017-11-03
* Add SubWithGetBorrow with ZExtendedGravatar Jason Gross2017-11-03
* Switch to AddWithGetCarry in ZExtendedGravatar Jason Gross2017-10-31
* Add unextend_opGravatar Jason Gross2017-10-31
* Add ZExtended/InlineConstAndOp.vGravatar Jason Gross2017-10-22
* Add ZExtended/Syntax.vGravatar Jason Gross2017-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 23:47:45 +0000