1 2 3 4 5 6 7 8 9 10 11 12 13 14
add_subdirectory(arith) add_subdirectory(arrays) add_subdirectory(booleans) add_subdirectory(builtin) add_subdirectory(bv) add_subdirectory(datatypes) add_subdirectory(example) add_subdirectory(fp) add_subdirectory(idl) add_subdirectory(quantifiers) add_subdirectory(sep) add_subdirectory(sets) add_subdirectory(strings) add_subdirectory(uf)