Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Generalize extended version of IdWithAlt | 2017-11-06 | |
* | Add IdWithAlt to ZExtended | 2017-11-04 | |
* | Add Zsub to extended syntax | 2017-11-03 | |
* | Fix missing cases in previous commit | 2017-11-03 | |
* | Add SubWithGetBorrow with ZExtended | 2017-11-03 | |
* | Switch to AddWithGetCarry in ZExtended | 2017-10-31 | |
* | Add MapBaseType | 2017-10-31 | |
* | Add unextend_op | 2017-10-31 | |
* | Add InlineConstAndOpByRewrite | 2017-10-23 | |
* | Add inline_const_and_op{f,} specializations | 2017-10-22 | |
* | Add ZExtended/InlineConstAndOp.v | 2017-10-22 | |
* | Add ZExtended/Syntax.v | 2017-10-20 |