Fix some of the memory leaks
authorbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 01:18:06 +0000 (18:18 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 01:18:06 +0000 (18:18 -0700)
commit5ac7352acbb5931293d51ba80df9d6c9039aa888
tree0510cef11ec3782158d3b3dd2b9eb2eb07a2d52f
parent4b6b456a0633dd259ef72e26bd6afa89e712df7b
Fix some of the memory leaks
src/AST/order.c
src/Backend/constraint.c
src/Backend/orderpair.c
src/Backend/orderpair.h
src/Backend/satencoder.c
src/Collections/hashtable.h
src/Collections/structs.c
src/Collections/structs.h
src/csolver.c