forgot to ignore some files

ldct · Nov 3, 2010 · 0f8cc57 · 0f8cc57
1 parent a413e8c
commit 0f8cc57
Show file tree

Hide file tree

Showing 187 changed files with 2 additions and 2,769 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,12 +3,12 @@
 *.exp
 *.config
 Release/
-Release+Asserts/
+
 config.status
 include/klee/Config/config.h
 lib/*/Release/
 runtime/*/Release/
-runtime/*/Release+Asserts/
+
 stp/*/Release/
 test/*/Output/
 test/*/*/Output/

diff --git a/Release+Asserts/lib/.dir b/Release+Asserts/lib/.dir
diff --git a/Release+Asserts/lib/libklee-libc.a b/Release+Asserts/lib/libklee-libc.a
diff --git a/Release+Asserts/lib/libklee-libc.bca b/Release+Asserts/lib/libklee-libc.bca
diff --git a/Release+Asserts/lib/libkleeRuntimeIntrinsic.a b/Release+Asserts/lib/libkleeRuntimeIntrinsic.a
diff --git a/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca b/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca
diff --git a/runtime/Intrinsic/Release+Asserts/.dir b/runtime/Intrinsic/Release+Asserts/.dir
diff --git a/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc b/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc
diff --git a/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc.d b/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.d b/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll b/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll
diff --git a/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.o b/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.o
diff --git a/runtime/Intrinsic/Release+Asserts/klee_int.bc b/runtime/Intrinsic/Release+Asserts/klee_int.bc
diff --git a/runtime/Intrinsic/Release+Asserts/klee_int.bc.d b/runtime/Intrinsic/Release+Asserts/klee_int.bc.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_int.d b/runtime/Intrinsic/Release+Asserts/klee_int.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_int.ll b/runtime/Intrinsic/Release+Asserts/klee_int.ll
diff --git a/runtime/Intrinsic/Release+Asserts/klee_int.o b/runtime/Intrinsic/Release+Asserts/klee_int.o
diff --git a/runtime/Intrinsic/Release+Asserts/klee_range.bc b/runtime/Intrinsic/Release+Asserts/klee_range.bc
diff --git a/runtime/Intrinsic/Release+Asserts/klee_range.bc.d b/runtime/Intrinsic/Release+Asserts/klee_range.bc.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_range.d b/runtime/Intrinsic/Release+Asserts/klee_range.d
diff --git a/runtime/Intrinsic/Release+Asserts/klee_range.ll b/runtime/Intrinsic/Release+Asserts/klee_range.ll
diff --git a/runtime/Intrinsic/Release+Asserts/klee_range.o b/runtime/Intrinsic/Release+Asserts/klee_range.o
diff --git a/runtime/Intrinsic/Release+Asserts/memcpy.bc b/runtime/Intrinsic/Release+Asserts/memcpy.bc
diff --git a/runtime/Intrinsic/Release+Asserts/memcpy.bc.d b/runtime/Intrinsic/Release+Asserts/memcpy.bc.d
diff --git a/runtime/Intrinsic/Release+Asserts/memcpy.d b/runtime/Intrinsic/Release+Asserts/memcpy.d
diff --git a/runtime/Intrinsic/Release+Asserts/memcpy.ll b/runtime/Intrinsic/Release+Asserts/memcpy.ll
diff --git a/runtime/Intrinsic/Release+Asserts/memcpy.o b/runtime/Intrinsic/Release+Asserts/memcpy.o
diff --git a/runtime/Intrinsic/Release+Asserts/memmove.bc b/runtime/Intrinsic/Release+Asserts/memmove.bc
diff --git a/runtime/Intrinsic/Release+Asserts/memmove.bc.d b/runtime/Intrinsic/Release+Asserts/memmove.bc.d
diff --git a/runtime/Intrinsic/Release+Asserts/memmove.d b/runtime/Intrinsic/Release+Asserts/memmove.d