Reorg code
authorbdemsky <bdemsky@uci.edu>
Fri, 16 Jun 2017 00:22:39 +0000 (17:22 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 16 Jun 2017 00:22:39 +0000 (17:22 -0700)
commit2fdb3e8b65ae7e1490997e5df9ad8cc0929e1589
tree97cfe5aeb131dfedee87f2485a7a2ed0351c008c
parent84245f9abf88882d83e3b9ddfed43ab3abf8638f
Reorg code
55 files changed:
src/AST/boolean.c [new file with mode: 0644]
src/AST/boolean.h [new file with mode: 0644]
src/AST/element.c [new file with mode: 0644]
src/AST/element.h [new file with mode: 0644]
src/AST/function.c [new file with mode: 0644]
src/AST/function.h [new file with mode: 0644]
src/AST/mutableset.c [new file with mode: 0644]
src/AST/mutableset.h [new file with mode: 0644]
src/AST/ops.h [new file with mode: 0644]
src/AST/order.c [new file with mode: 0644]
src/AST/order.h [new file with mode: 0644]
src/AST/predicate.c [new file with mode: 0644]
src/AST/predicate.h [new file with mode: 0644]
src/AST/set.c [new file with mode: 0644]
src/AST/set.h [new file with mode: 0644]
src/AST/table.c [new file with mode: 0644]
src/AST/table.h [new file with mode: 0644]
src/Backend/constraint.c [new file with mode: 0644]
src/Backend/constraint.h [new file with mode: 0644]
src/Backend/inc_solver.c [new file with mode: 0644]
src/Backend/inc_solver.h [new file with mode: 0644]
src/Backend/solver_interface.h [new file with mode: 0644]
src/Collections/hashset.h [new file with mode: 0644]
src/Collections/hashtable.h [new file with mode: 0644]
src/Collections/structs.c [new file with mode: 0644]
src/Collections/structs.h [new file with mode: 0644]
src/Collections/vector.h [new file with mode: 0644]
src/Makefile
src/boolean.c [deleted file]
src/boolean.h [deleted file]
src/constraint.c [deleted file]
src/constraint.h [deleted file]
src/element.c [deleted file]
src/element.h [deleted file]
src/function.c [deleted file]
src/function.h [deleted file]
src/hashset.h [deleted file]
src/hashtable.h [deleted file]
src/inc_solver.c [deleted file]
src/inc_solver.h [deleted file]
src/mutableset.c [deleted file]
src/mutableset.h [deleted file]
src/ops.h [deleted file]
src/order.c [deleted file]
src/order.h [deleted file]
src/predicate.c [deleted file]
src/predicate.h [deleted file]
src/set.c [deleted file]
src/set.h [deleted file]
src/solver_interface.h [deleted file]
src/structs.c [deleted file]
src/structs.h [deleted file]
src/table.c [deleted file]
src/table.h [deleted file]
src/vector.h [deleted file]