aboutsummaryrefslogtreecommitdiffstats
path: root/tests/xprop
Commit message (Expand)AuthorAgeFilesLines
* xprop tests: Make iverilog invocation more portableJannis Harder2023-02-131-3/+3
* xprop: Test fixes and abort on test failureJannis Harder2023-02-132-3/+3
* xprop: Smaller subset of tests to run by defaultJannis Harder2023-02-131-44/+53
* tests: Fix path of yosys invocation in xprop testsJannis Harder2023-02-101-1/+1
* tests: in xprop tests, use MAKE variable if setJannis Harder2023-02-101-1/+1
* New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-304-0/+801