Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 first test to display config and version | Tristan Gingold | 2021-10-03 | 1 | -0/+8 |
| | |||||
* | testsuite: add a test for #158 | Tristan Gingold | 2021-10-02 | 5 | -0/+160 |
| | |||||
* | testsuite: add a test for ghdl/ghdl#1699 | Tristan Gingold | 2021-03-27 | 2 | -0/+50 |
| | |||||
* | testsuite/formal: add a test for #145 | Tristan Gingold | 2021-03-24 | 3 | -0/+64 |
| | |||||
* | testsuite: add a test for ghdl/ghdl#1682 | Tristan Gingold | 2021-03-17 | 2 | -0/+48 |
| | |||||
* | testsuite: add testcase for ghdl/ghdl#1610 | Tristan Gingold | 2021-01-25 | 2 | -0/+42 |
| | |||||
* | example/blackbox: tune the test for previous commit | Tristan Gingold | 2020-11-18 | 2 | -2/+3 |
| | |||||
* | Add a test for previous commit | Tristan Gingold | 2020-11-18 | 4 | -0/+70 |
| | |||||
* | 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 |
| | |||||
* | testsuite: add a test for ghdl/ghdl#1421 | Tristan Gingold | 2020-09-27 | 3 | -0/+133 |
| | |||||
* | Add formal tests for mod/rem | Xiretza | 2020-05-30 | 3 | -1/+113 |
| | |||||
* | Fix testsuite failing on second run | Xiretza | 2020-05-30 | 1 | -1/+1 |
| | |||||
* | Add a test for ghdl/ghdl#1318 | Tristan Gingold | 2020-05-23 | 2 | -0/+51 |
| | |||||
* | Adjust a test. | Tristan Gingold | 2020-05-23 | 1 | -1/+1 |
| | |||||
* | Add a test for ghdl/ghdl#1314 | Tristan Gingold | 2020-05-16 | 2 | -0/+184 |
| | |||||
* | Add a test for inout port with default value. | Tristan Gingold | 2020-05-16 | 2 | -0/+23 |
| | |||||
* | Add another test from ghdl/ghdl#1309 | Tristan Gingold | 2020-05-14 | 3 | -0/+116 |
| | |||||
* | Add test from ghdl/ghdl#1309 | Tristan Gingold | 2020-05-14 | 6 | -0/+749 |
| | |||||
* | testsuite: add test from ghdl/ghdl#1307 | Tristan Gingold | 2020-05-14 | 6 | -0/+432 |
| | |||||
* | Add formal test for pmux gate | Xiretza | 2020-05-14 | 3 | -1/+59 |
| | |||||
* | Add test for ghdl#1238 | Tristan Gingold | 2020-04-23 | 2 | -0/+30 |
| | |||||
* | Improve examples for Lattice iCEstick | Aimylios | 2020-04-19 | 1 | -1/+2 |
| | | | | | | | - move "leds" examples to subdirectory - add Makefile - add *.json files to .gitignore - adjust README.md and fix some typos | ||||
* | Add tests/examples for dff (both pos and neg edge). | Tristan Gingold | 2020-04-15 | 5 | -0/+116 |
| | |||||
* | 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 |
| | |||||
* | Adjust ecp5_versa tests. Wrappers for verilog modules are not needed anymore. | Tristan Gingold | 2020-03-31 | 1 | -1/+0 |
| | |||||
* | Add regression test for versa_ecp5 | Tristan Gingold | 2020-03-31 | 1 | -0/+25 |
| | |||||
* | Add a test for #96 | Tristan Gingold | 2020-03-29 | 2 | -0/+33 |
| | |||||
* | 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 |
| | |||||
* | Add test for previous commit. | Tristan Gingold | 2020-03-09 | 2 | -0/+25 |
| | |||||
* | Add a test for issue 1107 | Tristan Gingold | 2020-02-15 | 2 | -0/+24 |
| | |||||
* | Make test logs mode consistent: Add OK status. For #79 | Tristan Gingold | 2020-01-20 | 6 | -0/+6 |
| | |||||
* | migrate from Travis to GHA and rework examples (#78) | eine | 2020-01-19 | 4 | -13/+13 |
| | | | | | | * migrate from Travis to GHA * rework examples | ||||
* | 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 | 4 | -0/+31 |
| | |||||
* | Add testcase from issue 1001 | Tristan Gingold | 2019-11-06 | 3 | -0/+82 |
| | |||||
* | testsuite: reduce verbosity. | Tristan Gingold | 2019-11-06 | 3 | -4/+4 |
| | |||||
* | testsuite: add xfail1 test | Tristan Gingold | 2019-11-05 | 4 | -0/+37 |
| | |||||
* | testsuite: add case for issue 999 | Tristan Gingold | 2019-11-05 | 2 | -0/+43 |
| |