switch to C
authorbdemsky <bdemsky@uci.edu>
Wed, 14 Jun 2017 23:51:13 +0000 (16:51 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 14 Jun 2017 23:51:13 +0000 (16:51 -0700)
commit2ef6d0360a8317b47f1a78990e2ed2f660855b53
tree7ac778e9ca6412db579c5c2ae57ccefd4d93d9ba
parent8828582606732da9cc5396dd5a28c01d20ef4325
switch to C
21 files changed:
src/Makefile
src/boolean.h
src/classlist.h
src/csolver.c
src/csolver.h
src/element.c
src/element.h
src/function.h
src/mutableset.c
src/mutableset.h
src/mymemory.h
src/order.c
src/order.h
src/predicate.h
src/set.c
src/set.h
src/stl-model.h [deleted file]
src/structs.c [new file with mode: 0644]
src/structs.h [new file with mode: 0644]
src/table.h
src/vector.h [new file with mode: 0644]