aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat
diff options
context:
space:
mode:
authorMarcelina Koƛcielnicka <mwk@0x04.net>2022-02-08 03:52:50 +0100
committerMarcelina Koƛcielnicka <mwk@0x04.net>2022-05-18 17:32:56 +0200
commit0a8eaca322a622610efe5a0d33d1cda83e4afa8c (patch)
tree4d34ed2365f87d7a4c9da09de9fda0e1e00d101c /tests/sat
parenta04b025abff798f37d580a7d30084497d61d0fe0 (diff)
downloadyosys-0a8eaca322a622610efe5a0d33d1cda83e4afa8c.tar.gz
yosys-0a8eaca322a622610efe5a0d33d1cda83e4afa8c.tar.bz2
yosys-0a8eaca322a622610efe5a0d33d1cda83e4afa8c.zip
nexus: Use `memory_libmap` pass.
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions