Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite/synth: add a regression test for previous commits. | Tristan Gingold | 2020-05-04 | 3 | -5/+59 |
| | |||||
* | synth: Integer operators (#902) | marph91 | 2019-08-28 | 2 | -0/+31 |
* synth: added missing integer operators I. e. inequality and remainder. * testsuite/synth: added testcase for the missing integer operators |