projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fba499b) | patch
Small fixes and improvements in $allconst/$allseq handling
authorClifford Wolf <clifford@clifford.at>
Mon, 26 Feb 2018 10:58:44 +0000 (11:58 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 26 Feb 2018 10:58:44 +0000 (11:58 +0100)
commit675dd5347ad7bafdfa95f97b60996595a32f2c7d
tree7704de79f2b65895f296185028626e79a3a12f71tree
parentfba499b8666ef33bc5b11ce2df7b8b18a5aeaa75commit | diff
Small fixes and improvements in $allconst/$allseq handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
README.md diff | blob | history
backends/smt2/smtbmc.py diff | blob | history