projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 323dd0e) | patch
Get rid of formal stuff from xaiger backend
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 21:27:26 +0000 (13:27 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 21:27:26 +0000 (13:27 -0800)
commitafa4389445adc8e53871af78ab1c38c98e03a6fc
treec55899980ee38ef391e77a82ef938765e87df710tree
parent323dd0e608b38116db1e2bcda1ebc4ba98823990commit | diff
Get rid of formal stuff from xaiger backend
backends/aiger/xaiger.cc diff | blob | history