about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2015-12-11Add command line flag ``--silent-klee-assume``to suppress errors due toValentin Wüstholz
2015-12-04Remove dead ifdef in STPBuilder header file. There is noDan Liew
2015-12-04Remove dead ``tempVars`` and ``getTempVar()`` method in STPBuilderDan Liew
2015-12-04Merge pull request #310 from msoos/fix-klee-clang-script2MartinNowack
2015-12-04Fixing klee-clang to strip all flags not understood by llvm-linkMate Soos
2015-12-02Merge pull request #309 from msoos/fixstrong3MartinNowack
2015-12-02Removing -fstack-protector-strong for clang <= 3.4Mate Soos
2015-11-13Added NEWS fileCristian Cadar
2015-11-13Moving to version 1.1.0Cristian Cadar
2015-11-08Merge pull request #269 from MartinNowack/fix_sremMartinNowack
2015-10-31Merge pull request #296 from delcypher/specify_klee_uclibc_versionDan Liew
2015-10-30Make sure TravisCI does a few builds where it uses the developmentDan Liew
2015-10-30Teach TravisCI and the Docker build to use the taggedDan 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-22[STPBuilder] Generate SRrem expressions correctlyMartin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 12:07:15 +0000