index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
testsuite
Commit message (
Expand
)
Author
Age
Files
Lines
*
testenv: also applies GHDL_FLAGS for synth.
Tristan Gingold
2019-08-14
1
-1
/
+1
*
synth: add test for previous commit.
Tristan Gingold
2019-08-14
3
-2
/
+29
*
testsuite/gna: use common testsuite.sh
Tristan Gingold
2019-08-14
1
-14
/
+5
*
testsuite/gna/README: document naming convention.
Tristan Gingold
2019-08-14
1
-2
/
+11
*
testsuite/gna: make testsuite.py neutral.
Tristan Gingold
2019-08-14
1
-4
/
+1
*
testsuite/gna: rename perf02 to not run it normally.
Tristan Gingold
2019-08-14
36
-0
/
+0
*
testsuite/synth: make testsuite.sh more neutral.
Tristan Gingold
2019-08-14
1
-2
/
+2
*
testsuite/testenv.sh: define PYTHON
Tristan Gingold
2019-08-14
1
-0
/
+2
*
testsuite/python: add testsuite.sh
Tristan Gingold
2019-08-14
1
-0
/
+53
*
testsuite: add testsuite.sh in 001units
Tristan Gingold
2019-08-14
1
-0
/
+7
*
synth: also extract edge in PSL expressions.
Tristan Gingold
2019-08-13
2
-1
/
+28
*
synth: extract edge for PSL clocks.
Tristan Gingold
2019-08-13
4
-2
/
+86
*
Support for PSL assert and assume in synthesis (#892)
Pepijn de Vos
2019-08-13
1
-1
/
+2
*
Add testcase for #885
Tristan Gingold
2019-08-11
2
-0
/
+44
*
Add testcase for #886
Tristan Gingold
2019-08-10
5
-0
/
+141
*
synth: add testcase from #872
Tristan Gingold
2019-08-08
2
-0
/
+51
*
synth: add testcase for aggregate target.
Tristan Gingold
2019-08-08
3
-0
/
+56
*
Add reproducer for tgingold/ghdlsynth-beta#26
Tristan Gingold
2019-08-08
2
-0
/
+29
*
Add support for PSL assumptions, used in formal verification (#880)
Pepijn de Vos
2019-08-07
4
-0
/
+104
*
Add testcase for #877
Tristan Gingold
2019-08-06
5
-0
/
+43
*
Add more tests in issue613
Tristan Gingold
2019-08-06
2
-0
/
+5
*
Add a testcase for #881
Tristan Gingold
2019-08-06
3
-0
/
+57
*
Add testcase for #882
Tristan Gingold
2019-08-05
2
-0
/
+23
*
synth: add test for previous commit.
Tristan Gingold
2019-08-05
3
-2
/
+77
*
synth: add tests for uns/uns comparisons.
Tristan Gingold
2019-08-02
3
-0
/
+102
*
synth: add tests for partial assignment.
Tristan Gingold
2019-08-01
5
-0
/
+106
*
synth: add a dff test.
Tristan Gingold
2019-07-31
3
-1
/
+65
*
synth: add a counter test.
Tristan Gingold
2019-07-30
3
-0
/
+117
*
synth: add dpram3 test.
Tristan Gingold
2019-07-30
3
-1
/
+77
*
synth: adjust output for dyn_insert, add dpram2 test.
Tristan Gingold
2019-07-30
3
-1
/
+65
*
synth: add a test for a ram.
Tristan Gingold
2019-07-30
3
-1
/
+65
*
synth: add a test for idff.
Tristan Gingold
2019-07-30
3
-1
/
+74
*
synth: add a test for psl.
Tristan Gingold
2019-07-29
2
-0
/
+38
*
synth: add arr02 test.
Tristan Gingold
2019-07-29
3
-0
/
+73
*
vhdl: add tests for concat.
Tristan Gingold
2019-07-26
5
-0
/
+99
*
testenv.sh: improve comment.
Tristan Gingold
2019-07-26
1
-1
/
+1
*
synth: add test for previous commit.
Tristan Gingold
2019-07-25
3
-1
/
+49
*
synth: add testcase for previous commit.
Tristan Gingold
2019-07-24
3
-0
/
+68
*
synth: add testcase for previous commit.
Tristan Gingold
2019-07-24
5
-0
/
+114
*
synth: add testcase for pragma translate_off.
Tristan Gingold
2019-07-24
4
-0
/
+69
*
synth: add testcase for previous commit.
Tristan Gingold
2019-07-23
3
-0
/
+81
*
vhdl: add testcase.
Tristan Gingold
2019-07-22
2
-0
/
+93
*
synth: fix test name.
Tristan Gingold
2019-07-20
3
-0
/
+0
*
synth: add testcase for concurrent selected signal assignment.
Tristan Gingold
2019-07-20
3
-0
/
+75
*
synth: add a test for for-generate statement.
Tristan Gingold
2019-07-20
3
-0
/
+49
*
synth: add a test for previous commit.
Tristan Gingold
2019-07-20
5
-0
/
+111
*
synth: add a test for previous commit (aggr).
Tristan Gingold
2019-07-20
5
-0
/
+101
*
synth: add testcase from issue8
Tristan Gingold
2019-07-19
8
-0
/
+156
*
synth: add a test for concatenation.
Tristan Gingold
2019-07-19
3
-0
/
+62
*
Add a testcase about distinct alternate labels.
Tristan Gingold
2019-07-16
3
-0
/
+145
[next]