about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Expand)Author
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
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
2018-05-18Delete coverageServer.pyTimotej Kapus
2017-07-24more portable shebangsJörg Thalheim
2017-07-23Remove klee-gccMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2015-12-04Fixing klee-clang to strip all flags not understood by llvm-linkMate Soos
2015-06-16added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...Timotej Kapus
2015-03-12Add klee-clang as alternative to klee-gccMartin Nowack
2014-09-15Generate fake files for test casesMartin Nowack
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2009-07-26Tweak objdump script, kcachegrind has gotten stricter about its parsing.Daniel Dunbar
2009-07-26Ok, I caved. klee-gcc is useful, at least for now.Daniel Dunbar
2009-06-05Moved PrintStats.py to tool/klee-stats/Cristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 22:59:22 +0000