aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth
Commit message (Collapse)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
| | | | | resize with two signed parameters extract the size of the second parameter to resize the first one.
* 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
| | | | | | | | | | | | | | | * vhdl: parse PSL onehot/onehot0 builtin calls. For #662 * update pyGHDL bindings * Synthesis of PSL built-in onehot/onehot0 function. * testsuite/synth: add tests of PSL built-in functions onehot()/onehot0() for #662 * doc: add info about PSL built-in functions onehot()/onehot0() for #662 * synth: refactor synthesis of onehot/onehot0 functions Co-authored-by: eine <eine@users.noreply.github.com>
* 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
| | | | For #1460
* testsuite/synth: add a test for #1454Tristan Gingold2020-09-055-0/+149
|
* testsuite/synth: add a test for #1442Tristan Gingold2020-08-263-0/+48
|