about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2018-08-03Fixed runtest library to handle the case of a NULL "name" argument in klee_ma...Cristian Cadar
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-08-03[clang-format]Allow longer codelines in test/Martin Nowack
2018-08-01test: remove geq-llvm-3.4Julian Büning
2018-07-28remove last comma from -debug-print-escaping-functionsJulian Büning
2018-07-28test/Feature/EscapingFunctionsAlias.c: clarify alias(ee) castingJulian Büning
2018-07-28add declarations to escapingFunctionsJulian Büning
2018-07-23ModuleUtil: improve and test valueIsOnlyCalledJulian Büning
2018-07-23fix: LLVM 3.5, begin_user() instead of begin_use()Julian Büning
2018-07-23ExternalDispatcher: setErrorStr for EngineBuilderJulian Büning
2018-07-12travis CI: add LLVM 3.8 build testsJiri Slaby
2018-07-12llvm38: test, change some testsJiri Slaby
2018-07-12llvm38: no more implicit iteratorsRichard Trembecký
2018-07-12llvm38: archive child iterator changesJiri Slaby
2018-07-12llvm38: adapt to new Linker::linkModulesJiri Slaby
2018-07-12llvm38: SmallString is always up-to-dateJiri Slaby
2018-07-12llvm38: handle optimization passes changesJiri Slaby
2018-07-12llvm38: no rounding in APFloatJiri Slaby
2018-07-12Fix uploading of coverage information from inside of dockerMartin Nowack
2018-07-11Add missing curlMartin Nowack
2018-07-11Fix slow Mac Travis build: wildcard is not expanded with quotesMartin Nowack
2018-07-11Added "override" in Executor.h to silence compiler warnings (and ran clang-fo...Cristian Cadar
2018-07-11Removed support for klee_make_symbolic with 2 arguments. This has been depre...Cristian Cadar
2018-07-10test: remove undefined behaviourJiri Slaby
2018-07-10Enabled tcmalloc by defaultTimotej Kapus
2018-07-04Link dynamic libraries with specific paths instead of resolving them during r...Martin Nowack
2018-07-04Fix incorrect invocation of kleeMartin Nowack
2018-07-04Fix uninitialized memory: enums have to be initializedMartin Nowack
2018-07-04Add missing out-of-tree include files directory for TCMallocMartin Nowack
2018-07-04Fix compiler warnings if assertions are disabledMartin Nowack
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2018-07-04Extensive updates to the build script for dependencies and dockerMartin Nowack
2018-07-04runtime: remove obsolete code for building modules instead of archivesJulian Büning
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-07-04Reorganise runtime libraries provided by KLEEMartin Nowack
2018-07-02Removed obsolete scriptCristian Cadar
2018-07-02test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported)Julian Büning
2018-07-02CMake: use cmake_{push,pop}_check_stateJulian Büning
2018-07-02CMake: check for ctype and mallinfo functions with CXX instead of C compilerJulian Büning
2018-06-29fix out of range access in KleeHandler::getKTestFilesInDirFrank Busse
2018-06-29Explicitly initialize value to squelch a potentially uninitialized value warningDaniel Schemmel
2018-06-29Fix the final -Wimplicit-fallthrough warningDaniel Schemmel
2018-06-29Make ConstantExpr hashing function faster and modify affected testTimotej Kapus
2018-06-14Add unittest for DiscretePDFMartin Nowack
2018-06-13klee_int: allow NULL as nameFrank Busse
2018-06-11cmake: find_llvm, handle libLLVM-version.so properlyJiri Slaby
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-24isLSB should be a boolean, as it is only used in truth contextsDaniel Schemmel
2018-05-24remove switch fallthrough in floating point comparisionDaniel Schemmel
2018-05-24llvm37: enable travis testingJiri Slaby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 23:20:02 +0000