about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Expand)Author
2021-09-15Install git as a requirement for codecovMartin Nowack
2021-09-10CI: Use the latest release of CMakeLukas Zaoral
2021-04-18tests: Do not add klee tools to PATH in litLukas Zaoral
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
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack
2020-12-02Handle LLVM version selection more robustMartin Nowack
2020-12-02Use non-interactive inputMartin Nowack
2020-11-20p-klee.inc: libc++abi only needed for c++ exception supportJulian Büning
2020-11-04[build] Add multilib package to build 32bit on ubuntuMartin Nowack
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12fix building klee-cxxabiJulian Büning
2020-10-12Add doxygen support in docker imagejiseongg
2020-10-12Remove unused cmake arguments when building dockerjiseongg
2020-09-30Add check if KLEE is installedMartin Nowack
2020-09-30Remove shebang from includeMartin Nowack
2020-09-30Fix LLVM 4.0 build patchMartin Nowack
2020-09-30Fix docker ID handling for sqliteMartin Nowack
2020-09-30Fix check if sqlite is installed under ubuntu as a systems packageMartin Nowack
2020-09-30Fix check if LLVM is installedMartin Nowack
2020-09-30Reduce compile time and size for LLVM buildMartin Nowack
2020-09-30Reduce the size of the libcxx imageMartin Nowack
2020-09-30Remove explicit dependency on llvm and sanitizerMartin Nowack
2020-09-30Fix detection of installed clangMartin Nowack
2020-09-30Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linkingMartin Nowack
2020-09-30Delete Docker instance after system detection ranMartin Nowack
2020-09-30Replace travis container build script with python-based versionMartin Nowack
2020-09-05Fix codecov uploadMartin Nowack
2020-06-26Switch to a more recent version of SQLite in the CICristian Cadar
2020-03-31Don't search for CryptoMiniSAT when configuring STPCristian Cadar
2020-02-24fix p-llvm.inc: invocation for monorepo directory layoutJulian Büning
2020-02-13Update Docker image template for KLEE.Martin Nowack
2020-02-13Use system's boost when building metasmt and user newer boolector versionMartin Nowack
2020-02-13Do not wait if SANITIZER_BUILD is emptyMartin Nowack
2020-02-13Add llvm as build dependency of clang in case no system packages are availableMartin Nowack
2020-02-13Add patch support for libcxxMartin Nowack
2020-02-13Use git repository to build LLVMMartin Nowack
2020-02-13Update ubuntu build dependencies for KLEEMartin Nowack
2020-01-28updatecomet
2020-01-17Update objdump script to support python3Martin Nowack
2020-01-08Link python3 on macOSCristian Cadar
2019-11-26remove python2 from osx CIFelix Rath
2019-10-29Travis: double timeout for MetaSMT testsFrank Busse
2019-10-16Add missing file utility in docker imageMartin Nowack
2019-09-09fix minor build script issues and inconsistenciesJulian Büning
2019-09-05build: additional patches for LLVM 3.8-5.0Julian Büning
2019-07-30Provide klee runtime build type as parameterMartin Nowack
2019-04-08Use newer versions of solver components used by MetaSMTMartin Nowack
2019-04-08Propagate correct version of metasmt to build scriptMartin Nowack