Eddie Hung 6f4f795953 aiger/xaiger: use odd for negedge clk, even for posedge ... Since abc9 doesn't like negative mergeability values		2020-05-14 10:33:56 -07:00
..
aigerparse.cc	aiger/xaiger: use odd for negedge clk, even for posedge	2020-05-14 10:33:56 -07:00
aigerparse.h
Makefile.inc