about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2013-10-03Extending ./configure with support to use metaSMT.Hristina Palikareva
2013-09-25Merge pull request #25 from paulmar/masterCristian Cadar
2013-09-25Merge pull request #27 from antiAgainst/intrinsic-trapCristian Cadar
2013-09-25Obey --max-forks in switch statementsPaul Marinescu
2013-09-23Lower intrinsic instruction "llvm.trap" to a call of the abort() function.Lei Zhang
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-18Merge pull request #23 from MartinNowack/fix_putcharCristian Cadar
2013-09-18Compile separate version of fd files only for LLVM 3.3 or higherMartin Nowack
2013-09-17Merge pull request #21 from delcypher/fix_query_loggingCristian Cadar
2013-09-17Merge branch 'fix_runtime_build_mode' of https://github.com/delcypher/klee in...Cristian Cadar
2013-09-02Fixed multiple definitions of POSIX file functionsMartin Nowack
2013-09-02Fixed unused static function warning for forceImportMartin Nowack
2013-08-30Merge pull request #20 from delcypher/remove_pointless_loopCristian Cadar
2013-08-30Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...Cristian Cadar
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2013-08-29Revert "Use new PathV2 interface for LLVM 2.9 and higher"Martin Nowack
2013-08-29Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...Cristian Cadar
2013-08-29Fix compiling issues with llvm 2.9Martin Nowack
2013-08-29Use new PathV2 interface for LLVM 2.9 and higherMartin Nowack
2013-08-28Modified the buildmode of bitcode libraries.Dan Liew
2013-08-28Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...Cristian Cadar
2013-08-28Merge pull request #22 from antiAgainst/masterCristian Cadar
2013-08-28Merge pull request #13 from MartinNowack/FeatureConstantArraysCristian Cadar
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
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
2013-08-27Handle constant arrays as wellMartin Nowack
2013-08-27Port to LLVM 3.3Martin 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
2013-08-21Remove unnecessary loop from SolverTest unit test.Dan Liew
2013-08-16Merge pull request #9 from delcypher/refactor-arg-initCristian Cadar
2013-08-15Merge pull request #14 from MartinNowack/BuildSystemCristian Cadar
2013-08-15Add support for dejagnu as removed from LLVM 3.2Martin Nowack
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
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-08-15Merge pull request #16 from MartinNowack/DebugSymbolsCristian Cadar
2013-08-15Merge pull request #10 from MartinNowack/TyposCristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 23:05:55 +0000