aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue662
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: adjust tests for issue#662Tristan Gingold2021-02-097-18/+51
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-095-1/+194
* Adjust use of PSL prev() in fell(), rose() & stable() testcasestmeissner2020-06-073-3/+9
* testsuite/synth: add a test of PSL built-in function fell() for #662tmeissner2020-06-073-1/+63
* testsuite/synth: add a test of PSL built-in function rose() for #662tmeissner2020-06-063-1/+63
* testsuite/synth: add a test of PSL built-in function stable() for #662tmeissner2020-06-065-11/+105
* testsuite/synth: add a test for #662Tristan Gingold2020-06-023-0/+63