aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1179
Commit message (Expand)AuthorAgeFilesLines
* synth-static_oper: handle mul uns nat. (#1200)bwimm2020-04-071-2/+5
* testsuite/synth: add a test for #1179Tristan Gingold2020-04-012-0/+26