Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite/synth: adjust tests for issue#662 | Tristan Gingold | 2021-02-09 | 7 | -18/+51 |
* | Add support for PSL onehot/onehot0 functions (#1633) | T. Meissner | 2021-02-09 | 5 | -1/+194 |
* | Adjust use of PSL prev() in fell(), rose() & stable() testcases | tmeissner | 2020-06-07 | 3 | -3/+9 |
* | testsuite/synth: add a test of PSL built-in function fell() for #662 | tmeissner | 2020-06-07 | 3 | -1/+63 |
* | testsuite/synth: add a test of PSL built-in function rose() for #662 | tmeissner | 2020-06-06 | 3 | -1/+63 |
* | testsuite/synth: add a test of PSL built-in function stable() for #662 | tmeissner | 2020-06-06 | 5 | -11/+105 |
* | testsuite/synth: add a test for #662 | Tristan Gingold | 2020-06-02 | 3 | -0/+63 |