about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2020-12-13FreeBSD CI: Use FreeBSD 12.2 instead of 12.1 and LLVM 9 instead of LLVM 8.Gleb Popov
2020-12-07Advancing version to 2.3-preCristian Cadar
2020-12-07Update version to 2.2 v2.2 2.2.xCristian Cadar
2020-12-07Release notes for v2.2Cristian Cadar
2020-12-04Only build 32bit runtime libraries if supported by platformMartin Nowack
Automatically detect if 32bit bitcode files can be built. In this case, build runtime library with 32bit as well.
2020-12-04llvm11: Add LLVM 11 to GitHub Actions and Travis CILukas Zaoral
2020-12-04llvm11: CallBase::getParamAlignment has been deprecatedLukas Zaoral
and should be replaced with CallBase::getParamAlign
2020-12-04llvm11: GlobalValue::getAlignment has been removedLukas Zaoral
See: https://reviews.llvm.org/D80368
2020-12-04llvm11: IPConstantPropagationPass has been removedLukas Zaoral
See: https://reviews.llvm.org/D84447
2020-12-04llvm11: Composite and Sequential types were removedLukas Zaoral
See: https://reviews.llvm.org/D75660 https://reviews.llvm.org/D75661
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
CallBase::getCalledValue has been deprecated by getCalledOperand since LLVM 8 and has been removed in LLVM 11 See: https://reviews.llvm.org/D78882
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
The same applies to SmallString. See: llvm/llvm-project@777180a#diff-497ba4c0c527a125d382b51a34f32542
2020-12-04Test reflecting the LLVM 11 behavior for transforming reads of the form ↵Cristian Cadar
f[k], with k symbolic and f a 4-element vector into something along the lines: if k == 0 => f[0] elif k == 1 => f[1] elif k == 2 => f[2] elif k == 3 => f[3] else ==> undef
2020-12-04Test reflecting the LLVM 11 behavior for transforming writes of the form ↵Cristian Cadar
f[k] = v, with f a 4-element vector, into something along the lines: if k == 0 => f[0] = v if k == 1 => f[1] = v if k == 2 => f[2] = v if k == 3 => f[3] = v
2020-12-04Move all overflows from the vector instructions tests into a new file, as ↵Cristian Cadar
the overflow behaviour is different in LLVM 11.
2020-12-04Add LLVM 11 to lit.cfgCristian Cadar
2020-12-04Declare mempcpy on macOS, to silence compiler warningsCristian Cadar
2020-12-02Fix Codecov uploadMartin Nowack
`sudo` invocation in Github Actions does not provide environment variables, therefore Codecov was not aware of the correct settings. This behaviour is different under Github Actions than Travis CI. This could be fixed via `sudo -E`. Anyway, tests do not need to be run `sudo` with Github Actions, so remove the `sudo` invocation in the first place.
2020-12-02Use Github Actions as default CIMartin Nowack
2020-12-02Remove artificial timeouts as current timeout for build jobs is 6h.Martin Nowack
2020-12-02Rename `build-travis-container.py` into `build-ci-container.py`Martin Nowack
Update container build script to utilize Github Actions job description instead of Travis CI's.
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack
Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script.
2020-12-02Detect system include headers on macOSMartin Nowack
System header files on macOS are not part of `/usr/include` since Catalina. Instead, multiple locations are possible and depend on the selected SDK. Use `xcrun` to automatically detect the correct path on macOS.
2020-12-02Handle LLVM version selection more robustMartin Nowack
2020-12-02Use non-interactive inputMartin Nowack
2020-11-23Use a more recent version of macOSCristian Cadar
2020-11-20p-klee.inc: libc++abi only needed for c++ exception supportJulian Büning
2020-11-20slightly improve C++-related CMake stringsJulian Büning
2020-11-20fix CMake: libcxxabi is only required with KLEE_EH_CXXJulian Büning
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-11-12Ref: implement operator bool()Julian Büning
2020-11-11tests: add test for klee-stats --table-format=csv/readable-csvFrank Busse
2020-11-11klee-stats: add (readable) csv format (--table-format=readable-csv/csv)Frank Busse
2020-11-11Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.Gleb Popov
2020-11-09Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ↵Cristian Cadar
used.
2020-11-09Test checking that __strcpy_chk is handled correctly when uclibc is usedCristian Cadar
2020-11-09Added fortified versions for the functions in the klee-libc libraryCristian Cadar
2020-11-09Test checking that __strcat_chk is handled correctly with klee-libcCristian Cadar
2020-11-09Since the runtime now contains fortified libc functions, it is important to ↵Cristian Cadar
compile it with -D_FORTIFY_SOURCE=0 to avoid infinite recursion.
2020-11-09Added fortified versions for the functions in the freestanding library.Cristian Cadar
2020-11-09Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCECristian Cadar
2020-11-09Test checking that __memchk_chk is handled correctly with the freestanding ↵Cristian Cadar
library.
2020-11-04Rename FreeStanding to Freestanding where appropriateMartin Nowack
2020-11-04[build] Add multilib package to build 32bit on ubuntuMartin Nowack
2020-11-04Link to the different runtime libraries depending on the application to test.Martin Nowack
Currently, only 32bit vs. 64bit is supported.
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them.
2020-11-04[cmake] Always create KLEE runtime directory even if POSIX is not builtMartin Nowack
2020-11-04[cmake] Remove clean_all target as not needed by any additional targetMartin Nowack
2020-11-04[cmake] Use clean command to remove generated doxygen filesMartin Nowack
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 01:39:48 +0000