aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna
Commit message (Collapse)AuthorAgeFilesLines
* Actions: add workflow 'push' (#1016)1138-4EB2019-11-211-2/+6
| | | | | | | | | | | | | | * use CC=clang to build C sources on macOS * actions: ensure that shared libs are in the PATH on windows * ci: add GitHub Actions 'push' workflow * ci: fix group labels * dist: add GRAY to ansi_color * ci: use same scripts for GHA and Travis
* Add testcase for #984Tristan Gingold2019-10-246-0/+62
|
* Add testcase for #983Tristan Gingold2019-10-202-0/+53
|
* testsuite: add test for previous commit.Tristan Gingold2019-09-301-0/+11
|
* 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: add case for previous commit.Tristan Gingold2019-09-042-0/+18
|
* testsuite: add reproducer for issue #912Tristan Gingold2019-09-023-0/+67
|
* testsuite: strenghten a testcase.Tristan Gingold2019-08-161-0/+1
|
* 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
|
* Add testcase for #885Tristan Gingold2019-08-112-0/+44
|
* Add testcase for #886Tristan Gingold2019-08-105-0/+141
|
* 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
|
* vhdl: add tests for concat.Tristan Gingold2019-07-265-0/+99
|
* vhdl: add testcase.Tristan Gingold2019-07-222-0/+93
| | | | Close #875
* Add a testcase about distinct alternate labels.Tristan Gingold2019-07-163-0/+145
|
* Add testcase for #869Tristan Gingold2019-07-152-0/+30
|
* Add a test for ghdl/ghdl-language-server#7Tristan Gingold2019-07-093-2/+10
|
* Add testcase for #864Tristan Gingold2019-07-093-0/+90
|
* Add testcase for #860Tristan Gingold2019-07-082-0/+68
|
* Add test for previous commit.Tristan Gingold2019-07-032-0/+38
|
* testsuite: add a case for previous commit.Tristan Gingold2019-07-032-0/+47
|
* Add a test for previous commit.Tristan Gingold2019-06-202-0/+13
|
* Add tests for previous patches.Tristan Gingold2019-06-133-0/+24
|
* Add tests for previous commit.Tristan Gingold2019-06-133-0/+26
|
* Add reproducer for #838Tristan Gingold2019-06-122-0/+69
|
* Add a testcase for previous commit.Tristan Gingold2019-06-122-0/+9
|
* Add a testcase for previous commit.Tristan Gingold2019-06-123-0/+26
|
* Add a test for previous two commits.Tristan Gingold2019-06-052-0/+21
|
* Add a test for force-analysis.Tristan Gingold2019-06-042-0/+16
|
* Add testcase for #830; adjust harness.Tristan Gingold2019-06-042-0/+14
|
* Add testcase for #828Tristan Gingold2019-05-284-0/+128
|
* vhdl: add testcase for previous patch.Tristan Gingold2019-05-282-0/+27
|
* vhdl: add testcase for previous patchTristan Gingold2019-05-282-1/+9
|
* Add testcase for #788Tristan Gingold2019-05-152-0/+40
|
* testsuite.py: add option -kTristan Gingold2019-05-111-7/+12
|
* Add testcases for #818Tristan Gingold2019-05-1118-0/+328
|
* Add testcase for #772Tristan Gingold2019-05-112-0/+47
|
* Add testcase for #817Tristan Gingold2019-05-112-0/+25
|
* Add reproducer for issue #813Tristan Gingold2019-05-072-0/+15
|
* Add reproducer for #816Tristan Gingold2019-05-073-0/+124
|
* Add testcase for issue #810Tristan Gingold2019-05-072-0/+13
|
* Add a testcase for previous patch.Tristan Gingold2019-05-042-0/+16
|
* Add testcase for #810Tristan Gingold2019-05-033-0/+41
|