| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | |||||
| * | 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 |
| | | |||||
| * | 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 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/ghdl | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |