about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2013-11-02Merge pull request #61 from MartinNowack/fix_futimesatPaul Marinescu
2013-11-02Fix Futimesat compilation with newer gcc and clangMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-22Merge pull request #41 from hpalikareva/metasmt-multisolverCristian Cadar
2013-10-21Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...Hristina Palikareva
2013-10-20Merge pull request #47 from 251/stubs_path_maxCristian Cadar
2013-10-18stubs.c: cleanupFrank Busse
2013-10-18stubs.c: fix use of undeclared identifier PATH_MAXFrank Busse
2013-10-18Merge pull request #45 from hpalikareva/test-expr-loggingCristian Cadar
2013-10-17Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c...Hristina Palikareva
2013-10-16tests in ./test/Feature/ExprLogging.c reverted back to not explicitly differe...Hristina Palikareva
2013-10-15Merge pull request #43 from hpalikareva/test-large-intsCristian Cadar
2013-10-15Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc ...Hristina Palikareva
2013-10-15command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...Hristina Palikareva
2013-10-14Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...Cristian Cadar
2013-10-11getConstraintLog() of MetaSMTSolver explicitly states that this feature is no...Hristina Palikareva
2013-10-11Bug fix in MetaSMTBuilderHristina Palikareva
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-10-11Merge pull request #40 from antiAgainst/intrinsic-trapCristian Cadar
2013-10-11Compile separate version of fd files for 3.2 as well.Cristian Cadar
2013-10-11Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3Cristian Cadar
2013-10-11Added Output/ and site.exp to .gitignoreCristian Cadar
2013-10-08Remove llvm.trap declaration after cleaning all uses.Lei Zhang
2013-10-08Merge pull request #34 from ddcc/masterCristian Cadar
2013-10-03Merge pull request #39 from hpalikareva/masterDan Liew
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-24Add missing header file and linker parameterDominic Chen
2013-09-24Replace implementation of linkWithLibrary()Dominic Chen
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-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-09-02Fixed bug where divide by zero bugs would only be detected once in a programDan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 16:38:34 +0000