| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
that are correct but for which bounds relaxation loses necessary
information) and add explanatory comments.
|
| |
|
|
|
|
| |
correct
|
| |
|
|
|
|
| |
suited to shifting adds
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
be unneeded soon)
|
| |
|
|
|
|
| |
be more robust
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
This reverts commit e38faaac1d3996c61d396144e20b8bb41809a253.
|
| |
|
|
|
|
| |
This reverts commit 2fcf4cd6aabebb3b68cc0a807e5d7c78e9142cb5.
|
| |
|
| |
|
| |
|
|
|
|
| |
This allows more genericness in the ident-specific code
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Jason & Andres
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
multiplication (currently produces way too many expressions because 1*x
and -1*x are not simplified for two-output mul)
|