| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -0/+1 |
| * | add synthesis support for logic operators on numeric types (#893) | Pepijn de Vos | 2019-08-15 | 1 | -3/+3 |
| * | 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 | 1 | -0/+28 |
 |
index : iCE40/ghdl | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |