about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2013-09-18Merge pull request #23 from MartinNowack/fix_putcharCristian Cadar
Fix implementation for putchar
2013-09-17Merge pull request #21 from delcypher/fix_query_loggingCristian Cadar
Fix queries not being logged correctly if an assertion failure is hit.
2013-09-17Merge branch 'fix_runtime_build_mode' of https://github.com/delcypher/klee ↵Cristian Cadar
into delcypher-fix_runtime_build_mode
2013-08-30Merge pull request #20 from delcypher/remove_pointless_loopCristian Cadar
Remove unnecessary loop from SolverTest unit test.
2013-08-30Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ↵Cristian Cadar
MartinNowack-CompilerWarnings
2013-08-29Revert "Use new PathV2 interface for LLVM 2.9 and higher"Martin Nowack
This reverts commit 5c059018c02a7c7db252a3cb636a39c89c430a06.
2013-08-29Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ↵Cristian Cadar
MartinNowack-CompilerWarnings
2013-08-29Fix compiling issues with llvm 2.9Martin Nowack
Interface for ParseCommandLineOptions changed with LLVM 3.2 preserving constness for pointer to arguments.
2013-08-29Use new PathV2 interface for LLVM 2.9 and higherMartin Nowack
Enable PathV2 interface starting from LLVM 2.9 and do some minor include cleanup.
2013-08-28Modified the buildmode of bitcode libraries.Dan Liew
The Default is Release+Asserts but if you are building KLEE with debug symbols (for example "Release+Debug+Asserts" or "Debug+Asserts") then this breaks because KLEE will look for the bitcode libraries in the wrong place because the RUNTIME_CONFIGURATION macro is not defined to be what KLEE actually builds as. This has been tweaked so that when we build the bitcode libraries the Makefile variable "DEBUG_SYMBOLS" is correctly overridden.
2013-08-28Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ↵Cristian Cadar
MartinNowack-CompilerWarnings
2013-08-28Merge pull request #22 from antiAgainst/masterCristian Cadar
Add .gitignore
2013-08-28Merge pull request #13 from MartinNowack/FeatureConstantArraysCristian Cadar
Patch Set IV - Handle constant arrays as well
2013-08-28Fixed warning about unused variableMartin Nowack
2013-08-28Fix constness warnings issued by gcc 4.7Martin Nowack
2013-08-28Link against shared library from LLVM correctlyMartin Nowack
Searching for the LLVM library was conducted in the Klee project. This patch searches in the LLVM build directory.
2013-08-28Silence warning of deprecated PathV1 usageMartin Nowack
2013-08-28Fix test case to use llvm-link instead of llvm-ldMartin Nowack
2013-08-28Disable redefinition of functionsMartin Nowack
2013-08-28Silence compiler warning about unused variableMartin Nowack
2013-08-27Fix implementation for putcharMartin Nowack
According to manual: putchar() return the character written as an unsigned char cast to an int or EOF on error. Use return value of write to return the correct value for putchar.
2013-08-27Handle constant arrays as wellMartin Nowack
2013-08-26Add Debug and Debug+Asserts in .gitignore.Lei Zhang
2013-08-26Add .gitignoreLei Zhang
2013-08-23In QueryLoggingSolver call flush() on std::ofstream so that queriesDan Liew
get correctly logged if an assertion failure is hit later on.
2013-08-21Remove unnecessary loop from SolverTest unit test.Dan Liew
2013-08-16Merge pull request #9 from delcypher/refactor-arg-initCristian Cadar
Slight refactor of code initialising memory for argments/environment c-strings
2013-08-15Merge pull request #14 from MartinNowack/BuildSystemCristian Cadar
Patch Set V - Build system
2013-08-15Add support for dejagnu as removed from LLVM 3.2Martin Nowack
Added support for dejagnu to still allow tests to be executed under LLVM 3.2.
2013-08-15Use llvm-link instead of deprecated llvm-ldMartin Nowack
2013-08-15Warn if compiler is not found to build .ll filesMartin Nowack
2013-08-15Merge pull request #18 from MartinNowack/FeatureUMulOverflowCristian Cadar
Patch Set III (update) Implemented llvm.umul.with.overflow
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-08-15Merge pull request #16 from MartinNowack/DebugSymbolsCristian Cadar
Patch Set VII - Handle additional debug intrinsics of LLVM
2013-08-15Merge pull request #10 from MartinNowack/TyposCristian Cadar
Fixed typos.
2013-08-14Handle additional debug intrinsics of LLVMMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-14Slight refactor of code initialising memory for argments/environment c-stringsDan Liew
so that it is easier to read.
2013-08-13Modified ktest-tool so that it is compatible with python3.Dan Liew
2013-08-13Updated configure.ac to use python3 compatible command.Dan Liew
2013-08-07Merge branch 'master' of https://github.com/hpalikareva/klee into ↵Cristian Cadar
hpalikareva-master
2013-08-07Merge branch 'bfs' of https://github.com/antiAgainst/klee into antiAgainst-bfsCristian Cadar
2013-08-06ObjectState::concreteStore initialised.Hristina Palikareva
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ↵Hristina Palikareva
STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from ↵Hristina Palikareva
STPSolver to base Solver and SolverImpl classes, and consequently redefined in derived classes to call the corresponding methods down the solver chain. Method setTimeout() renamed to setCoreSolverTimeout().
2013-08-06Renaming solver-related command-line options in order to decouple them from ↵Hristina Palikareva
STP. More specifically, command-line options max-stp-time, use-forked-stp and stp-optimize-divides renamed to max-solver-time, use-forked-solver and solver-optimize-divides, respectively. Option of running the SMT solver in a separate process (i.e. forked) set to true by default. Options of running SMT solver forked and with optimized divides made available to Kleaver as well.
2013-07-26Merge pull request #1 from ddcc/masterccadar
Remove website from master tree
2013-07-25remove www from master branchDominic Chen
2013-07-25Revert "move website to separate repo"Dominic Chen
This reverts commit 6ae711b1d900bffbca407fe97d5e5ce97745dff1.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 20:02:48 +0000