about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2015-10-21Change implementation of __VERIFIER_assume() so that if it's isn't svcomp_32bitDan Liew
2015-10-20Hack support for building a 32-bit Docker image for KLEE.Dan Liew
2015-10-19Undo 32-bit malloc() hack in preparation for building a 32-bitDan Liew
2015-10-17Install ``libc6-dev-i386`` package when doing TravisCI or the DockerfileDan Liew
2015-10-17Implement gross hack to make it possible to execute code compiledDan Liew
2015-10-17Some SV-COMP benchmarks provide an existing implementation ofDan Liew
2015-10-17Implemented SV-COMP 2016 runtime functions which can be activated withDan Liew
2015-10-08Fix accidently hardcoding of LLVM version in DockerfileDan Liew
2015-09-26Merge pull request #281 from andrewchi/futimesat-fixMartinNowack
2015-09-25Don't use /tmp for futimesat unit testAndrew Chi
2015-09-21Merge pull request #274 from MartinNowack/fix_sdiv_1Cristian Cadar
2015-09-18Merge pull request #275 from MartinNowack/fix_empty_constraints_indep_solverCristian Cadar
2015-09-05Allow to generate initial values with empty constraint setMartin Nowack
2015-09-04Merge pull request #276 from MartinNowack/travis_updateCristian Cadar
2015-08-31Delete old patches.Martin Nowack
2015-08-30Support KLEE with different STP versions; Disable r940Martin Nowack
2015-08-30Fix signed division by constant 1/ -1Martin Nowack
2015-08-21Merge pull request #251 from ret2libc/entryFnParamCristian Cadar
2015-08-17Merge pull request #239 from yotann/masterCristian Cadar
2015-08-14test: add Feature test for EntryPoint optionRiccardo Schirone
2015-08-14tools/klee: pass the entry function name as argumentRiccardo Schirone
2015-08-14tools/klee/main: remove whitespacesRiccardo Schirone
2015-08-13Merge pull request #271 from kren1/coverageInfoCristian Cadar
2015-08-10Added link to coverage informationunknown
2015-08-10Changed version to 1.0.0 v1.0.0 1.0.xCristian Cadar
2015-08-10Merge pull request #267 from ccadar/masterCristian Cadar
2015-08-05Enabling assertions by default for KLEE. While the instructions for 2.9 expl...Cristian Cadar
2015-08-03Merge pull request #198 from holycrap872/IndependentSolverGetInitialValuesCristian Cadar
2015-08-03Merge pull request #243 from ccadar/masterCristian Cadar
2015-07-06Merge pull request #250 from holycrap872/DefaultOffCexSuperSetCristian Cadar
2015-07-06Make the super-set check in CexCachingSolver default offEric Rizzi
2015-06-17Merge pull request #245 from kren1/masterCristian Cadar
2015-06-16added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...Timotej Kapus
2015-06-15encrypted secrets with main klee repo keyTimotej
2015-06-15added zcov integration to travis CITimotej
2015-06-08Merge pull request #241 from holycrap872/NoPreferCexCristian Cadar
2015-06-03Merge branch 'holycrap872-NoPreferCex'Cristian Cadar
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-05-31Make use of prefer-cex optional rather than defaultEric Rizzi
2015-04-29Fix assertion failure in getDirectCallTargetSean Bartell
2015-04-25Rename macroDan Liew
2015-04-25During install, install the klee intrinsic header file which isDan Liew
2015-04-25Do not install gen-random-bout.Dan Liew
2015-04-25Change install location of KLEE's bytecode runtime librariesDan Liew
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2015-04-25Report the git tag if exists in the output of --version from kleeDan Liew
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-04-25Remove some dead makefile variables left over from the old testingDan Liew
2015-04-25Remove dead STP logging code.Dan Liew
2015-04-25Make sure TravisCI tests at least one Debug+Asserts build.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 01:42:34 +0000