about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2013-12-19Merge pull request #80 from MartinNowack/fix_multiple_buildmodesDan Liew
2013-12-19Allow different build modes for LLVM coexistMartin Nowack
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-12-06Merge pull request #72 from MartinNowack/deprecate_llvm28MartinNowack
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Merge pull request #11 from MartinNowack/MemleaksCristian Cadar
2013-12-05Close file descriptors used for warnings and messagesMartin Nowack
2013-12-05Fix unitialized valueMartin Nowack
2013-12-05Free used constants if not used anymoreMartin Nowack
2013-12-05Fix timer leakMartin Nowack
2013-11-25Merge pull request #67 from MartinNowack/fix_asm_addressCristian Cadar
2013-11-15Merge branch 'master' of https://github.com/ccadar/kleeCristian Cadar
2013-11-15Removed testing-env file. As for testing-dir that was removed in aCristian Cadar
2013-11-15Merge pull request #69 from MartinNowack/fix_runtime_posixCristian Cadar
2013-11-14Remove unused testing-dirMartin Nowack
2013-11-14Add additional note that testcase might fail ifMartin Nowack
2013-11-14Fix lseek and getdentsMartin Nowack
2013-11-13Fix using assembler addresses for global variablesMartin Nowack
2013-11-13Merge pull request #60 from MartinNowack/fix_posixCristian Cadar
2013-11-13Merge pull request #65 from delcypher/detect-bitcode-compilerCristian Cadar
2013-11-08Fix the detection of the LLVM bitcode compiler. This is now done at KLEEDan Liew
2013-11-05Merge pull request #63 from delcypher/nouclibcDan Liew
2013-11-05Exit if using --libc=uclibc and KLEE was not configured with uclibcDan Liew
2013-11-05Refactored part of KleeHandler construction so thatDan Liew
2013-11-05sort and remove some includesFrank Busse
2013-11-05Fix arbitrary path limits and improved error handling (exitFrank Busse
2013-11-02Merge pull request #61 from MartinNowack/fix_futimesatPaul Marinescu
2013-11-02Fix Futimesat compilation with newer gcc and clangMartin Nowack
2013-11-02Fix build of POSIX file descriptor functionsMartin 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 16:03:40 +0000