| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testsuite/formal: add a test for #145 | Tristan Gingold | 2021-03-24 | 3 | -0/+64 |
| | | |||||
| * | Add formal tests for mod/rem | Xiretza | 2020-05-30 | 3 | -1/+113 |
| | | |||||
| * | Add formal test for pmux gate | Xiretza | 2020-05-14 | 3 | -1/+59 |
| | | |||||
| * | Add min/max gates | Xiretza | 2020-03-22 | 3 | -1/+70 |
| | | |||||
| * | Move formal tests for gates into single subdirectory | Xiretza | 2020-03-22 | 10 | -10/+1 |
| | | |||||
| * | Add abs gate (#91) | Xiretza | 2020-03-10 | 3 | -0/+59 |
| | | |||||
| * | Make test logs mode consistent: Add OK status. For #79 | Tristan Gingold | 2020-01-20 | 1 | -0/+1 |
| | | |||||
| * | testsuite: it is now possible to run a single test. | Tristan Gingold | 2019-11-04 | 1 | -0/+3 |
| | | |||||
| * | testsuite: Add formal tests (#57) | T. Meissner | 2019-10-07 | 7 | -0/+292 |
| * 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 | |||||
 |
index : iCE40/ghdl-yosys-plugin | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |