Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | testcase/synth: add case for #1234 | Tristan Gingold | 2020-04-17 | 2 | -0/+18 | |
| | ||||||
* | testsuite/synth: add case from #1231 | Tristan Gingold | 2020-04-16 | 4 | -0/+100 | |
| | ||||||
* | testsuite/synth: adjust #1230 | Tristan Gingold | 2020-04-16 | 1 | -1/+1 | |
| | ||||||
* | testsuite/synth: add test for #1230 | Tristan Gingold | 2020-04-16 | 2 | -0/+41 | |
| | ||||||
* | testsuite/synth: add a test for #1225 | Tristan Gingold | 2020-04-14 | 3 | -0/+87 | |
| | ||||||
* | testsuite/synth: add test for #1190 | Tristan Gingold | 2020-04-13 | 3 | -0/+118 | |
| | ||||||
* | testsuite/synth: add a test for #1220 | Tristan Gingold | 2020-04-13 | 3 | -0/+83 | |
| | ||||||
* | testsuite/synth: add test for #1219 | Tristan Gingold | 2020-04-13 | 3 | -0/+84 | |
| | ||||||
* | testsuite/synth: add a test for #1218 | Tristan Gingold | 2020-04-13 | 3 | -0/+65 | |
| | ||||||
* | testsuite/synth: add test for #1221 | Tristan Gingold | 2020-04-13 | 2 | -0/+23 | |
| | ||||||
* | testsuite/synth: add test for #1217 | Tristan Gingold | 2020-04-12 | 3 | -0/+54 | |
| | ||||||
* | testsuite/synth: add test for #1211 | Tristan Gingold | 2020-04-12 | 5 | -0/+200 | |
| | ||||||
* | testsuite/synth: add a test for #1210 | Tristan Gingold | 2020-04-11 | 2 | -0/+22 | |
| | ||||||
* | testsuite/synth: add test for #1212 | Tristan Gingold | 2020-04-11 | 2 | -0/+36 | |
| | ||||||
* | testsuite/synth: add test from #1209 | Tristan Gingold | 2020-04-11 | 2 | -0/+31 | |
| | ||||||
* | testsuite/synth: add a test for #1207 | Tristan Gingold | 2020-04-11 | 2 | -0/+74 | |
| | ||||||
* | testsuite/synth: add a test for #1208 | Tristan Gingold | 2020-04-11 | 2 | -0/+30 | |
| | ||||||
* | testsuite/synth: add case for #1176 | Tristan Gingold | 2020-04-09 | 2 | -0/+33 | |
| | ||||||
* | testsuite/synth: add a case for #1181 | Tristan Gingold | 2020-04-09 | 2 | -0/+31 | |
| | ||||||
* | synth-static_oper: handle mul uns nat. (#1200) | bwimm | 2020-04-07 | 1 | -2/+5 | |
| | ||||||
* | testsuite/synth: add a test for target aggregate. | Tristan Gingold | 2020-04-07 | 3 | -9/+35 | |
| | ||||||
* | testsuite/synth: add a test for #1199 | Tristan Gingold | 2020-04-06 | 3 | -0/+37 | |
| | ||||||
* | testsuite/synth: add test for #1197 | Tristan Gingold | 2020-04-06 | 2 | -0/+55 | |
| | ||||||
* | testsuite/synth: add a test for #1198 | Tristan Gingold | 2020-04-06 | 2 | -0/+34 | |
| | ||||||
* | testsuite/synth: add a test for #1193 | Tristan Gingold | 2020-04-06 | 2 | -0/+34 | |
| | ||||||
* | testsuite/synth: add a test for #1186 | Tristan Gingold | 2020-04-02 | 2 | -0/+23 | |
| | ||||||
* | testsuite/synth: use harness. | Tristan Gingold | 2020-04-01 | 1 | -11/+1 | |
| | ||||||
* | testsuite/synth: add a test for #1179 | Tristan Gingold | 2020-04-01 | 2 | -0/+26 | |
| | ||||||
* | testsuite/synth: add test for #1180 | Tristan Gingold | 2020-04-01 | 2 | -0/+41 | |
| | ||||||
* | testsuite/synth: add test for #1178 | Tristan Gingold | 2020-03-30 | 2 | -0/+23 | |
| | ||||||
* | testsuite/synth: add tests for #1177 | Tristan Gingold | 2020-03-30 | 3 | -0/+40 | |
| | ||||||
* | testsuite/synth: add tests for #1175 | Tristan Gingold | 2020-03-29 | 4 | -0/+51 | |
| | ||||||
* | testsuite/synth: add testcase for previous commit. | Tristan Gingold | 2020-03-28 | 2 | -1/+20 | |
| | ||||||
* | testsuite/synth: add testcase for #1069 | Tristan Gingold | 2020-03-28 | 9 | -0/+611 | |
| | ||||||
* | testsuite/synth: add a test for multidim arrays. | Tristan Gingold | 2020-03-27 | 3 | -0/+67 | |
| | ||||||
* | testsuite/synth: add a test for previous commit. | Tristan Gingold | 2020-03-26 | 3 | -9/+61 | |
| | ||||||
* | Rewrite harness of a test. | Tristan Gingold | 2020-03-25 | 1 | -14/+2 | |
| | ||||||
* | testsuite/synth: add tests for previous commit. | Tristan Gingold | 2020-03-25 | 3 | -0/+67 | |
| | ||||||
* | testsuite/synth: add a test for #1159 | Tristan Gingold | 2020-03-24 | 2 | -0/+26 | |
| | ||||||
* | testsuite/synth: add a test for #1172 | Tristan Gingold | 2020-03-23 | 2 | -0/+15 | |
| | ||||||
* | testsuite/synth: add a test for #1170 | Tristan Gingold | 2020-03-23 | 2 | -0/+28 | |
| | ||||||
* | testsuite/synth: add a test for #1169 | Tristan Gingold | 2020-03-23 | 2 | -0/+32 | |
| | ||||||
* | testsuite/synth: add a test for #1166 | Tristan Gingold | 2020-03-23 | 3 | -0/+78 | |
| | ||||||
* | testsuite/synth: add tests for previous commit. | Tristan Gingold | 2020-03-22 | 7 | -9/+158 | |
| | ||||||
* | testsuite/synth: add test for #1168 | Tristan Gingold | 2020-03-21 | 3 | -0/+49 | |
| | ||||||
* | testsuite/synth: add testcase for #1167 | Tristan Gingold | 2020-03-21 | 2 | -0/+27 | |
| | ||||||
* | testsuite/synth: add tests for #1163 | Tristan Gingold | 2020-03-20 | 4 | -0/+114 | |
| | ||||||
* | testsuite/synth: add a test for #1165 | Tristan Gingold | 2020-03-19 | 2 | -0/+52 | |
| | ||||||
* | testsuite/synth: add a test for #1164 | Tristan Gingold | 2020-03-19 | 2 | -0/+36 | |
| | ||||||
* | testsuite/synth: add a test for #1162 | Tristan Gingold | 2020-03-19 | 2 | -0/+39 | |
| |