aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
Commit message (Collapse)AuthorAgeFilesLines
* Fix testsuite failing on second runXiretza2020-05-301-1/+1
|
* Add a test for ghdl/ghdl#1318Tristan Gingold2020-05-232-0/+51
|
* Adjust a test.Tristan Gingold2020-05-231-1/+1
|
* Add a test for ghdl/ghdl#1314Tristan Gingold2020-05-162-0/+184
|
* Add a test for inout port with default value.Tristan Gingold2020-05-162-0/+23
|
* Add another test from ghdl/ghdl#1309Tristan Gingold2020-05-143-0/+116
|
* Add test from ghdl/ghdl#1309Tristan Gingold2020-05-146-0/+749
|
* testsuite: add test from ghdl/ghdl#1307Tristan Gingold2020-05-146-0/+432
|
* Add formal test for pmux gateXiretza2020-05-143-1/+59
|
* Add test for ghdl#1238Tristan Gingold2020-04-232-0/+30
|
* Improve examples for Lattice iCEstickAimylios2020-04-191-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 Gingold2020-04-155-0/+116
|
* Add a test for asynchronous reset dff.Tristan Gingold2020-04-073-0/+43
|
* Adjust test with incorrect value.Tristan Gingold2020-04-072-2/+2
|
* Add a test for #102Tristan Gingold2020-04-072-0/+34
|
* Adjust ecp5_versa tests. Wrappers for verilog modules are not needed anymore.Tristan Gingold2020-03-311-1/+0
|
* Add regression test for versa_ecp5Tristan Gingold2020-03-311-0/+25
|
* Add a test for #96Tristan Gingold2020-03-292-0/+33
|
* Add min/max gatesXiretza2020-03-223-1/+70
|
* Move formal tests for gates into single subdirectoryXiretza2020-03-2210-10/+1
|
* Add abs gate (#91)Xiretza2020-03-103-0/+59
|
* Add test for previous commit.Tristan Gingold2020-03-092-0/+25
|
* Add a test for issue 1107Tristan Gingold2020-02-152-0/+24
|
* Make test logs mode consistent: Add OK status. For #79Tristan Gingold2020-01-206-0/+6
|
* migrate from Travis to GHA and rework examples (#78)eine2020-01-194-13/+13
| | | | | | * migrate from Travis to GHA * rework examples
* testsuite: add reproducer for #76Tristan Gingold2019-12-312-0/+38
|
* Add more tests for issue#36Tristan Gingold2019-12-053-0/+71
|
* Add testcase for #73Tristan Gingold2019-12-054-0/+63
|
* Add test for #75Tristan Gingold2019-12-032-0/+55
|
* Adjust pr61 testcase to avoid constant propagation.Tristan Gingold2019-11-161-2/+6
|
* Add testcase from #36Tristan Gingold2019-11-072-0/+42
|
* Add testcase for #65Tristan Gingold2019-11-074-0/+31
|
* Add testcase from issue 1001Tristan Gingold2019-11-063-0/+82
|
* testsuite: reduce verbosity.Tristan Gingold2019-11-063-4/+4
|
* testsuite: add xfail1 testTristan Gingold2019-11-054-0/+37
|
* testsuite: add case for issue 999Tristan Gingold2019-11-052-0/+43
|
* testsuite.sh: simplify (only sub sub dirs).Tristan Gingold2019-11-051-21/+3
|
* testsuite: move pr tests in issues/Tristan Gingold2019-11-0510-17/+28
|
* testsuite: move tests of examples in a subdir.Tristan Gingold2019-11-057-43/+43
|
* testsuite: add issue1000Tristan Gingold2019-11-052-0/+51
|
* testsuite: add synth_ice40 (from synth), add synth_import.Tristan Gingold2019-11-051-2/+14
|
* testenv: use abs_topdir for default ghdl.so path.Tristan Gingold2019-11-051-1/+8
|
* Add testcase for #68Tristan Gingold2019-11-042-0/+31
|
* testsuite: it is now possible to run a single test.Tristan Gingold2019-11-0414-11/+32
|
* Add Id_Smod support (#66)Anton Blanchard2019-11-032-0/+23
|
* Sign extend 32b literals (#61)Pepijn de Vos2019-10-162-0/+27
| | | | | | | | | | | | | | | | | | | * sign extend 32b literals * Fix undefined behavior Right shift of a signed values is undefined but does arithemetic shift in practice. However, shifting by more than one int width is also undefined but *wraps around*. This caused bit/log to work because it'd shift mod 32. But it actually cause the UL32 to be wrong because it'd just repeat the value rather than extending. * zero pad unsigned and add signed * add testsuite
* Add Id_Neg support (#63)Anton Blanchard2019-10-162-0/+23
| | | | | | | | * Add Id_Neg support * Add testcase for Id_Neg Thanks to Pepijn for the example I based this on.
* Add Id_Smul and Id_Umul (#64)Anton Blanchard2019-10-162-0/+26
| | | | | | * Add Id_Smul and Id_Umul support * Add testcase for Id_Smul and Id_Umul
* testsuite: Add formal tests (#57)T. Meissner2019-10-0724-20/+337
| | | | | | | | | | | | | | | | | | * 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
* Icestick uart (#37)marph912019-08-221-0/+3
| | | | | | * added UART example for the icestick * extended testsuite by the UART example
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-06 12:31:12 +0000