about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
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
2009-08-02Print allocation info for adjacent objects in out-of-bounds message.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77922 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02Disable this test, KLEE's new[] implementation is broken; surprisingly thisDaniel Dunbar
failure only manifests itself on x86_64, however. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77921 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02Stop building the STP parser, we don't need it and it unnecessarily adds aDaniel Dunbar
dependency on flex and bison. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77853 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Fixes for building runtime on linux x86-64.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77825 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01A few type fixes for libc functions, for 64-bit.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77822 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Implement va_arg handling for x86_64.Daniel Dunbar
- Based on a patch by Vladimir Kuznetsov! - x86_64 has a complicated calling convention for va_args; instead of dealing with this, this patch uses a clever workaround by initializing the va_list structure so that the callee believes all arguments were passed in the stack save area. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77819 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01KLEE64: Fix initialization of ctype_ externals.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77816 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Rewrite constant initialization to be more portable and readable.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77809 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Add Expr::dumpDaniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77802 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01When generating external function stubs, access the arguments in terms of theDaniel Dunbar
function type, not the argument types. This accomodates for a conversion which is done in Executor.cpp. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77801 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Use size_t where appropriate for ImmutableTree and friends.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77799 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Don't force -m32 in tests; this should be handled by the build system.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77798 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77797 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Update for LLVM API change.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77771 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01Avoid failing if waitpid fails with EINTR, patch by Vladimir Kuznetsov.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77770 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-30pcregrep.c isn't going to work on x86_64.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77574 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-29Multiply for alloca & malloca instructions may need to coerce index expressionDaniel Dunbar
to target pointer width. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77428 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28Add missing va_end and null check.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77312 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28KLEE64: Fix a type conversion problem with calls to klee_make_symbolic; thereDaniel Dunbar
are probably lots more of this -- we really need coercion and argument validation to be checked outside of the individual intrinsic handlers. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77311 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28KLEE64: When binding GetElementPtr constants, do evaluation in pointer width ofDaniel Dunbar
target. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77310 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. IDaniel Dunbar
don't think anyone is going to be doing symbolic execution with > 4GB buffers any time soon, and this is slightly simpler. - We know pass about half of KLEE's test suite on Darwin x86_64. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77309 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28KLEE64: GetElementPtr constants should be evaluated in the target pointer width.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77308 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28KLEE64: Fix some totally bogus printing code, which was reusing a va_listDaniel Dunbar
without va_copy()ing it. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77307 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
data. - This is the first step towards having KLEE be fully target independent, its not particularly beautiful but its expedient. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77306 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26Tweak objdump script, kcachegrind has gotten stricter about its parsing.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77168 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26A quick editing pass.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77157 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26Start writing a user focused coreutils case study.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77156 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 05:06:59 +0000