about summary refs log tree commit diff homepage
path: root/scripts/build
AgeCommit message (Expand)Author
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
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
2018-08-12llvm.sh: fix patch source pathsFrank Busse
2018-07-12Fix uploading of coverage information from inside of dockerMartin Nowack
2018-07-11Add missing curlMartin Nowack
2018-07-11Fix slow Mac Travis build: wildcard is not expanded with quotesMartin Nowack
2018-07-04Extensive updates to the build script for dependencies and dockerMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 04:01:27 +0000