about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2018-10-23Added missing headers and clang-format the filesCristian Cadar
2018-10-23Added support for KLEE value-based array optimizationAndrea Mattavelli
2018-10-23Added support for KLEE index-based array optimizationAndrea Mattavelli
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-10-10fix handling of failing external callsFrank Busse
2018-10-04kleeModule: always link irreader (required since llvm 3.3)Julian Büning
2018-10-04remove obsolete dependency of kleeModule on kleeCoreJulian Büning
2018-10-03Marking resolve methods as constCristian Cadar
2018-10-03Refactored AddressSpace::resolve() by creating a new function AddressSpace::c...Cristian Cadar
2018-09-30Fix a crash when the last running state is terminated during mergingLukas Wölfer
2018-09-20Silence an uninitialized variable compiler warning (and a tiny formatting cha...Cristian Cadar
2018-09-18llvm4: gep_type_iterator has no operator*Jiri Slaby
2018-09-18llvm4: PointerType is not SequentialTypeJiri Slaby
2018-09-18llvm4: use chrono helpers from LLVMJiri Slaby
2018-09-18llvm4: errorOr and similarJiri Slaby
2018-09-18llvm4: APFloat members are functionsJiri Slaby
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
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-06Fix missing includes and declarationsMartin Nowack
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-28remove last comma from -debug-print-escaping-functionsJulian 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-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: handle optimization passes changesJiri Slaby
2018-07-12llvm38: no rounding in APFloatJiri Slaby
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-04Fix compiler warnings if assertions are disabledMartin Nowack
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-07-02CMake: check for ctype and mallinfo functions with CXX instead of C compilerJulian Büning
2018-06-29Fix the final -Wimplicit-fallthrough warningDaniel Schemmel
2018-06-29Make ConstantExpr hashing function faster and modify affected testTimotej Kapus
2018-06-13klee_int: allow NULL as nameFrank Busse
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: handle getRegisteredOptionsJiri Slaby
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}Julian Büning
2018-05-22some housekeeping in Passes.h and IntrinsicCleaner.cppJulian Büning
2018-05-22CompressionStream: fix sporadic segfaults (uninitialised avail_in)Frank Busse
2018-05-22Removed .c_str() from getSourceLocation callsCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 09:36:06 +0000