Clean up polarity pass
authorbdemsky <bdemsky@uci.edu>
Wed, 9 Aug 2017 04:53:32 +0000 (21:53 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 9 Aug 2017 04:53:32 +0000 (21:53 -0700)
commitbd3c5e0014fd56964171bdc3f6bb774b242bd4a0
treec6b0cb73bbe6e5b0b338b5793afd763fbf909f0d
parentdee4d2aea3dc95da5d7455fbf810ecf569a63aba
Clean up polarity pass
src/AST/boolean.c
src/AST/boolean.h
src/AST/ops.h
src/Encoders/naiveencoder.c
src/Encoders/polarityassignment.c
src/Encoders/polarityassignment.h