Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite: adjust previous commit to latest yosys. For #171 | Tristan Gingold | 2022-09-01 | 1 | -1/+1 |
| | |||||
* | testsuite: add a test for #171 | Tristan Gingold | 2022-08-31 | 2 | -0/+126 |
| | |||||
* | testsuite: add a test for #160 | Tristan Gingold | 2021-10-11 | 3 | -0/+64 |
| | |||||
* | testsuite: add tests for #159 | Tristan Gingold | 2021-10-09 | 3 | -0/+43 |
| | |||||
* | testsuite/issue: add a test for #154 | Tristan Gingold | 2021-10-03 | 2 | -0/+67 |
| | |||||
* | testsuite: add a test for #158 | Tristan Gingold | 2021-10-02 | 5 | -0/+160 |
| | |||||
* | testsuite/issues: renames pr61 to issue61 | Tristan Gingold | 2020-09-27 | 2 | -0/+0 |
| | |||||
* | testsuite/issues: adjust pr61 | Tristan Gingold | 2020-09-27 | 1 | -1/+2 |
| | |||||
* | Add a test for asynchronous reset dff. | Tristan Gingold | 2020-04-07 | 3 | -0/+43 |
| | |||||
* | Adjust test with incorrect value. | Tristan Gingold | 2020-04-07 | 2 | -2/+2 |
| | |||||
* | Add a test for #102 | Tristan Gingold | 2020-04-07 | 2 | -0/+34 |
| | |||||
* | Add a test for #96 | Tristan Gingold | 2020-03-29 | 2 | -0/+33 |
| | |||||
* | Add test for previous commit. | Tristan Gingold | 2020-03-09 | 2 | -0/+25 |
| | |||||
* | Make test logs mode consistent: Add OK status. For #79 | Tristan Gingold | 2020-01-20 | 4 | -0/+4 |
| | |||||
* | testsuite: add reproducer for #76 | Tristan Gingold | 2019-12-31 | 2 | -0/+38 |
| | |||||
* | Add more tests for issue#36 | Tristan Gingold | 2019-12-05 | 3 | -0/+71 |
| | |||||
* | Add testcase for #73 | Tristan Gingold | 2019-12-05 | 4 | -0/+63 |
| | |||||
* | Add test for #75 | Tristan Gingold | 2019-12-03 | 2 | -0/+55 |
| | |||||
* | Adjust pr61 testcase to avoid constant propagation. | Tristan Gingold | 2019-11-16 | 1 | -2/+6 |
| | |||||
* | Add testcase from #36 | Tristan Gingold | 2019-11-07 | 2 | -0/+42 |
| | |||||
* | Add testcase for #65 | Tristan Gingold | 2019-11-07 | 3 | -0/+30 |
| | |||||
* | testsuite: reduce verbosity. | Tristan Gingold | 2019-11-06 | 2 | -2/+2 |
| | |||||
* | testsuite: move pr tests in issues/ | Tristan Gingold | 2019-11-05 | 8 | -0/+115 |
| | |||||
* | Add testcase for #68 | Tristan Gingold | 2019-11-04 | 2 | -0/+31 |
| | |||||
* | testsuite: it is now possible to run a single test. | Tristan Gingold | 2019-11-04 | 4 | -0/+12 |
| | |||||
* | testsuite: Add formal tests (#57) | T. Meissner | 2019-10-07 | 15 | -0/+220 |
* Add formal tests for shift operations * ci: build ghdl/synth:formal and run test suites in it * add testsuite/formal/testsuite.sh * create testsuite/issues * ci: remove a level of grouping * testenv: fix SYMBIYOSYS * refactor * testsuite/formal/shifts: Add check for shifts > vector length |