about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2018-09-14cmake: find_llvm, fix libraries with llvm-config 3.9Jiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Add testcase to run POSIX environment and main without argumentsMartin Nowack
2018-09-10Add POSIX runtime as dependency for the test caseMartin Nowack
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-10Fix generation of global constructors and destructorsMartin Nowack
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-09-06Fix missing includes and declarationsMartin Nowack
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
2018-09-06llvm36.patch: fix build for newer glibc/gcc versionsFrank Busse
2018-09-06runtime: fix memory error in canonicalize_file_nameFrank Busse
2018-09-06Build on trusty without sudo - uses faster Docker infrastructure from TravisCIMartin Nowack
2018-09-06Avoid Vararg non-deterministic allocationMartin Nowack
2018-08-29klee-stats: add TResolve(%) to --print-allFrank Busse
2018-08-12llvm.sh: fix patch source pathsFrank Busse
2018-08-03Disabled unit testing in default buildAndrea Mattavelli
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 17:25:51 +0000