about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2022-09-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...Pavel
2022-09-14Add notes about how to keep in sync runtime with LLVM projectPavel
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Add README to UBSan runtimePavel
2022-09-14Eliminate .undefined_behavior.err category and simplify testsPavel
2022-09-14Remove LLVM version < 9Pavel
2022-09-14Check extensions of generated files in testsPavel
2022-09-14Remove LLVM version < 6Pavel
2022-09-14Introduce separate categories for different kinds of undefined behaviorPavel
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-08-26Use true instead of Z3_TRUE (removed in z3 4.11.0)Jerry James
2022-08-19Corrected wrong usage of klee_report_error in __cxa_atexit handlerPavel
2022-07-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-07-11Switch FreeBSD CI to 13.1 and Python 3.9Gleb Popov
2022-07-07POSIX runtime: fstatat: check for nonnull path APIsFrank Busse
2022-07-04Inline asm external callMikhail
2022-07-04Fix memory leak in crosscheck core solver mechanismDaniel Schemmel
2022-06-30checkout KLEE with depth > 1 when running codecovDaniel Schemmel
2022-06-30update github checkout action to v3Daniel Schemmel
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
2022-06-29Perform coverage analysis for z3 as wellDaniel Schemmel
2022-06-29forward ci environment variables used to exercise metasmt backends into the d...Daniel Schemmel
2022-06-29Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ...Cristian Cadar
2022-06-28Implement getArrayForUpdate iterativelyDaniel Schemmel
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent mac...Cristian Cadar
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-06-20Use `klee` user to install system dependenciesMartin Nowack
2022-06-18Update Dockerfile to install tabulatekt218
2022-06-15Spelling Fixesm-davis
2022-06-13tests: add StackTraceOutput.cFrank Busse
2022-06-13.err files: minor readability changes to stack trace outputFrank Busse
2022-06-13Update SpecialFunctionHandler.cppChaoqi Zhang
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-05-06Switch to newer KLEE uClibc releaseMartin Nowack
2022-05-06Utilise Docker build artifact cache for more componentsMartin Nowack
2022-05-06Updated tests to use ktest-randgen instead of gen-random-boutCristian Cadar
2022-05-06Renamed gen-random-bout to ktest-randgenCristian Cadar
2022-05-06Updated tests to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Updated klee-zesti to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Renamed gen-bout to ktest-genCristian Cadar
2022-05-06tests: make function pointer tests more robustFrank Busse
2022-05-05cmake: try using system installation of GTest if it's presentLukáš Zaoral
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-05-05Switch FreeBSD 12 CI to a supported release.Gleb Popov
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-04-25Update the Dockerfile to use the correct path for llvm-110Ryan Riley
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 10:31:31 +0000