aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth
Commit message (Expand)AuthorAgeFilesLines
* 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
* testsuite/synth: add a testcase for #1430Tristan Gingold2020-08-263-0/+29
* testsuite/synth: add a test for #1428Tristan Gingold2020-08-2623-0/+257
* testsuite/synth: add a test for ghdl/ghdl-yosys-plugin#129Tristan Gingold2020-08-253-0/+55
* testsuite/synth: add tests for std_logic_unsigned and std_logic_signed.Tristan Gingold2020-08-0734-0/+1122
* testsuite/synth: add more tests for std_logic_arithTristan Gingold2020-08-079-1/+371
* testsuite/synth: add a test for #1426Tristan Gingold2020-08-062-0/+63
* testsuite/synth: add tests for std_logic_arithTristan Gingold2020-08-0617-0/+1055
* testsuite/synth: add test for #1421Tristan Gingold2020-08-065-0/+92
* testsuite/synth: add a test for #1424Tristan Gingold2020-08-042-0/+27
* testsuite/synth: add a test for --no-assert-cover (#1414)Tristan Gingold2020-07-313-0/+59
* testsuite/synth: add a test for #1417Tristan Gingold2020-07-302-0/+30
* testsuite/synth: add test for #1413Tristan Gingold2020-07-303-0/+41
* testsuite/synth: add a test for #1408Tristan Gingold2020-07-272-0/+26
* testsuite/synth: add tests for #1407Tristan Gingold2020-07-263-0/+56
* testsuite/synth: add tests for #1406Tristan Gingold2020-07-254-0/+80
* testsuite/synth: add a test for ghdl/ghdl-yosys-plugin#128Tristan Gingold2020-07-253-0/+121
* testsuite/synth: add a test for #1390Tristan Gingold2020-07-243-0/+567
* testsuite/synth: improve test for previous path. For #1387Tristan Gingold2020-07-181-0/+1
* testsuite/synth: add tests for previous commits.Tristan Gingold2020-07-022-0/+32
* testsuite/synth: add a test for signals in packages.Tristan Gingold2020-07-022-0/+22
* testsuite/synth: improve test after previous commit.Tristan Gingold2020-07-011-1/+3
* testsuite/synth: add a test for the previous commit.Tristan Gingold2020-06-302-0/+23
* testsuite/synth: add test for #1372Tristan Gingold2020-06-153-0/+52
* testsuite/synth: add a test for #1367Tristan Gingold2020-06-122-0/+128
* testsuite/synth: add test for #1366Tristan Gingold2020-06-123-0/+123
* Adjust use of PSL prev() in fell(), rose() & stable() testcasestmeissner2020-06-073-3/+9