about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2019-04-04add tabulate to OSX buildFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Remove unused functionTimotej Kapus
2019-04-04Remove precisionTimotej Kapus
2019-04-04Remove compare-byTimotej Kapus
2019-04-04Remove sort-byTimotej Kapus
2019-04-04Remove unused -sample-interval optionTimotej Kapus
2019-04-04Remove linechart for klee-statsTimotej Kapus
2019-04-04Add add -grafana option to klee-statsTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-04-02Add FreeBSD OS triple in RaiseAsmGleb Popov
2019-04-02Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSDGleb Popov
2019-04-02Handle __assert() function as handleAssertFail. This assert variant is used o...Gleb Popov
2019-04-02Fix klee-replay tool on FreeBSD.Gleb Popov
2019-04-02POSIX runtime fixes for FreeBSD.Gleb Popov
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use libutil...Gleb Popov
2019-04-02Fix build of Executor.cpp on FreeBSD.Gleb Popov
2019-03-31Made test/Runtime/POSIX/GenBout.c run in an isolated directoryAndrew Santosa
2019-03-31Applied clang-format on tools/gen-random-bout/gen-random-bout.cppAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew Santosa
2019-03-21remove tests for LLVM <= 3.7Julian Büning
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove copy of ScalarizerPass for LLVM 3.4Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-20tests: add STPDumpDebugQueries.cFrank Busse
2019-03-20STPSolver: C++11, add missing free, refactoringFrank Busse
2019-03-20Moving to version 2.1-preCristian Cadar
2019-03-19Release notes for 2.0 v2.0Cristian Cadar
2019-03-19Set version to 2.0!Cristian Cadar
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-19Dockerfile: Add libcxx as a build dependencyMartinNowack
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-19Fix representation of ReadExpr of equivalent arraysMartin Nowack
2019-03-18Update Dockerfile with new dependenciesMartin Nowack
2019-03-18Update dependenciesMartin Nowack
2019-03-18Disable optimisation for functions that contain KLEE callsMartin Nowack
2019-03-18make test/Feature/srem.c more explicitJulian Büning
2019-03-17Fix `true` invocation in case docker image could not be pushedMartin Nowack
2019-03-17Use newer uclibc version: libc++ requires locale support activatedMartin Nowack
2019-03-17Add travis support to build with libc++Martin Nowack
2019-03-17Add libc++ as build dependency to KLEEMartin Nowack
2019-03-17Cmake enhance detection of C++ libraries and include filesMartin Nowack
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-17Add support for libc++ as part of the build.sh scriptsMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 04:28:36 +0000