xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity
authorEddie Hung <eddie@fpgeh.com>
Thu, 16 Apr 2020 21:02:42 +0000 (14:02 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commite357b40e7ae8a907ef38b2d32c920aada3f1ed5a
tree384edfa61ecc0a6a84d3e9f0b9be6e1607ad1fb5
parent4017cc6380c3b13f416e55e4e65cf98e7caf45e1
xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity
backends/aiger/xaiger.cc