aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: add reproducer for tgingold/ghdlsynth-beta#33Tristan Gingold2019-08-163-0/+73
* testsuite: strenghten a testcase.Tristan Gingold2019-08-161-0/+1
* testsuite/python: fix test name (to follow the testsuite.sh convention)Tristan Gingold2019-08-163-0/+0
* testsuite/synth: fix assert1 assertion.Tristan Gingold2019-08-151-1/+1
* add synthesis support for logic operators on numeric types (#893)Pepijn de Vos2019-08-151-3/+3
* testenv: also applies GHDL_FLAGS for synth.Tristan Gingold2019-08-141-1/+1
* synth: add test for previous commit.Tristan Gingold2019-08-143-2/+29
* testsuite/gna: use common testsuite.shTristan Gingold2019-08-141-14/+5
* testsuite/gna/README: document naming convention.Tristan Gingold2019-08-141-2/+11
* testsuite/gna: make testsuite.py neutral.Tristan Gingold2019-08-141-4/+1
* testsuite/gna: rename perf02 to not run it normally.Tristan Gingold2019-08-1436-0/+0
* testsuite/synth: make testsuite.sh more neutral.Tristan Gingold2019-08-141-2/+2
* testsuite/testenv.sh: define PYTHONTristan Gingold2019-08-141-0/+2
* testsuite/python: add testsuite.shTristan Gingold2019-08-141-0/+53
* testsuite: add testsuite.sh in 001unitsTristan Gingold2019-08-141-0/+7
* synth: also extract edge in PSL expressions.Tristan Gingold2019-08-132-1/+28
* synth: extract edge for PSL clocks.Tristan Gingold2019-08-134-2/+86
* Support for PSL assert and assume in synthesis (#892)Pepijn de Vos2019-08-131-1/+2
* Add testcase for #885Tristan Gingold2019-08-112-0/+44
* Add testcase for #886Tristan Gingold2019-08-105-0/+141
* synth: add testcase from #872Tristan Gingold2019-08-082-0/+51
* synth: add testcase for aggregate target.Tristan Gingold2019-08-083-0/+56
* Add reproducer for tgingold/ghdlsynth-beta#26Tristan Gingold2019-08-082-0/+29
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-074-0/+104
* Add testcase for #877Tristan Gingold2019-08-065-0/+43
* Add more tests in issue613Tristan Gingold2019-08-062-0/+5
* Add a testcase for #881Tristan Gingold2019-08-063-0/+57
* Add testcase for #882Tristan Gingold2019-08-052-0/+23
* synth: add test for previous commit.Tristan Gingold2019-08-053-2/+77
* synth: add tests for uns/uns comparisons.Tristan Gingold2019-08-023-0/+102
* synth: add tests for partial assignment.Tristan Gingold2019-08-015-0/+106
* synth: add a dff test.Tristan Gingold2019-07-313-1/+65
* synth: add a counter test.Tristan Gingold2019-07-303-0/+117
* synth: add dpram3 test.Tristan Gingold2019-07-303-1/+77
* synth: adjust output for dyn_insert, add dpram2 test.Tristan Gingold2019-07-303-1/+65
* synth: add a test for a ram.Tristan Gingold2019-07-303-1/+65
* synth: add a test for idff.Tristan Gingold2019-07-303-1/+74
* synth: add a test for psl.Tristan Gingold2019-07-292-0/+38
* synth: add arr02 test.Tristan Gingold2019-07-293-0/+73
* vhdl: add tests for concat.Tristan Gingold2019-07-265-0/+99
* testenv.sh: improve comment.Tristan Gingold2019-07-261-1/+1
* synth: add test for previous commit.Tristan Gingold2019-07-253-1/+49
* synth: add testcase for previous commit.Tristan Gingold2019-07-243-0/+68
* synth: add testcase for previous commit.Tristan Gingold2019-07-245-0/+114
* synth: add testcase for pragma translate_off.Tristan Gingold2019-07-244-0/+69
* synth: add testcase for previous commit.Tristan Gingold2019-07-233-0/+81
* vhdl: add testcase.Tristan Gingold2019-07-222-0/+93
* synth: fix test name.Tristan Gingold2019-07-203-0/+0
* synth: add testcase for concurrent selected signal assignment.Tristan Gingold2019-07-203-0/+75
* synth: add a test for for-generate statement.Tristan Gingold2019-07-203-0/+49
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 23:57:07 +0000