Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | 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 |