aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-09-223-1/+52
* testsuite/synyh: add a test for exit statement.Tristan Gingold2019-09-225-0/+154
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-09-213-0/+79
* testsuite/synth: Add testcase for tgingold/ghdlsynth-beta#39Tristan Gingold2019-09-213-1/+66
* testsuite/synth: add issue27 testcase.Tristan Gingold2019-09-212-0/+48
* synth: Add support for PSL cover directive (#930)T. Meissner2019-09-194-1/+56
* Add missing file for previous commit.Tristan Gingold2019-09-172-0/+62
* testsuite/synth: add a test for previous commit.Tristan Gingold2019-09-171-1/+1
* testsuite/synth: add var01Tristan Gingold2019-09-1711-0/+384
* 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
* testsuite/synth: add testcase for previous commit.Tristan Gingold2019-09-073-0/+77
* 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/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
* [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/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
* synth: add test for previous commit.Tristan Gingold2019-08-142-1/+28
* testsuite/synth: make testsuite.sh more neutral.Tristan Gingold2019-08-141-2/+2
* 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
* 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 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 2024-10-30 03:18:46 +0000