about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2010-05-02Sketch support for running KLEE tests using 'lit'.Daniel Dunbar
- Not working yet. Also, ditch a bunch of unused substitution variables from the site.exp config file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102872 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-02Add a little hack for visualizing KLEE branching.Daniel Dunbar
- This consumes the treestream files produced with --write-paths or --write-sym-paths, and renders out the tree in a very ad-hoc funky way. Your mileage may vary! :) Example image: http://klee.llvm.org/data/treegraph_example.jpg Example movie: http://klee.llvm.org/data/treegraph_example.avi git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102869 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-02Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inlineDaniel Dunbar
definitions of putchar and atoi. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102868 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-02Fix some const cast warnings.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102867 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-29Fixed compilation of unit tests.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102611 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-26Applied patch submitted by Peter Collingbourne: "Some parts of theCristian Cadar
KLEE source code do not conform to the C++ standard, specifically [basic.scope.local]. gcc accepts the code due to a bug [1] but some other compilers (e.g. those based on EDG, such as icc) do not. This patch fixes the code in question to conform to the standard. [1] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18770" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102328 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-22Added --stp-optimize-divides flag. Patch submitted by PeterCristian Cadar
Collingbourne: "This flag controls whether constant divides are optimized into add/shift/multiplies before passing to STP, and is set by default. In some circumstances the use of this optimisation can actually slow the solver down, so it is best to allow the user to disable it." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102069 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-22Applied patch submitted by Peter Collingbourne: "If either of theseCristian Cadar
values is 0, the overall STP timeout should be whichever of the two values is set, i.e. the maximum of the 2 values, rather than 0." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102058 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-19ktest-tool: Add --write-ints option, for printing 4-byte objects as integers.Daniel Dunbar
- Patch by Li Xuan Ji! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@101774 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Fix some tests w/ objdir != srcdir.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100422 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100421 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Make sure to include config.h, for llvm version check.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100398 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Fix -emit-llvm spelling (although, these aren't actually needed).Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100397 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
- PR4269. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100396 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100395 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Remove unused files.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100394 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Eliminate dead test.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100393 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Eliminate use of non-standard variadic macro.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100392 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Remove stray semi-colons.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100391 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Switch to standard C++ file suffix.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100390 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Add pre-generated ASTKind.{cpp,h}.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100389 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05STP: Avoid use of zero-sized array GNU extension.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100388 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Update config.{guess,sub}.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100387 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05Update for LLVM API change.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100383 91177308-0d34-0410-b5e6-96231b3b80d8
2010-03-14Update for 2.7.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@98467 91177308-0d34-0410-b5e6-96231b3b80d8
2010-03-14Kill off ExecutionTrace stuff, it is too messy.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@98466 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-26Test commit.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@97190 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-25Applied patch submitted by Justin Lebar to fix compilation error w/Cristian Cadar
gcc 4.4. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@97153 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-19Fixed the problem of 'make check' failing on XFAILs. Based on patchCristian Cadar
by Peter Collingbourne. We grep twice because we still want to print the XFAILs at the end of the regression run. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96671 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-13Fix some doxyments, patch by Peter Collingbourne!Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96101 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-09Fix PR6211, the comparison was created with the wrong width. Patch by StefanDaniel Dunbar
Bucur! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@95659 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-25Update instructions to suggest using llvm-gcc 2.6.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85080 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-25Update instructions to suggest using LLVM 2.6.Daniel Dunbar
Also, link TestingCoreutils document from tutorials page. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85025 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-25Update source to build against LLVM 2.6Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85024 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-24Regenerate configure.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85023 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-24Update configure logic to detect LLVM version (for use in config.h).Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85022 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-21Don't force llvm-gcc to -m32, just hope that it was configured correctly for theDaniel Dunbar
current target arch. This should work in the usual Linux environment, but it won't work on Darwin if using the non-default arch; for that we need the LLVM makefiles to figure out the right llvm-gcc arguments. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82422 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-21Improve skipping of debug intrinsics, we can't evaluate MDNode operands.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82421 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-21Don't try to evaluate MDNode operands.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82420 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-05Applied patch submitted by Pongsin Poosankam that fixes a bug in theCristian Cadar
parser. Fixed bug in the parses. Patch reported by git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@81056 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
- Includes patch by Michael Stone! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@80665 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-24Applied the patch submitted by Robby Cochran that fixes an arithmetic ↵Cristian Cadar
overflow in Solver::getRange(). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@79945 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-17Update for LLVM API change.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@79217 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05Write "Step 6: Replaying KLEE generated test cases", using klee-replay.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78168 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05klee-replay: Support running multiple tests in one invocation, and tweak outputDaniel Dunbar
slightly. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78166 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05Build klee-replay when the POSIX runtime is enabled.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78149 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05Add klee-replay tool.Daniel Dunbar
- Not yet enabled as part of the build, and not recently tested. - This has also been trimmed down significantly from the version which is able to fail system calls, that functionality was too experimental to be generally useful. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78148 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-03Fix computation of GetElementPtr offset for 64-bit targets.Daniel Dunbar
- Precomputed constants were being truncated to 32-bits! - This was actually the problem with new[]/delete[], I failed to look at the generated code for new[] to realize that the compiler is generating the offset pointer, not the runtime library. - All tests now pass on x86-64! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77930 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02Add instructions on how to build with POSIX/uClibc support to GetStarted page.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77924 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02Don't abort on --exit-on-error failures, this is just confusing.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77923 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 16:45:08 +0000