aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/assertpmux.cc
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2021-02-21 20:56:04 +0000
committerGitHub <noreply@github.com>2021-02-21 20:56:04 +0000
commit01ccb80b708b45926b3690949479715ebf5e2853 (patch)
treeaa2f7cf94cd7b1742568d05d744dc6e21b266306 /passes/sat/assertpmux.cc
parent3fee43cde0ec424e52ea62f78722b061aaac280a (diff)
parent8de2e863af4233aca0a0ca0eef4477d216f7a227 (diff)
downloadyosys-01ccb80b708b45926b3690949479715ebf5e2853.tar.gz
yosys-01ccb80b708b45926b3690949479715ebf5e2853.tar.bz2
yosys-01ccb80b708b45926b3690949479715ebf5e2853.zip
Merge pull request #2586 from zachjs/tern-recurse
verilog: support recursive functions using ternary expressions
Diffstat (limited to 'passes/sat/assertpmux.cc')
0 files changed, 0 insertions, 0 deletions