about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-27Revert lit to 0.6.0 version, as 0.7.0 misbehavesCristian Cadar
2018-09-20Removed unused fileCristian Cadar
2018-09-20Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the tes...Cristian Cadar
2018-09-20Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdi...Cristian Cadar
2018-09-20Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make st...Cristian Cadar
2018-09-20Silence an uninitialized variable compiler warning (and a tiny formatting cha...Cristian Cadar
2018-09-18travis: enable LLVM 4 testingJiri Slaby
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-14travis CI: add LLVM 3.9 build testsJiri Slaby
2018-09-14llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+AssertsJiri Slaby
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-02 02:06:57 +0000