Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite/synth: add testcase for previous commit. | Tristan Gingold | 2019-09-22 | 3 | -1/+52 |
| | |||||
* | testsuite/synyh: add a test for exit statement. | Tristan Gingold | 2019-09-22 | 5 | -0/+154 |
| | |||||
* | testsuite/synth: add testcase for previous commit. | Tristan Gingold | 2019-09-21 | 3 | -0/+79 |
| | |||||
* | testsuite/synth: Add testcase for tgingold/ghdlsynth-beta#39 | Tristan Gingold | 2019-09-21 | 3 | -1/+66 |
| | |||||
* | testsuite/synth: add issue27 testcase. | Tristan Gingold | 2019-09-21 | 2 | -0/+48 |
| | |||||
* | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 4 | -1/+56 |
| | | | | | | * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives | ||||
* | Add missing file for previous commit. | Tristan Gingold | 2019-09-17 | 2 | -0/+62 |
| | |||||
* | testsuite/synth: add a test for previous commit. | Tristan Gingold | 2019-09-17 | 1 | -1/+1 |
| | |||||
* | testsuite/synth: add var01 | Tristan Gingold | 2019-09-17 | 11 | -0/+384 |
| | |||||
* | testsuite/synth: add a test for std_match | Tristan Gingold | 2019-09-15 | 3 | -1/+44 |
| | |||||
* | testsuite/synth: add more tests in func01. | Tristan Gingold | 2019-09-13 | 9 | -1/+214 |
| | |||||
* | testsuite/synth: add one more test in ret01 | Tristan Gingold | 2019-09-11 | 3 | -4/+38 |
| | |||||
* | testsuite/synth: add ret01 tests. | Tristan Gingold | 2019-09-11 | 7 | -1/+129 |
| | |||||
* | testsuite/synth: add a test for slices. | Tristan Gingold | 2019-09-11 | 3 | -2/+63 |
| | |||||
* | testsuite/synth: add mem02 | Tristan Gingold | 2019-09-11 | 3 | -0/+84 |
| | |||||
* | testsuite/synth: rename arr02 to mem01 | Tristan Gingold | 2019-09-11 | 9 | -0/+0 |
| | |||||
* | testsuite/synth: add testcase for previous commit. | Tristan Gingold | 2019-09-07 | 3 | -0/+77 |
| | |||||
* | testsuite/synth: add test for previous commit. | Tristan Gingold | 2019-09-05 | 4 | -0/+99 |
| | |||||
* | testsuite/synth: re-enable stmt01 test. | Tristan Gingold | 2019-09-05 | 1 | -1/+0 |
| | |||||
* | testsuite/synth: rename disp01 to dispin01 | Tristan Gingold | 2019-09-04 | 19 | -0/+0 |
| | |||||
* | testsuite/synth: add tests for previous commit. | Tristan Gingold | 2019-09-04 | 25 | -0/+427 |
| | |||||
* | testsuite/synth: add testcase for previous commit. | Tristan Gingold | 2019-09-03 | 19 | -0/+381 |
| | |||||
* | [PATCH] synth-environment: fix thinkos. | Tristan Gingold | 2019-08-31 | 7 | -1/+174 |
| | |||||
* | testsuite/synth: added test for the physical division | Martin Doerfelt | 2019-08-30 | 2 | -0/+25 |
| | |||||
* | testsuite/synth: add testcase for records. Temporary disable stmt01 | Tristan Gingold | 2019-08-29 | 5 | -0/+168 |
| | |||||
* | synth: Integer operators (#902) | marph91 | 2019-08-28 | 2 | -0/+31 |
| | | | | | | | | * synth: added missing integer operators I. e. inequality and remainder. * testsuite/synth: added testcase for the missing integer operators | ||||
* | testsuite/synth: testcase for conditional signal assignment. | Tristan Gingold | 2019-08-27 | 3 | -0/+61 |
| | |||||
* | testsuite/synth: add cases for assign. | Tristan Gingold | 2019-08-27 | 4 | -4/+62 |
| | |||||
* | testsuite/synth: add asgn01 | Tristan Gingold | 2019-08-27 | 5 | -0/+124 |
| | |||||
* | testsuite/synth: add fsm02 test. | Tristan Gingold | 2019-08-27 | 5 | -0/+181 |
| | |||||
* | initial support for reduce and/or (#900) | Pepijn de Vos | 2019-08-20 | 2 | -0/+25 |
| | |||||
* | testsuite/synth: add a test for previous commit. | Tristan Gingold | 2019-08-20 | 2 | -0/+13 |
| | |||||
* | testsuite/synth: add a test for assume directive in verification units. | Tristan Gingold | 2019-08-20 | 2 | -2/+11 |
| | |||||
* | testsuite/synth: add psl02 | Tristan Gingold | 2019-08-20 | 4 | -0/+74 |
| | |||||
* | synth: add testcase for issue 34 | Tristan Gingold | 2019-08-17 | 13 | -0/+442 |
| | |||||
* | testsuite/synth: add reproducer for tgingold/ghdlsynth-beta#33 | Tristan Gingold | 2019-08-16 | 3 | -0/+73 |
| | |||||
* | testsuite/synth: fix assert1 assertion. | Tristan Gingold | 2019-08-15 | 1 | -1/+1 |
| | |||||
* | add synthesis support for logic operators on numeric types (#893) | Pepijn de Vos | 2019-08-15 | 1 | -3/+3 |
| | | | | | | | | * add logic operators on unsigned * handle signed too * handle unary not | ||||
* | synth: add test for previous commit. | Tristan Gingold | 2019-08-14 | 2 | -1/+28 |
| | |||||
* | testsuite/synth: make testsuite.sh more neutral. | Tristan Gingold | 2019-08-14 | 1 | -2/+2 |
| | |||||
* | 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 |
| | | | | | | | | * initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things | ||||
* | 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 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 |
| |