Fix encoding bug and fix misconception of how memory management of Constraints works
authorbdemsky <bdemsky@uci.edu>
Thu, 29 Jun 2017 06:36:53 +0000 (23:36 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 29 Jun 2017 06:36:53 +0000 (23:36 -0700)
commit242f9854b727383788bc85b5fda5803e11f1bb1c
treea97d5f7e70159c90192553d23bbdafae07e3e2f2
parent99ace3f73ea93950e8a8a38c5aa086f1b535cf48
Fix encoding bug and fix misconception of how memory management of Constraints works
src/AST/element.c
src/AST/element.h
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Encoders/elementencoding.c