projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86fc49a) | patch
Use the `-duplicate` option rather than `-save` and `-load` with an explicit name.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Fri, 3 Apr 2020 16:43:41 +0000 (16:43 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sat, 4 Apr 2020 22:13:26 +0000 (22:13 +0000)
commit125a583c575747e07530b214c922ff6a17c5bb34
tree859e100e6246699291bb1c992789862a7991f462tree
parent86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6commit | diff
Use the `-duplicate` option rather than `-save` and `-load` with an explicit name.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
passes/sat/qbfsat.cc diff | blob | history