aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
Commit message (Collapse)AuthorAgeFilesLines
* 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
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 06:53:58 +0000