aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: add tests for concurrent dffTristan Gingold2021-04-305-0/+131
* testsuite/synth/aggr01: use synth_tbTristan Gingold2021-04-271-8/+1
* testsuite/synth: add a test for #1734Tristan Gingold2021-04-232-0/+28
* testsuite/synth: add a test for #1731Tristan Gingold2021-04-212-0/+24
* synth-vhdl_oper.adb: adjust previous patch and testTristan Gingold2021-04-211-1/+5
* testsuite/synth: add a test for #1731Tristan Gingold2021-04-213-0/+221
* testsuite/synth: add a test for previous commitTristan Gingold2021-04-152-0/+72
* testsuite/synth: add a test for #1703Tristan Gingold2021-03-292-0/+44
* testsuite/synth: add a test for #1698Tristan Gingold2021-03-273-0/+41
* testsuite/synth: Add a test case. For #1675Tristan Gingold2021-03-2710-0/+379
* testsuite/synth: add test for #1685Tristan Gingold2021-03-142-0/+43
* testsuite/synth: add a test for #1679Tristan Gingold2021-03-132-0/+30
* testsuite/synth: add a test for #1681Tristan Gingold2021-03-134-0/+119
* testsuite/synth: add a test for #1680Tristan Gingold2021-03-132-0/+40
* testsuite/synth: add a test for #1665Tristan Gingold2021-02-272-0/+24
* testsuite/synth: add a test for #1658Tristan Gingold2021-02-214-0/+125
* testsuite/synth: add a test for #1650Tristan Gingold2021-02-192-0/+52
* testsuite/synth: add a test for #1645Tristan Gingold2021-02-123-0/+85
* testsuite/synth: adjust tests for issue#662Tristan Gingold2021-02-097-18/+51
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-095-1/+194
* testsuite/synth: add a test for #1628Tristan Gingold2021-02-043-0/+40
* testsuite: address bash linting issuesumarcor2021-01-191-1/+1
* testsuite: add suite_driver.shumarcor2021-01-181-49/+1
* testsuite/synth: add testcase for #1609Tristan Gingold2021-01-173-0/+60
* testsuite/synth: add test case for #1596Tristan Gingold2021-01-164-0/+46
* testsuite/synth: add testcase for #1591Tristan Gingold2021-01-136-0/+149
* synth: add option to treat asserts as assumes and vice-versatmeissner2021-01-024-0/+114
* testsuite/synth: add a test for #1563Tristan Gingold2021-01-018-0/+173
* testsuite/synth: add a test for #1572Tristan Gingold2021-01-013-0/+35
* testsuite/synth: add tests for #1540Tristan Gingold2020-12-203-0/+38
* testsuite/synth: add tests for #1537Tristan Gingold2020-12-143-0/+37
* testsuite/synth: adjust harness for #1534Tristan Gingold2020-12-131-1/+3
* testsuite/synth: add a test for #1536Tristan Gingold2020-12-133-0/+39
* testsuite/synth: more tests for #1534Tristan Gingold2020-12-133-0/+41
* testsuite/synth: add test for #1534Tristan Gingold2020-12-132-0/+22
* testsuite/synth: add a test for previous commitTristan Gingold2020-12-123-0/+85
* testsuite/synth: add a test for previous commitTristan Gingold2020-12-125-0/+112
* testsuite/synth: add a testcase for #1531Tristan Gingold2020-12-065-0/+94
* synth-oper: Support Iir_Predefined_Enum_Greater{,_Equal}Xiretza2020-12-044-0/+104
* testsuite/synth: add a test for #1520Tristan Gingold2020-12-033-0/+149
* testsuite/synth: add a test for #1509Tristan Gingold2020-11-163-0/+43
* testsuite/synth: add testcase for #1503Tristan Gingold2020-11-012-0/+29
* testsuite/synth: add a test for previous commit.Tristan Gingold2020-10-075-0/+62
* testsuite/synth: add a test for #1481Tristan Gingold2020-09-282-0/+21
* testsuite/synth: adjust harness for #1475Tristan Gingold2020-09-281-1/+1
* testsuite/synth: add a case for #1475Tristan Gingold2020-09-264-0/+48
* testsuite/synth: Add a test. Close #1460Tristan Gingold2020-09-202-0/+28
* testsuite/synth: add tests for find_leftmost/find_rightmost.Tristan Gingold2020-09-1912-0/+241
* testsuite/synth: add a test for #1454Tristan Gingold2020-09-055-0/+149
* testsuite/synth: add a test for #1442Tristan Gingold2020-08-263-0/+48
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 12:15:45 +0000