| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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: strenghten a testcase. | Tristan Gingold | 2019-08-16 | 1 | -0/+1 |
| | | |||||
| * | testsuite/python: fix test name (to follow the testsuite.sh convention) | Tristan Gingold | 2019-08-16 | 3 | -0/+0 |
| | | |||||
| * | 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 | ||||
| * | 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 |
| | | | | | | | | | * initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things | ||||
| * | 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 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code | ||||
| * | 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 |
| | | |||||
 |
index : iCE40/ghdl | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |