Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: Integer operators (#902) | marph91 | 2019-08-28 | 1 | -0/+20 |
* synth: added missing integer operators I. e. inequality and remainder. * testsuite/synth: added testcase for the missing integer operators |