Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | Add testcase for #869 | Tristan Gingold | 2019-07-15 | 2 | -0/+30 | |
* | Add a test for previous commit. | Tristan Gingold | 2019-07-13 | 1 | -0/+3 | |
* | Add a test for component instances. | Tristan Gingold | 2019-07-13 | 2 | -3/+14 | |
* | synth: add a simple test for instantiation. | Tristan Gingold | 2019-07-10 | 5 | -0/+105 | |
* | Add a test for ghdl/ghdl-language-server#7 | Tristan Gingold | 2019-07-09 | 3 | -2/+10 | |
* | Add testcase for #864 | Tristan Gingold | 2019-07-09 | 3 | -0/+90 | |
* | Add testcase for #860 | Tristan Gingold | 2019-07-08 | 2 | -0/+68 | |
* | Add test for previous commit. | Tristan Gingold | 2019-07-03 | 2 | -0/+38 | |
* | testsuite: add a case for previous commit. | Tristan Gingold | 2019-07-03 | 2 | -0/+47 | |
* | testsuite/synth: add arr01 | Tristan Gingold | 2019-07-01 | 7 | -0/+176 | |
* | testsuite/synth: add forloop2 test. | Tristan Gingold | 2019-07-01 | 3 | -0/+74 |