aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
Commit message (Collapse)AuthorAgeFilesLines
* testsuite/synth: add a test for std_matchTristan Gingold2019-09-153-1/+44
|
* testsuite/synth: add more tests in func01.Tristan Gingold2019-09-139-1/+214
|
* testsuite/synth: add one more test in ret01Tristan Gingold2019-09-113-4/+38
|
* testsuite/synth: add ret01 tests.Tristan Gingold2019-09-117-1/+129
|
* testsuite/synth: add a test for slices.Tristan Gingold2019-09-113-2/+63
|
* testsuite/synth: add mem02Tristan Gingold2019-09-113-0/+84
|
* testsuite/synth: rename arr02 to mem01Tristan Gingold2019-09-119-0/+0
|
* fix: skip testsuite/sanity/005examples when 'docs' not found (#921)1138-4EB2019-09-111-0/+6
|
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-09-073-0/+77
|
* testsuite: add testcase for ghdl/ghdl-language-server#27Tristan Gingold2019-09-062-0/+96
|
* testsuite: add testcase for #918Tristan Gingold2019-09-052-0/+54
|
* testsuite/synth: add test for previous commit.Tristan Gingold2019-09-054-0/+99
|
* testsuite/synth: re-enable stmt01 test.Tristan Gingold2019-09-051-1/+0
|
* testsuite: add case for previous commit.Tristan Gingold2019-09-042-0/+18
|
* testsuite/synth: rename disp01 to dispin01Tristan Gingold2019-09-0419-0/+0
|
* testsuite/synth: add tests for previous commit.Tristan Gingold2019-09-0425-0/+427
|
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-09-0319-0/+381
|
* testsuite: add reproducer for issue #912Tristan Gingold2019-09-023-0/+67
|
* Fix UPF (#905)1138-4EB2019-09-012-0/+14
| | | | | | * add test for UPF * fix: add UPF when openieee=false too
* [PATCH] synth-environment: fix thinkos.Tristan Gingold2019-08-317-1/+174
|
* testsuite/synth: added test for the physical divisionMartin Doerfelt2019-08-302-0/+25
|
* testsuite/synth: add testcase for records. Temporary disable stmt01Tristan Gingold2019-08-295-0/+168
|
* synth: Integer operators (#902)marph912019-08-282-0/+31
| | | | | | | | * synth: added missing integer operators I. e. inequality and remainder. * testsuite/synth: added testcase for the missing integer operators
* testsuite/synth: testcase for conditional signal assignment.Tristan Gingold2019-08-273-0/+61
|
* testsuite/synth: add cases for assign.Tristan Gingold2019-08-274-4/+62
|
* testsuite/synth: add asgn01Tristan Gingold2019-08-275-0/+124
|
* testsuite/synth: add fsm02 test.Tristan Gingold2019-08-275-0/+181
|
* initial support for reduce and/or (#900)Pepijn de Vos2019-08-202-0/+25
|
* testsuite/synth: add a test for previous commit.Tristan Gingold2019-08-202-0/+13
|
* testsuite/synth: add a test for assume directive in verification units.Tristan Gingold2019-08-202-2/+11
|
* testsuite/synth: add psl02Tristan Gingold2019-08-204-0/+74
|
* synth: add testcase for issue 34Tristan Gingold2019-08-1713-0/+442
|
* 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
| | | | | | | | * add logic operators on unsigned * handle signed too * handle unary not
* 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
| | | | | | | | * initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things