about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Expand)Author
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
2019-04-08Add LD_LIBRARY_PATH to docker imageGerben Oolbekkink
2019-04-05Add missing dependency for tabulate packageMartin Nowack
2019-04-05Remove CC as requirement; automatically set by sanitizer_compilerMartin Nowack
2019-04-04Fix SQLite OSXTimotej Kapus
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-04-04add tabulate to OSX buildFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-17Fix `true` invocation in case docker image could not be pushedMartin Nowack
2019-03-17Add libc++ as build dependency to KLEEMartin Nowack
2019-03-17Add support for libc++ as part of the build.sh scriptsMartin Nowack
2019-03-17Generalise clang package detection for linux and mac osxMartin Nowack
2019-03-12Add integer sanitizer to UBSanMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
2019-03-05remove klee-clang, use wllvm/gllvm insteadFrank Busse
2018-12-19Travis OSX: install Python 3.xFrank Busse
2018-11-11Use LLVM 4 for Mac BuildMartin Nowack
2018-10-07Workaround for flaky coverageMartin Nowack
2018-09-27Revert lit to 0.6.0 version, as 0.7.0 misbehavesCristian Cadar
2018-09-06llvm36.patch: fix build for newer glibc/gcc versionsFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 09:23:52 +0000