Generative-Program-Analysis
diff --git a/‎.gitignore
+11-1 b/‎.gitignore
+11-1
diff --git a/‎.gitmodules
+2-2 b/‎.gitmodules
+2-2
diff --git a/‎README.md
+14-27 b/‎README.md
+14-27
diff --git a/‎dev-clean/benchmarks/Makefile renamed to ‎benchmarks/Makefile b/‎dev-clean/benchmarks/Makefile renamed to ‎benchmarks/Makefile
diff --git a/‎dev-clean/benchmarks/coreutils/echo/census.py renamed to ‎benchmarks/coreutils/echo/census.py b/‎dev-clean/benchmarks/coreutils/echo/census.py renamed to ‎benchmarks/coreutils/echo/census.py
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/Makefile renamed to ‎benchmarks/demo-benchmarks/Makefile b/‎dev-clean/benchmarks/demo-benchmarks/Makefile renamed to ‎benchmarks/demo-benchmarks/Makefile
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/bin_search.c renamed to ‎benchmarks/demo-benchmarks/bin_search.c b/‎dev-clean/benchmarks/demo-benchmarks/bin_search.c renamed to ‎benchmarks/demo-benchmarks/bin_search.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/bubblesort.c renamed to ‎benchmarks/demo-benchmarks/bubblesort.c b/‎dev-clean/benchmarks/demo-benchmarks/bubblesort.c renamed to ‎benchmarks/demo-benchmarks/bubblesort.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/huffman.c renamed to ‎benchmarks/demo-benchmarks/huffman.c b/‎dev-clean/benchmarks/demo-benchmarks/huffman.c renamed to ‎benchmarks/demo-benchmarks/huffman.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/kmpmatcher.c renamed to ‎benchmarks/demo-benchmarks/kmpmatcher.c b/‎dev-clean/benchmarks/demo-benchmarks/kmpmatcher.c renamed to ‎benchmarks/demo-benchmarks/kmpmatcher.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/knapsack.c renamed to ‎benchmarks/demo-benchmarks/knapsack.c b/‎dev-clean/benchmarks/demo-benchmarks/knapsack.c renamed to ‎benchmarks/demo-benchmarks/knapsack.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/kth.c renamed to ‎benchmarks/demo-benchmarks/kth.c b/‎dev-clean/benchmarks/demo-benchmarks/kth.c renamed to ‎benchmarks/demo-benchmarks/kth.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/maxSubArraySum.c renamed to ‎benchmarks/demo-benchmarks/maxSubArraySum.c b/‎dev-clean/benchmarks/demo-benchmarks/maxSubArraySum.c renamed to ‎benchmarks/demo-benchmarks/maxSubArraySum.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/mergesort.c renamed to ‎benchmarks/demo-benchmarks/mergesort.c b/‎dev-clean/benchmarks/demo-benchmarks/mergesort.c renamed to ‎benchmarks/demo-benchmarks/mergesort.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/nqueen.c renamed to ‎benchmarks/demo-benchmarks/nqueen.c b/‎dev-clean/benchmarks/demo-benchmarks/nqueen.c renamed to ‎benchmarks/demo-benchmarks/nqueen.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/quicksort.c renamed to ‎benchmarks/demo-benchmarks/quicksort.c b/‎dev-clean/benchmarks/demo-benchmarks/quicksort.c renamed to ‎benchmarks/demo-benchmarks/quicksort.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/seginter.c renamed to ‎benchmarks/demo-benchmarks/seginter.c b/‎dev-clean/benchmarks/demo-benchmarks/seginter.c renamed to ‎benchmarks/demo-benchmarks/seginter.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/stein.c renamed to ‎benchmarks/demo-benchmarks/stein.c b/‎dev-clean/benchmarks/demo-benchmarks/stein.c renamed to ‎benchmarks/demo-benchmarks/stein.c
diff --git a/‎dev-clean/benchmarks/demo-benchmarks/tiling.c renamed to ‎benchmarks/demo-benchmarks/tiling.c b/‎dev-clean/benchmarks/demo-benchmarks/tiling.c renamed to ‎benchmarks/demo-benchmarks/tiling.c
diff --git a/‎dev-clean/benchmarks/external-lib/Makefile renamed to ‎benchmarks/external-lib/Makefile b/‎dev-clean/benchmarks/external-lib/Makefile renamed to ‎benchmarks/external-lib/Makefile
diff --git a/‎dev-clean/benchmarks/external-lib/assert.c renamed to ‎benchmarks/external-lib/assert.c b/‎dev-clean/benchmarks/external-lib/assert.c renamed to ‎benchmarks/external-lib/assert.c
diff --git a/‎dev-clean/benchmarks/external-lib/assert_fix.c renamed to ‎benchmarks/external-lib/assert_fix.c b/‎dev-clean/benchmarks/external-lib/assert_fix.c renamed to ‎benchmarks/external-lib/assert_fix.c
diff --git a/‎dev-clean/benchmarks/external-lib/assume.c renamed to ‎benchmarks/external-lib/assume.c b/‎dev-clean/benchmarks/external-lib/assume.c renamed to ‎benchmarks/external-lib/assume.c
diff --git a/‎dev-clean/benchmarks/external-lib/chmod.c renamed to ‎benchmarks/external-lib/chmod.c b/‎dev-clean/benchmarks/external-lib/chmod.c renamed to ‎benchmarks/external-lib/chmod.c
diff --git a/‎dev-clean/benchmarks/external-lib/close.c renamed to ‎benchmarks/external-lib/close.c b/‎dev-clean/benchmarks/external-lib/close.c renamed to ‎benchmarks/external-lib/close.c
diff --git a/‎dev-clean/benchmarks/external-lib/creat_unlink.c renamed to ‎benchmarks/external-lib/creat_unlink.c b/‎dev-clean/benchmarks/external-lib/creat_unlink.c renamed to ‎benchmarks/external-lib/creat_unlink.c
diff --git a/‎dev-clean/benchmarks/external-lib/externalFun.c renamed to ‎benchmarks/external-lib/externalFun.c b/‎dev-clean/benchmarks/external-lib/externalFun.c renamed to ‎benchmarks/external-lib/externalFun.c
diff --git a/‎dev-clean/benchmarks/external-lib/externalFunCaller.c renamed to ‎benchmarks/external-lib/externalFunCaller.c b/‎dev-clean/benchmarks/external-lib/externalFunCaller.c renamed to ‎benchmarks/external-lib/externalFunCaller.c
diff --git a/‎dev-clean/benchmarks/external-lib/fstat.c renamed to ‎benchmarks/external-lib/fstat.c b/‎dev-clean/benchmarks/external-lib/fstat.c renamed to ‎benchmarks/external-lib/fstat.c
diff --git a/‎dev-clean/benchmarks/external-lib/ioctl.c renamed to ‎benchmarks/external-lib/ioctl.c b/‎dev-clean/benchmarks/external-lib/ioctl.c renamed to ‎benchmarks/external-lib/ioctl.c
diff --git a/‎dev-clean/benchmarks/external-lib/klee_fs_mini.c renamed to ‎benchmarks/external-lib/klee_fs_mini.c b/‎dev-clean/benchmarks/external-lib/klee_fs_mini.c renamed to ‎benchmarks/external-lib/klee_fs_mini.c
diff --git a/‎dev-clean/benchmarks/external-lib/klee_fs_mini_global.c renamed to ‎benchmarks/external-lib/klee_fs_mini_global.c b/‎dev-clean/benchmarks/external-lib/klee_fs_mini_global.c renamed to ‎benchmarks/external-lib/klee_fs_mini_global.c
diff --git a/‎dev-clean/benchmarks/external-lib/klee_fs_mini_packed.c renamed to ‎benchmarks/external-lib/klee_fs_mini_packed.c b/‎dev-clean/benchmarks/external-lib/klee_fs_mini_packed.c renamed to ‎benchmarks/external-lib/klee_fs_mini_packed.c
diff --git a/‎dev-clean/benchmarks/external-lib/lseek1.c renamed to ‎benchmarks/external-lib/lseek1.c b/‎dev-clean/benchmarks/external-lib/lseek1.c renamed to ‎benchmarks/external-lib/lseek1.c
diff --git a/‎dev-clean/benchmarks/external-lib/malloc.c renamed to ‎benchmarks/external-lib/malloc.c b/‎dev-clean/benchmarks/external-lib/malloc.c renamed to ‎benchmarks/external-lib/malloc.c
diff --git a/‎dev-clean/benchmarks/external-lib/mkdir.c renamed to ‎benchmarks/external-lib/mkdir.c b/‎dev-clean/benchmarks/external-lib/mkdir.c renamed to ‎benchmarks/external-lib/mkdir.c
diff --git a/‎dev-clean/benchmarks/external-lib/open.c renamed to ‎benchmarks/external-lib/open.c b/‎dev-clean/benchmarks/external-lib/open.c renamed to ‎benchmarks/external-lib/open.c
diff --git a/‎dev-clean/benchmarks/external-lib/printf.c renamed to ‎benchmarks/external-lib/printf.c b/‎dev-clean/benchmarks/external-lib/printf.c renamed to ‎benchmarks/external-lib/printf.c
diff --git a/‎dev-clean/benchmarks/external-lib/read1.c renamed to ‎benchmarks/external-lib/read1.c b/‎dev-clean/benchmarks/external-lib/read1.c renamed to ‎benchmarks/external-lib/read1.c
diff --git a/‎dev-clean/benchmarks/external-lib/read2.c renamed to ‎benchmarks/external-lib/read2.c b/‎dev-clean/benchmarks/external-lib/read2.c renamed to ‎benchmarks/external-lib/read2.c
diff --git a/‎dev-clean/benchmarks/external-lib/stat1.c renamed to ‎benchmarks/external-lib/stat1.c b/‎dev-clean/benchmarks/external-lib/stat1.c renamed to ‎benchmarks/external-lib/stat1.c
diff --git a/‎dev-clean/benchmarks/external-lib/stat2.c renamed to ‎benchmarks/external-lib/stat2.c b/‎dev-clean/benchmarks/external-lib/stat2.c renamed to ‎benchmarks/external-lib/stat2.c
diff --git a/‎dev-clean/benchmarks/external-lib/statfs.c renamed to ‎benchmarks/external-lib/statfs.c b/‎dev-clean/benchmarks/external-lib/statfs.c renamed to ‎benchmarks/external-lib/statfs.c
diff --git a/‎dev-clean/benchmarks/external-lib/stdin.c renamed to ‎benchmarks/external-lib/stdin.c b/‎dev-clean/benchmarks/external-lib/stdin.c renamed to ‎benchmarks/external-lib/stdin.c
diff --git a/‎dev-clean/benchmarks/external-lib/strcmpCaller.c renamed to ‎benchmarks/external-lib/strcmpCaller.c b/‎dev-clean/benchmarks/external-lib/strcmpCaller.c renamed to ‎benchmarks/external-lib/strcmpCaller.c
diff --git a/‎dev-clean/benchmarks/external-lib/write1.c renamed to ‎benchmarks/external-lib/write1.c b/‎dev-clean/benchmarks/external-lib/write1.c renamed to ‎benchmarks/external-lib/write1.c
diff --git a/‎dev-clean/benchmarks/klee-examples/Makefile renamed to ‎benchmarks/klee-examples/Makefile b/‎dev-clean/benchmarks/klee-examples/Makefile renamed to ‎benchmarks/klee-examples/Makefile
diff --git a/‎dev-clean/benchmarks/klee-examples/regexp.c renamed to ‎benchmarks/klee-examples/regexp.c b/‎dev-clean/benchmarks/klee-examples/regexp.c renamed to ‎benchmarks/klee-examples/regexp.c
diff --git a/‎dev-clean/benchmarks/klee-examples/sort.c renamed to ‎benchmarks/klee-examples/sort.c b/‎dev-clean/benchmarks/klee-examples/sort.c renamed to ‎benchmarks/klee-examples/sort.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/FreeBSD.h renamed to ‎benchmarks/klee-posix-fs/FreeBSD.h b/‎dev-clean/benchmarks/klee-posix-fs/FreeBSD.h renamed to ‎benchmarks/klee-posix-fs/FreeBSD.h
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/LICENSE.TXT renamed to ‎benchmarks/klee-posix-fs/LICENSE.TXT b/‎dev-clean/benchmarks/klee-posix-fs/LICENSE.TXT renamed to ‎benchmarks/klee-posix-fs/LICENSE.TXT
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/Makefile renamed to ‎benchmarks/klee-posix-fs/Makefile b/‎dev-clean/benchmarks/klee-posix-fs/Makefile renamed to ‎benchmarks/klee-posix-fs/Makefile
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/fd.c renamed to ‎benchmarks/klee-posix-fs/fd.c b/‎dev-clean/benchmarks/klee-posix-fs/fd.c renamed to ‎benchmarks/klee-posix-fs/fd.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/fd.h renamed to ‎benchmarks/klee-posix-fs/fd.h b/‎dev-clean/benchmarks/klee-posix-fs/fd.h renamed to ‎benchmarks/klee-posix-fs/fd.h
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/fd_32.c renamed to ‎benchmarks/klee-posix-fs/fd_32.c b/‎dev-clean/benchmarks/klee-posix-fs/fd_32.c renamed to ‎benchmarks/klee-posix-fs/fd_32.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/fd_64.c renamed to ‎benchmarks/klee-posix-fs/fd_64.c b/‎dev-clean/benchmarks/klee-posix-fs/fd_64.c renamed to ‎benchmarks/klee-posix-fs/fd_64.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/fd_init.c renamed to ‎benchmarks/klee-posix-fs/fd_init.c b/‎dev-clean/benchmarks/klee-posix-fs/fd_init.c renamed to ‎benchmarks/klee-posix-fs/fd_init.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/illegal.c renamed to ‎benchmarks/klee-posix-fs/illegal.c b/‎dev-clean/benchmarks/klee-posix-fs/illegal.c renamed to ‎benchmarks/klee-posix-fs/illegal.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/klee_init_env.c renamed to ‎benchmarks/klee-posix-fs/klee_init_env.c b/‎dev-clean/benchmarks/klee-posix-fs/klee_init_env.c renamed to ‎benchmarks/klee-posix-fs/klee_init_env.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/llsc.c renamed to ‎benchmarks/klee-posix-fs/llsc.c b/‎dev-clean/benchmarks/klee-posix-fs/llsc.c renamed to ‎benchmarks/klee-posix-fs/llsc.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/misc.c renamed to ‎benchmarks/klee-posix-fs/misc.c b/‎dev-clean/benchmarks/klee-posix-fs/misc.c renamed to ‎benchmarks/klee-posix-fs/misc.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/selinux.c renamed to ‎benchmarks/klee-posix-fs/selinux.c b/‎dev-clean/benchmarks/klee-posix-fs/selinux.c renamed to ‎benchmarks/klee-posix-fs/selinux.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/stubs.c renamed to ‎benchmarks/klee-posix-fs/stubs.c b/‎dev-clean/benchmarks/klee-posix-fs/stubs.c renamed to ‎benchmarks/klee-posix-fs/stubs.c
diff --git a/‎dev-clean/benchmarks/klee-posix-fs/test.c renamed to ‎benchmarks/klee-posix-fs/test.c b/‎dev-clean/benchmarks/klee-posix-fs/test.c renamed to ‎benchmarks/klee-posix-fs/test.c
diff --git a/‎dev-clean/benchmarks/llvm/Makefile renamed to ‎benchmarks/llvm/Makefile b/‎dev-clean/benchmarks/llvm/Makefile renamed to ‎benchmarks/llvm/Makefile
diff --git a/‎dev-clean/benchmarks/llvm/add.c renamed to ‎benchmarks/llvm/add.c b/‎dev-clean/benchmarks/llvm/add.c renamed to ‎benchmarks/llvm/add.c
diff --git a/‎dev-clean/benchmarks/llvm/aliasing.c renamed to ‎benchmarks/llvm/aliasing.c b/‎dev-clean/benchmarks/llvm/aliasing.c renamed to ‎benchmarks/llvm/aliasing.c
diff --git a/‎dev-clean/benchmarks/llvm/argv1.c renamed to ‎benchmarks/llvm/argv1.c b/‎dev-clean/benchmarks/llvm/argv1.c renamed to ‎benchmarks/llvm/argv1.c
diff --git a/‎dev-clean/benchmarks/llvm/argv2.c renamed to ‎benchmarks/llvm/argv2.c b/‎dev-clean/benchmarks/llvm/argv2.c renamed to ‎benchmarks/llvm/argv2.c
diff --git a/‎dev-clean/benchmarks/llvm/arrayAccess.c renamed to ‎benchmarks/llvm/arrayAccess.c b/‎dev-clean/benchmarks/llvm/arrayAccess.c renamed to ‎benchmarks/llvm/arrayAccess.c
diff --git a/‎dev-clean/benchmarks/llvm/arrayAccessLocal.c renamed to ‎benchmarks/llvm/arrayAccessLocal.c b/‎dev-clean/benchmarks/llvm/arrayAccessLocal.c renamed to ‎benchmarks/llvm/arrayAccessLocal.c
diff --git a/‎dev-clean/benchmarks/llvm/arrayGetSet.c renamed to ‎benchmarks/llvm/arrayGetSet.c b/‎dev-clean/benchmarks/llvm/arrayGetSet.c renamed to ‎benchmarks/llvm/arrayGetSet.c
diff --git a/‎dev-clean/benchmarks/llvm/arrayflow.c renamed to ‎benchmarks/llvm/arrayflow.c b/‎dev-clean/benchmarks/llvm/arrayflow.c renamed to ‎benchmarks/llvm/arrayflow.c
diff --git a/‎dev-clean/benchmarks/llvm/branch.c renamed to ‎benchmarks/llvm/branch.c b/‎dev-clean/benchmarks/llvm/branch.c renamed to ‎benchmarks/llvm/branch.c
diff --git a/‎dev-clean/benchmarks/llvm/branch2.c renamed to ‎benchmarks/llvm/branch2.c b/‎dev-clean/benchmarks/llvm/branch2.c renamed to ‎benchmarks/llvm/branch2.c
diff --git a/‎dev-clean/benchmarks/llvm/branch3.c renamed to ‎benchmarks/llvm/branch3.c b/‎dev-clean/benchmarks/llvm/branch3.c renamed to ‎benchmarks/llvm/branch3.c
diff --git a/‎dev-clean/benchmarks/llvm/complexStruct.c renamed to ‎benchmarks/llvm/complexStruct.c b/‎dev-clean/benchmarks/llvm/complexStruct.c renamed to ‎benchmarks/llvm/complexStruct.c
diff --git a/‎dev-clean/benchmarks/llvm/floatArith.c renamed to ‎benchmarks/llvm/floatArith.c b/‎dev-clean/benchmarks/llvm/floatArith.c renamed to ‎benchmarks/llvm/floatArith.c
diff --git a/‎dev-clean/benchmarks/llvm/floatFp80.c renamed to ‎benchmarks/llvm/floatFp80.c b/‎dev-clean/benchmarks/llvm/floatFp80.c renamed to ‎benchmarks/llvm/floatFp80.c
diff --git a/‎dev-clean/benchmarks/llvm/funptr.c renamed to ‎benchmarks/llvm/funptr.c b/‎dev-clean/benchmarks/llvm/funptr.c renamed to ‎benchmarks/llvm/funptr.c
diff --git a/‎dev-clean/benchmarks/llvm/gen_branch.py renamed to ‎benchmarks/llvm/gen_branch.py b/‎dev-clean/benchmarks/llvm/gen_branch.py renamed to ‎benchmarks/llvm/gen_branch.py
diff --git a/‎dev-clean/benchmarks/llvm/gen_single_path.py renamed to ‎benchmarks/llvm/gen_single_path.py b/‎dev-clean/benchmarks/llvm/gen_single_path.py renamed to ‎benchmarks/llvm/gen_single_path.py
diff --git a/‎dev-clean/benchmarks/llvm/gepint.c renamed to ‎benchmarks/llvm/gepint.c b/‎dev-clean/benchmarks/llvm/gepint.c renamed to ‎benchmarks/llvm/gepint.c
diff --git a/‎dev-clean/benchmarks/llvm/get_value.c renamed to ‎benchmarks/llvm/get_value.c b/‎dev-clean/benchmarks/llvm/get_value.c renamed to ‎benchmarks/llvm/get_value.c
diff --git a/‎dev-clean/benchmarks/llvm/global.c renamed to ‎benchmarks/llvm/global.c b/‎dev-clean/benchmarks/llvm/global.c renamed to ‎benchmarks/llvm/global.c
diff --git a/‎dev-clean/benchmarks/llvm/heapFunptr.c renamed to ‎benchmarks/llvm/heapFunptr.c b/‎dev-clean/benchmarks/llvm/heapFunptr.c renamed to ‎benchmarks/llvm/heapFunptr.c
diff --git a/‎dev-clean/benchmarks/llvm/i1_bool.c renamed to ‎benchmarks/llvm/i1_bool.c b/‎dev-clean/benchmarks/llvm/i1_bool.c renamed to ‎benchmarks/llvm/i1_bool.c
diff --git a/‎dev-clean/benchmarks/llvm/largeStackArray.c renamed to ‎benchmarks/llvm/largeStackArray.c b/‎dev-clean/benchmarks/llvm/largeStackArray.c renamed to ‎benchmarks/llvm/largeStackArray.c
diff --git a/‎dev-clean/benchmarks/llvm/loopTest.c renamed to ‎benchmarks/llvm/loopTest.c b/‎dev-clean/benchmarks/llvm/loopTest.c renamed to ‎benchmarks/llvm/loopTest.c
diff --git a/‎dev-clean/benchmarks/llvm/makeSymbolic.c renamed to ‎benchmarks/llvm/makeSymbolic.c b/‎dev-clean/benchmarks/llvm/makeSymbolic.c renamed to ‎benchmarks/llvm/makeSymbolic.c
diff --git a/‎dev-clean/benchmarks/llvm/makeSymbolicArray.c renamed to ‎benchmarks/llvm/makeSymbolicArray.c b/‎dev-clean/benchmarks/llvm/makeSymbolicArray.c renamed to ‎benchmarks/llvm/makeSymbolicArray.c
diff --git a/‎dev-clean/benchmarks/llvm/makeSymbolicStruct.c renamed to ‎benchmarks/llvm/makeSymbolicStruct.c b/‎dev-clean/benchmarks/llvm/makeSymbolicStruct.c renamed to ‎benchmarks/llvm/makeSymbolicStruct.c
diff --git a/‎dev-clean/benchmarks/llvm/maze.c renamed to ‎benchmarks/llvm/maze.c b/‎dev-clean/benchmarks/llvm/maze.c renamed to ‎benchmarks/llvm/maze.c
diff --git a/‎dev-clean/benchmarks/llvm/memchallenge.c renamed to ‎benchmarks/llvm/memchallenge.c b/‎dev-clean/benchmarks/llvm/memchallenge.c renamed to ‎benchmarks/llvm/memchallenge.c
diff --git a/‎dev-clean/benchmarks/llvm/nastystruct.c renamed to ‎benchmarks/llvm/nastystruct.c b/‎dev-clean/benchmarks/llvm/nastystruct.c renamed to ‎benchmarks/llvm/nastystruct.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/Makefile renamed to ‎benchmarks/llvm/new_multipath/Makefile b/‎dev-clean/benchmarks/llvm/new_multipath/Makefile renamed to ‎benchmarks/llvm/new_multipath/Makefile
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1024_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1024_klee.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1024_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1024_klee.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1024_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1024_sym.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1024_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1024_sym.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1048576_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1048576_klee.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1048576_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1048576_klee.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1048576_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1048576_sym.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_1048576_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_1048576_sym.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_klee.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_klee.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_klee.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_klee_single.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_klee_single.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_klee_single.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_klee_single.c
diff --git a/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_sym.c b/‎dev-clean/benchmarks/llvm/new_multipath/multi_path_65536_sym.c renamed to ‎benchmarks/llvm/new_multipath/multi_path_65536_sym.c
diff --git a/‎dev-clean/benchmarks/llvm/pointer_sym_off.c renamed to ‎benchmarks/llvm/pointer_sym_off.c b/‎dev-clean/benchmarks/llvm/pointer_sym_off.c renamed to ‎benchmarks/llvm/pointer_sym_off.c
diff --git a/‎dev-clean/benchmarks/llvm/power.c renamed to ‎benchmarks/llvm/power.c b/‎dev-clean/benchmarks/llvm/power.c renamed to ‎benchmarks/llvm/power.c
diff --git a/‎dev-clean/benchmarks/llvm/ptrpred.c renamed to ‎benchmarks/llvm/ptrpred.c b/‎dev-clean/benchmarks/llvm/ptrpred.c renamed to ‎benchmarks/llvm/ptrpred.c
diff --git a/‎dev-clean/benchmarks/llvm/ptrtoint.c renamed to ‎benchmarks/llvm/ptrtoint.c b/‎dev-clean/benchmarks/llvm/ptrtoint.c renamed to ‎benchmarks/llvm/ptrtoint.c
diff --git a/‎dev-clean/benchmarks/llvm/runCommandLine.c renamed to ‎benchmarks/llvm/runCommandLine.c b/‎dev-clean/benchmarks/llvm/runCommandLine.c renamed to ‎benchmarks/llvm/runCommandLine.c
diff --git a/‎dev-clean/benchmarks/llvm/select.c renamed to ‎benchmarks/llvm/select.c b/‎dev-clean/benchmarks/llvm/select.c renamed to ‎benchmarks/llvm/select.c
diff --git a/‎dev-clean/benchmarks/llvm/single_path.c renamed to ‎benchmarks/llvm/single_path.c b/‎dev-clean/benchmarks/llvm/single_path.c renamed to ‎benchmarks/llvm/single_path.c
diff --git a/‎dev-clean/benchmarks/llvm/single_path2.c renamed to ‎benchmarks/llvm/single_path2.c b/‎dev-clean/benchmarks/llvm/single_path2.c renamed to ‎benchmarks/llvm/single_path2.c
diff --git a/‎dev-clean/benchmarks/llvm/single_path3.c renamed to ‎benchmarks/llvm/single_path3.c b/‎dev-clean/benchmarks/llvm/single_path3.c renamed to ‎benchmarks/llvm/single_path3.c
diff --git a/‎dev-clean/benchmarks/llvm/single_path4.c renamed to ‎benchmarks/llvm/single_path4.c b/‎dev-clean/benchmarks/llvm/single_path4.c renamed to ‎benchmarks/llvm/single_path4.c
diff --git a/‎dev-clean/benchmarks/llvm/single_path5.c renamed to ‎benchmarks/llvm/single_path5.c b/‎dev-clean/benchmarks/llvm/single_path5.c renamed to ‎benchmarks/llvm/single_path5.c
diff --git a/‎dev-clean/benchmarks/llvm/struct.c renamed to ‎benchmarks/llvm/struct.c b/‎dev-clean/benchmarks/llvm/struct.c renamed to ‎benchmarks/llvm/struct.c
diff --git a/‎dev-clean/benchmarks/llvm/structAccess.c renamed to ‎benchmarks/llvm/structAccess.c b/‎dev-clean/benchmarks/llvm/structAccess.c renamed to ‎benchmarks/llvm/structAccess.c
diff --git a/‎dev-clean/benchmarks/llvm/structReturn.c renamed to ‎benchmarks/llvm/structReturn.c b/‎dev-clean/benchmarks/llvm/structReturn.c renamed to ‎benchmarks/llvm/structReturn.c
diff --git a/‎dev-clean/benchmarks/llvm/structReturnLong.c renamed to ‎benchmarks/llvm/structReturnLong.c b/‎dev-clean/benchmarks/llvm/structReturnLong.c renamed to ‎benchmarks/llvm/structReturnLong.c
diff --git a/‎dev-clean/benchmarks/llvm/switchTestConc.c renamed to ‎benchmarks/llvm/switchTestConc.c b/‎dev-clean/benchmarks/llvm/switchTestConc.c renamed to ‎benchmarks/llvm/switchTestConc.c
diff --git a/‎dev-clean/benchmarks/llvm/switchTestSym.c renamed to ‎benchmarks/llvm/switchTestSym.c b/‎dev-clean/benchmarks/llvm/switchTestSym.c renamed to ‎benchmarks/llvm/switchTestSym.c
diff --git a/‎dev-clean/benchmarks/llvm/trunc.c renamed to ‎benchmarks/llvm/trunc.c b/‎dev-clean/benchmarks/llvm/trunc.c renamed to ‎benchmarks/llvm/trunc.c
diff --git a/‎dev-clean/benchmarks/llvm/unboundedLoop.c renamed to ‎benchmarks/llvm/unboundedLoop.c b/‎dev-clean/benchmarks/llvm/unboundedLoop.c renamed to ‎benchmarks/llvm/unboundedLoop.c
diff --git a/‎dev-clean/benchmarks/llvm/unprintable_char.c renamed to ‎benchmarks/llvm/unprintable_char.c b/‎dev-clean/benchmarks/llvm/unprintable_char.c renamed to ‎benchmarks/llvm/unprintable_char.c
diff --git a/‎dev-clean/benchmarks/llvm/varArgChar.c renamed to ‎benchmarks/llvm/varArgChar.c b/‎dev-clean/benchmarks/llvm/varArgChar.c renamed to ‎benchmarks/llvm/varArgChar.c
diff --git a/‎dev-clean/benchmarks/llvm/varArgCopyInt.c renamed to ‎benchmarks/llvm/varArgCopyInt.c b/‎dev-clean/benchmarks/llvm/varArgCopyInt.c renamed to ‎benchmarks/llvm/varArgCopyInt.c
diff --git a/‎dev-clean/benchmarks/llvm/varArgInt.c renamed to ‎benchmarks/llvm/varArgInt.c b/‎dev-clean/benchmarks/llvm/varArgInt.c renamed to ‎benchmarks/llvm/varArgInt.c
diff --git a/‎dev-clean/benchmarks/oopsla20/Makefile renamed to ‎benchmarks/oopsla20/Makefile b/‎dev-clean/benchmarks/oopsla20/Makefile renamed to ‎benchmarks/oopsla20/Makefile
diff --git a/‎dev-clean/benchmarks/oopsla20/maze_test.c renamed to ‎benchmarks/oopsla20/maze_test.c b/‎dev-clean/benchmarks/oopsla20/maze_test.c renamed to ‎benchmarks/oopsla20/maze_test.c
diff --git a/‎dev-clean/benchmarks/oopsla20/maze_test_klee.c renamed to ‎benchmarks/oopsla20/maze_test_klee.c b/‎dev-clean/benchmarks/oopsla20/maze_test_klee.c renamed to ‎benchmarks/oopsla20/maze_test_klee.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_1024_klee.c renamed to ‎benchmarks/oopsla20/multipath_1024_klee.c b/‎dev-clean/benchmarks/oopsla20/multipath_1024_klee.c renamed to ‎benchmarks/oopsla20/multipath_1024_klee.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_1024_sym.c renamed to ‎benchmarks/oopsla20/multipath_1024_sym.c b/‎dev-clean/benchmarks/oopsla20/multipath_1024_sym.c renamed to ‎benchmarks/oopsla20/multipath_1024_sym.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_1048576_klee.c renamed to ‎benchmarks/oopsla20/multipath_1048576_klee.c b/‎dev-clean/benchmarks/oopsla20/multipath_1048576_klee.c renamed to ‎benchmarks/oopsla20/multipath_1048576_klee.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_1048576_sym.c renamed to ‎benchmarks/oopsla20/multipath_1048576_sym.c b/‎dev-clean/benchmarks/oopsla20/multipath_1048576_sym.c renamed to ‎benchmarks/oopsla20/multipath_1048576_sym.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_65536_klee.c renamed to ‎benchmarks/oopsla20/multipath_65536_klee.c b/‎dev-clean/benchmarks/oopsla20/multipath_65536_klee.c renamed to ‎benchmarks/oopsla20/multipath_65536_klee.c
diff --git a/‎dev-clean/benchmarks/oopsla20/multipath_65536_sym.c renamed to ‎benchmarks/oopsla20/multipath_65536_sym.c b/‎dev-clean/benchmarks/oopsla20/multipath_65536_sym.c renamed to ‎benchmarks/oopsla20/multipath_65536_sym.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/Makefile renamed to ‎benchmarks/opt-experiments/Makefile b/‎dev-clean/benchmarks/opt-experiments/Makefile renamed to ‎benchmarks/opt-experiments/Makefile
diff --git a/‎dev-clean/benchmarks/opt-experiments/bubblesort.c renamed to ‎benchmarks/opt-experiments/bubblesort.c b/‎dev-clean/benchmarks/opt-experiments/bubblesort.c renamed to ‎benchmarks/opt-experiments/bubblesort.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/kmpmatcher.c renamed to ‎benchmarks/opt-experiments/kmpmatcher.c b/‎dev-clean/benchmarks/opt-experiments/kmpmatcher.c renamed to ‎benchmarks/opt-experiments/kmpmatcher.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/knapsack.c renamed to ‎benchmarks/opt-experiments/knapsack.c b/‎dev-clean/benchmarks/opt-experiments/knapsack.c renamed to ‎benchmarks/opt-experiments/knapsack.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/mergesort.c renamed to ‎benchmarks/opt-experiments/mergesort.c b/‎dev-clean/benchmarks/opt-experiments/mergesort.c renamed to ‎benchmarks/opt-experiments/mergesort.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/nqueen.c renamed to ‎benchmarks/opt-experiments/nqueen.c b/‎dev-clean/benchmarks/opt-experiments/nqueen.c renamed to ‎benchmarks/opt-experiments/nqueen.c
diff --git a/‎dev-clean/benchmarks/opt-experiments/quicksort.c renamed to ‎benchmarks/opt-experiments/quicksort.c b/‎dev-clean/benchmarks/opt-experiments/quicksort.c renamed to ‎benchmarks/opt-experiments/quicksort.c
diff --git a/‎dev-clean/benchmarks/pepm22/ccbse/Makefile renamed to ‎benchmarks/pepm22/ccbse/Makefile b/‎dev-clean/benchmarks/pepm22/ccbse/Makefile renamed to ‎benchmarks/pepm22/ccbse/Makefile
diff --git a/‎dev-clean/benchmarks/pepm22/ccbse/p1_ccbse.c renamed to ‎benchmarks/pepm22/ccbse/p1_ccbse.c b/‎dev-clean/benchmarks/pepm22/ccbse/p1_ccbse.c renamed to ‎benchmarks/pepm22/ccbse/p1_ccbse.c
diff --git a/‎dev-clean/benchmarks/pepm22/ccbse/p2_nested_loop.c renamed to ‎benchmarks/pepm22/ccbse/p2_nested_loop.c b/‎dev-clean/benchmarks/pepm22/ccbse/p2_nested_loop.c renamed to ‎benchmarks/pepm22/ccbse/p2_nested_loop.c
diff --git a/‎dev-clean/benchmarks/pepm22/ccbse/p3_narrowbridge.c renamed to ‎benchmarks/pepm22/ccbse/p3_narrowbridge.c b/‎dev-clean/benchmarks/pepm22/ccbse/p3_narrowbridge.c renamed to ‎benchmarks/pepm22/ccbse/p3_narrowbridge.c
diff --git a/‎dev-clean/benchmarks/pepm22/ccbse/p4_complexloop.c renamed to ‎benchmarks/pepm22/ccbse/p4_complexloop.c b/‎dev-clean/benchmarks/pepm22/ccbse/p4_complexloop.c renamed to ‎benchmarks/pepm22/ccbse/p4_complexloop.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/conc/Makefile renamed to ‎benchmarks/pepm22/concolic/conc/Makefile b/‎dev-clean/benchmarks/pepm22/concolic/conc/Makefile renamed to ‎benchmarks/pepm22/concolic/conc/Makefile
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/conc/bin_search.c renamed to ‎benchmarks/pepm22/concolic/conc/bin_search.c b/‎dev-clean/benchmarks/pepm22/concolic/conc/bin_search.c renamed to ‎benchmarks/pepm22/concolic/conc/bin_search.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/conc/bubblesort.c renamed to ‎benchmarks/pepm22/concolic/conc/bubblesort.c b/‎dev-clean/benchmarks/pepm22/concolic/conc/bubblesort.c renamed to ‎benchmarks/pepm22/concolic/conc/bubblesort.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/conc/knapsack.c renamed to ‎benchmarks/pepm22/concolic/conc/knapsack.c b/‎dev-clean/benchmarks/pepm22/concolic/conc/knapsack.c renamed to ‎benchmarks/pepm22/concolic/conc/knapsack.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/conc/quicksort.c renamed to ‎benchmarks/pepm22/concolic/conc/quicksort.c b/‎dev-clean/benchmarks/pepm22/concolic/conc/quicksort.c renamed to ‎benchmarks/pepm22/concolic/conc/quicksort.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/bin_search.c renamed to ‎benchmarks/pepm22/concolic/symcc/bin_search.c b/‎dev-clean/benchmarks/pepm22/concolic/symcc/bin_search.c renamed to ‎benchmarks/pepm22/concolic/symcc/bin_search.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/bubblesort.c renamed to ‎benchmarks/pepm22/concolic/symcc/bubblesort.c b/‎dev-clean/benchmarks/pepm22/concolic/symcc/bubblesort.c renamed to ‎benchmarks/pepm22/concolic/symcc/bubblesort.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/knapsack.c renamed to ‎benchmarks/pepm22/concolic/symcc/knapsack.c b/‎dev-clean/benchmarks/pepm22/concolic/symcc/knapsack.c renamed to ‎benchmarks/pepm22/concolic/symcc/knapsack.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/quicksort.c renamed to ‎benchmarks/pepm22/concolic/symcc/quicksort.c b/‎dev-clean/benchmarks/pepm22/concolic/symcc/quicksort.c renamed to ‎benchmarks/pepm22/concolic/symcc/quicksort.c
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/bin_search.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/bin_search.in b/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/bin_search.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/bin_search.in
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/bubblesort.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/bubblesort.in b/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/bubblesort.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/bubblesort.in
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/knapsack.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/knapsack.in b/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/knapsack.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/knapsack.in
diff --git a/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/quicksort.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/quicksort.in b/‎dev-clean/benchmarks/pepm22/concolic/symcc/seeds/quicksort.in renamed to ‎benchmarks/pepm22/concolic/symcc/seeds/quicksort.in
diff --git a/‎dev-clean/benchmarks/perf-mon/.gitignore renamed to ‎benchmarks/perf-mon/.gitignore b/‎dev-clean/benchmarks/perf-mon/.gitignore renamed to ‎benchmarks/perf-mon/.gitignore
diff --git a/‎dev-clean/benchmarks/perf-mon/Makefile renamed to ‎benchmarks/perf-mon/Makefile b/‎dev-clean/benchmarks/perf-mon/Makefile renamed to ‎benchmarks/perf-mon/Makefile
diff --git a/‎dev-clean/benchmarks/perf-mon/app.py renamed to ‎benchmarks/perf-mon/app.py b/‎dev-clean/benchmarks/perf-mon/app.py renamed to ‎benchmarks/perf-mon/app.py
diff --git a/‎dev-clean/benchmarks/perf-mon/bench.sh renamed to ‎benchmarks/perf-mon/bench.sh b/‎dev-clean/benchmarks/perf-mon/bench.sh renamed to ‎benchmarks/perf-mon/bench.sh
diff --git a/‎dev-clean/benchmarks/perf-mon/bubblesort.c renamed to ‎benchmarks/perf-mon/bubblesort.c b/‎dev-clean/benchmarks/perf-mon/bubblesort.c renamed to ‎benchmarks/perf-mon/bubblesort.c
diff --git a/‎dev-clean/benchmarks/perf-mon/kmpmatcher.c renamed to ‎benchmarks/perf-mon/kmpmatcher.c b/‎dev-clean/benchmarks/perf-mon/kmpmatcher.c renamed to ‎benchmarks/perf-mon/kmpmatcher.c
diff --git a/‎dev-clean/benchmarks/perf-mon/knapsack.c renamed to ‎benchmarks/perf-mon/knapsack.c b/‎dev-clean/benchmarks/perf-mon/knapsack.c renamed to ‎benchmarks/perf-mon/knapsack.c
diff --git a/‎dev-clean/benchmarks/perf-mon/lib.py renamed to ‎benchmarks/perf-mon/lib.py b/‎dev-clean/benchmarks/perf-mon/lib.py renamed to ‎benchmarks/perf-mon/lib.py
diff --git a/‎dev-clean/benchmarks/perf-mon/mergesort.c renamed to ‎benchmarks/perf-mon/mergesort.c b/‎dev-clean/benchmarks/perf-mon/mergesort.c renamed to ‎benchmarks/perf-mon/mergesort.c
diff --git a/‎dev-clean/benchmarks/perf-mon/multipath_1048576_sym.c renamed to ‎benchmarks/perf-mon/multipath_1048576_sym.c b/‎dev-clean/benchmarks/perf-mon/multipath_1048576_sym.c renamed to ‎benchmarks/perf-mon/multipath_1048576_sym.c
diff --git a/‎dev-clean/benchmarks/perf-mon/nqueen.c renamed to ‎benchmarks/perf-mon/nqueen.c b/‎dev-clean/benchmarks/perf-mon/nqueen.c renamed to ‎benchmarks/perf-mon/nqueen.c
diff --git a/‎dev-clean/benchmarks/perf-mon/quicksort.c renamed to ‎benchmarks/perf-mon/quicksort.c b/‎dev-clean/benchmarks/perf-mon/quicksort.c renamed to ‎benchmarks/perf-mon/quicksort.c
diff --git a/‎dev-clean/benchmarks/scm/blur.scm renamed to ‎benchmarks/scm/blur.scm b/‎dev-clean/benchmarks/scm/blur.scm renamed to ‎benchmarks/scm/blur.scm
diff --git a/‎dev-clean/benchmarks/scm/church.sch renamed to ‎benchmarks/scm/church.sch b/‎dev-clean/benchmarks/scm/church.sch renamed to ‎benchmarks/scm/church.sch
diff --git a/‎dev-clean/benchmarks/scm/church_backup.sch renamed to ‎benchmarks/scm/church_backup.sch b/‎dev-clean/benchmarks/scm/church_backup.sch renamed to ‎benchmarks/scm/church_backup.sch
diff --git a/‎dev-clean/benchmarks/scm/church_exp.sch renamed to ‎benchmarks/scm/church_exp.sch b/‎dev-clean/benchmarks/scm/church_exp.sch renamed to ‎benchmarks/scm/church_exp.sch
diff --git a/‎dev-clean/benchmarks/scm/church_simple.sch renamed to ‎benchmarks/scm/church_simple.sch b/‎dev-clean/benchmarks/scm/church_simple.sch renamed to ‎benchmarks/scm/church_simple.sch
diff --git a/‎dev-clean/benchmarks/scm/earley.sch renamed to ‎benchmarks/scm/earley.sch b/‎dev-clean/benchmarks/scm/earley.sch renamed to ‎benchmarks/scm/earley.sch
diff --git a/‎dev-clean/benchmarks/scm/fermat.scm renamed to ‎benchmarks/scm/fermat.scm b/‎dev-clean/benchmarks/scm/fermat.scm renamed to ‎benchmarks/scm/fermat.scm
diff --git a/‎dev-clean/benchmarks/scm/kcfa-worst-case-16.scm renamed to ‎benchmarks/scm/kcfa-worst-case-16.scm b/‎dev-clean/benchmarks/scm/kcfa-worst-case-16.scm renamed to ‎benchmarks/scm/kcfa-worst-case-16.scm
diff --git a/‎dev-clean/benchmarks/scm/kcfa-worst-case-256.scm renamed to ‎benchmarks/scm/kcfa-worst-case-256.scm b/‎dev-clean/benchmarks/scm/kcfa-worst-case-256.scm renamed to ‎benchmarks/scm/kcfa-worst-case-256.scm
diff --git a/‎dev-clean/benchmarks/scm/kcfa-worst-case-32.scm renamed to ‎benchmarks/scm/kcfa-worst-case-32.scm b/‎dev-clean/benchmarks/scm/kcfa-worst-case-32.scm renamed to ‎benchmarks/scm/kcfa-worst-case-32.scm
diff --git a/‎dev-clean/benchmarks/scm/kcfa-worst-case-64.scm renamed to ‎benchmarks/scm/kcfa-worst-case-64.scm b/‎dev-clean/benchmarks/scm/kcfa-worst-case-64.scm renamed to ‎benchmarks/scm/kcfa-worst-case-64.scm
diff --git a/‎dev-clean/benchmarks/scm/kcfa3.scm renamed to ‎benchmarks/scm/kcfa3.scm b/‎dev-clean/benchmarks/scm/kcfa3.scm renamed to ‎benchmarks/scm/kcfa3.scm
diff --git a/‎dev-clean/benchmarks/scm/mbrotZ.sch renamed to ‎benchmarks/scm/mbrotZ.sch b/‎dev-clean/benchmarks/scm/mbrotZ.sch renamed to ‎benchmarks/scm/mbrotZ.sch
diff --git a/‎dev-clean/benchmarks/scm/meta-circ.scm renamed to ‎benchmarks/scm/meta-circ.scm b/‎dev-clean/benchmarks/scm/meta-circ.scm renamed to ‎benchmarks/scm/meta-circ.scm
diff --git a/‎dev-clean/benchmarks/scm/omega.scm renamed to ‎benchmarks/scm/omega.scm b/‎dev-clean/benchmarks/scm/omega.scm renamed to ‎benchmarks/scm/omega.scm
diff --git a/‎dev-clean/benchmarks/scm/regex-derivative.scm renamed to ‎benchmarks/scm/regex-derivative.scm b/‎dev-clean/benchmarks/scm/regex-derivative.scm renamed to ‎benchmarks/scm/regex-derivative.scm
diff --git a/‎dev-clean/benchmarks/scm/rsa.scm renamed to ‎benchmarks/scm/rsa.scm b/‎dev-clean/benchmarks/scm/rsa.scm renamed to ‎benchmarks/scm/rsa.scm
diff --git a/‎dev-clean/benchmarks/scm/sat.scm renamed to ‎benchmarks/scm/sat.scm b/‎dev-clean/benchmarks/scm/sat.scm renamed to ‎benchmarks/scm/sat.scm
diff --git a/‎dev-clean/benchmarks/scm/scheme2java.scm renamed to ‎benchmarks/scm/scheme2java.scm b/‎dev-clean/benchmarks/scm/scheme2java.scm renamed to ‎benchmarks/scm/scheme2java.scm
diff --git a/‎dev-clean/benchmarks/scm/solovay-strassen.scm renamed to ‎benchmarks/scm/solovay-strassen.scm b/‎dev-clean/benchmarks/scm/solovay-strassen.scm renamed to ‎benchmarks/scm/solovay-strassen.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/README.md renamed to ‎benchmarks/scm/the-little-schemer/README.md b/‎dev-clean/benchmarks/scm/the-little-schemer/README.md renamed to ‎benchmarks/scm/the-little-schemer/README.md
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch1.scm renamed to ‎benchmarks/scm/the-little-schemer/ch1.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch1.scm renamed to ‎benchmarks/scm/the-little-schemer/ch1.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch10.scm renamed to ‎benchmarks/scm/the-little-schemer/ch10.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch10.scm renamed to ‎benchmarks/scm/the-little-schemer/ch10.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch2.scm renamed to ‎benchmarks/scm/the-little-schemer/ch2.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch2.scm renamed to ‎benchmarks/scm/the-little-schemer/ch2.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch3.scm renamed to ‎benchmarks/scm/the-little-schemer/ch3.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch3.scm renamed to ‎benchmarks/scm/the-little-schemer/ch3.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch4.scm renamed to ‎benchmarks/scm/the-little-schemer/ch4.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch4.scm renamed to ‎benchmarks/scm/the-little-schemer/ch4.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch5.scm renamed to ‎benchmarks/scm/the-little-schemer/ch5.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch5.scm renamed to ‎benchmarks/scm/the-little-schemer/ch5.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch6.scm renamed to ‎benchmarks/scm/the-little-schemer/ch6.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch6.scm renamed to ‎benchmarks/scm/the-little-schemer/ch6.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch7.scm renamed to ‎benchmarks/scm/the-little-schemer/ch7.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch7.scm renamed to ‎benchmarks/scm/the-little-schemer/ch7.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch8.scm renamed to ‎benchmarks/scm/the-little-schemer/ch8.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch8.scm renamed to ‎benchmarks/scm/the-little-schemer/ch8.scm
diff --git a/‎dev-clean/benchmarks/scm/the-little-schemer/ch9.scm renamed to ‎benchmarks/scm/the-little-schemer/ch9.scm b/‎dev-clean/benchmarks/scm/the-little-schemer/ch9.scm renamed to ‎benchmarks/scm/the-little-schemer/ch9.scm
diff --git a/‎dev-clean/benchmarks/scm/toplas98/README.md renamed to ‎benchmarks/scm/toplas98/README.md b/‎dev-clean/benchmarks/scm/toplas98/README.md renamed to ‎benchmarks/scm/toplas98/README.md
diff --git a/‎dev-clean/benchmarks/scm/toplas98/boyer.sch renamed to ‎benchmarks/scm/toplas98/boyer.sch b/‎dev-clean/benchmarks/scm/toplas98/boyer.sch renamed to ‎benchmarks/scm/toplas98/boyer.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/dynamic.sch renamed to ‎benchmarks/scm/toplas98/dynamic.sch b/‎dev-clean/benchmarks/scm/toplas98/dynamic.sch renamed to ‎benchmarks/scm/toplas98/dynamic.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/graphs.sch renamed to ‎benchmarks/scm/toplas98/graphs.sch b/‎dev-clean/benchmarks/scm/toplas98/graphs.sch renamed to ‎benchmarks/scm/toplas98/graphs.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/handle.scm renamed to ‎benchmarks/scm/toplas98/handle.scm b/‎dev-clean/benchmarks/scm/toplas98/handle.scm renamed to ‎benchmarks/scm/toplas98/handle.scm
diff --git a/‎dev-clean/benchmarks/scm/toplas98/lattice-processed.scm renamed to ‎benchmarks/scm/toplas98/lattice-processed.scm b/‎dev-clean/benchmarks/scm/toplas98/lattice-processed.scm renamed to ‎benchmarks/scm/toplas98/lattice-processed.scm
diff --git a/‎dev-clean/benchmarks/scm/toplas98/lattice.scm renamed to ‎benchmarks/scm/toplas98/lattice.scm b/‎dev-clean/benchmarks/scm/toplas98/lattice.scm renamed to ‎benchmarks/scm/toplas98/lattice.scm
diff --git a/‎dev-clean/benchmarks/scm/toplas98/matrix.scm renamed to ‎benchmarks/scm/toplas98/matrix.scm b/‎dev-clean/benchmarks/scm/toplas98/matrix.scm renamed to ‎benchmarks/scm/toplas98/matrix.scm
diff --git a/‎dev-clean/benchmarks/scm/toplas98/maze.sch renamed to ‎benchmarks/scm/toplas98/maze.sch b/‎dev-clean/benchmarks/scm/toplas98/maze.sch renamed to ‎benchmarks/scm/toplas98/maze.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/nbody-processed.sch renamed to ‎benchmarks/scm/toplas98/nbody-processed.sch b/‎dev-clean/benchmarks/scm/toplas98/nbody-processed.sch renamed to ‎benchmarks/scm/toplas98/nbody-processed.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/nbody.sch renamed to ‎benchmarks/scm/toplas98/nbody.sch b/‎dev-clean/benchmarks/scm/toplas98/nbody.sch renamed to ‎benchmarks/scm/toplas98/nbody.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/nucleic.sch renamed to ‎benchmarks/scm/toplas98/nucleic.sch b/‎dev-clean/benchmarks/scm/toplas98/nucleic.sch renamed to ‎benchmarks/scm/toplas98/nucleic.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/nucleic2.sch renamed to ‎benchmarks/scm/toplas98/nucleic2.sch b/‎dev-clean/benchmarks/scm/toplas98/nucleic2.sch renamed to ‎benchmarks/scm/toplas98/nucleic2.sch
diff --git a/‎dev-clean/benchmarks/scm/toplas98/splay.scm renamed to ‎benchmarks/scm/toplas98/splay.scm b/‎dev-clean/benchmarks/scm/toplas98/splay.scm renamed to ‎benchmarks/scm/toplas98/splay.scm
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/Makefile renamed to ‎benchmarks/test-comp/array-examples/Makefile b/‎dev-clean/benchmarks/test-comp/array-examples/Makefile renamed to ‎benchmarks/test-comp/array-examples/Makefile
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/data_structures_set_multi_proc_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/data_structures_set_multi_proc_ground-1.c b/‎dev-clean/benchmarks/test-comp/array-examples/data_structures_set_multi_proc_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/data_structures_set_multi_proc_ground-1.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/sorting_bubblesort_2_ground.c renamed to ‎benchmarks/test-comp/array-examples/sorting_bubblesort_2_ground.c b/‎dev-clean/benchmarks/test-comp/array-examples/sorting_bubblesort_2_ground.c renamed to ‎benchmarks/test-comp/array-examples/sorting_bubblesort_2_ground.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/sorting_bubblesort_ground-2.c renamed to ‎benchmarks/test-comp/array-examples/sorting_bubblesort_ground-2.c b/‎dev-clean/benchmarks/test-comp/array-examples/sorting_bubblesort_ground-2.c renamed to ‎benchmarks/test-comp/array-examples/sorting_bubblesort_ground-2.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/sorting_selectionsort_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/sorting_selectionsort_ground-1.c b/‎dev-clean/benchmarks/test-comp/array-examples/sorting_selectionsort_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/sorting_selectionsort_ground-1.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/standard_allDiff2_ground.c renamed to ‎benchmarks/test-comp/array-examples/standard_allDiff2_ground.c b/‎dev-clean/benchmarks/test-comp/array-examples/standard_allDiff2_ground.c renamed to ‎benchmarks/test-comp/array-examples/standard_allDiff2_ground.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/standard_copy9_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/standard_copy9_ground-1.c b/‎dev-clean/benchmarks/test-comp/array-examples/standard_copy9_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/standard_copy9_ground-1.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-examples/standard_minInArray_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/standard_minInArray_ground-1.c b/‎dev-clean/benchmarks/test-comp/array-examples/standard_minInArray_ground-1.c renamed to ‎benchmarks/test-comp/array-examples/standard_minInArray_ground-1.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-programs/Makefile renamed to ‎benchmarks/test-comp/array-programs/Makefile b/‎dev-clean/benchmarks/test-comp/array-programs/Makefile renamed to ‎benchmarks/test-comp/array-programs/Makefile
diff --git a/‎dev-clean/benchmarks/test-comp/array-programs/copysome1-2.c renamed to ‎benchmarks/test-comp/array-programs/copysome1-2.c b/‎dev-clean/benchmarks/test-comp/array-programs/copysome1-2.c renamed to ‎benchmarks/test-comp/array-programs/copysome1-2.c
diff --git a/‎dev-clean/benchmarks/test-comp/array-programs/copysome2-2.c renamed to ‎benchmarks/test-comp/array-programs/copysome2-2.c b/‎dev-clean/benchmarks/test-comp/array-programs/copysome2-2.c renamed to ‎benchmarks/test-comp/array-programs/copysome2-2.c
diff --git a/‎dev-clean/build.sbt renamed to ‎build.sbt
+1-1 b/‎dev-clean/build.sbt renamed to ‎build.sbt
+1-1
diff --git a/‎dev-clean/.gitignore
-14 b/‎dev-clean/.gitignore
-14
diff --git a/‎dev-obsolete/build.sbt
-34 b/‎dev-obsolete/build.sbt
-34
diff --git a/‎dev-obsolete/project/Dependencies.scala
-5 b/‎dev-obsolete/project/Dependencies.scala
-5
diff --git a/‎dev-obsolete/project/build.properties
-1 b/‎dev-obsolete/project/build.properties
-1
diff --git a/‎dev-obsolete/src/main/scala/sai/comonads/Comonads.scala
-180 b/‎dev-obsolete/src/main/scala/sai/comonads/Comonads.scala
-180
@@ -8,8 +8,18 @@
 .idea
 .metals
 .vscode
-.bloop
 .bsp
 target
 klee-out-*
 llsc_gen
+output
+benchmarks/**/*.ll
+.bloop
+project/project
+project/metals.sbt
+project/.bloop/dev-clean-build.json
+project/.bloop/bloop.settings.json
+.vscode/settings.json
+conc_gen/*
+ccbse_gen/*
+headers/llsc/external.hpp
@@ -1,7 +1,7 @@
 [submodule "lms-clean"]
-  path = lms-clean
+  path = third-party/lms-clean
   url = https://github.com/TiarkRompf/lms-clean.git
-  branch = reflectEffect-mod
+  branch = master
   ignore = dirty
 
 [submodule "immer"]
 
@@ -43,7 +43,7 @@ lazy val Bench = config("bench").extend(Test)
 parallelExecution in Test := false
 parallelExecution in Bench := false
 
-lazy val lms = ProjectRef(file("../lms-clean"), "lms-clean")
+lazy val lms = ProjectRef(file("./third-party/lms-clean"), "lms-clean")
   // .settings(fork := true)
 
 lazy val sai = (project in file(".")).dependsOn(lms % "test->test; compile->compile")