aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* 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
* [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
* 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
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-04 04:56:16 +0000