| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add test for PSL declarations in inline PSL | tmeissner | 2021-10-14 | 3 | -1/+63 |
| * | testsuite/synth: add a test for the previous commit. | Tristan Gingold | 2020-06-30 | 2 | -0/+23 |
| * | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 4 | -1/+56 |
| * | 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 |
| * | synth: add test for previous commit. | Tristan Gingold | 2019-08-14 | 2 | -1/+28 |
| * | 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 |
| * | synth: add a test for psl. | Tristan Gingold | 2019-07-29 | 2 | -0/+38 |
 |
index : iCE40/ghdl | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |