Age | Commit message (Expand) | Author |
2015-09-05 | Allow to generate initial values with empty constraint set | Martin Nowack |
2015-09-04 | Merge pull request #276 from MartinNowack/travis_update | Cristian Cadar |
2015-08-31 | Delete old patches. | Martin Nowack |
2015-08-30 | Support KLEE with different STP versions; Disable r940 | Martin Nowack |
2015-08-30 | Fix signed division by constant 1/ -1 | Martin Nowack |
2015-08-21 | Merge pull request #251 from ret2libc/entryFnParam | Cristian Cadar |
2015-08-17 | Merge pull request #239 from yotann/master | Cristian Cadar |
2015-08-14 | test: add Feature test for EntryPoint option | Riccardo Schirone |
2015-08-14 | tools/klee: pass the entry function name as argument | Riccardo Schirone |
2015-08-14 | tools/klee/main: remove whitespaces | Riccardo Schirone |
2015-08-13 | Merge pull request #271 from kren1/coverageInfo | Cristian Cadar |
2015-08-10 | Added link to coverage information | unknown |
2015-08-10 | Changed version to 1.0.0 v1.0.0 1.0.x | Cristian Cadar |
2015-08-10 | Merge pull request #267 from ccadar/master | Cristian Cadar |
2015-08-05 | Enabling assertions by default for KLEE. While the instructions for 2.9 expl... | Cristian Cadar |
2015-08-03 | Merge pull request #198 from holycrap872/IndependentSolverGetInitialValues | Cristian Cadar |
2015-08-03 | Merge pull request #243 from ccadar/master | Cristian Cadar |
2015-07-06 | Merge pull request #250 from holycrap872/DefaultOffCexSuperSet | Cristian Cadar |
2015-07-06 | Make the super-set check in CexCachingSolver default off | Eric Rizzi |
2015-06-17 | Merge pull request #245 from kren1/master | Cristian Cadar |
2015-06-16 | added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ... | Timotej Kapus |
2015-06-15 | encrypted secrets with main klee repo key | Timotej |
2015-06-15 | added zcov integration to travis CI | Timotej |
2015-06-08 | Merge pull request #241 from holycrap872/NoPreferCex | Cristian Cadar |
2015-06-03 | Merge branch 'holycrap872-NoPreferCex' | Cristian Cadar |
2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ... | Cristian Cadar |
2015-05-31 | Make use of prefer-cex optional rather than default | Eric Rizzi |
2015-04-29 | Fix assertion failure in getDirectCallTarget | Sean Bartell |
2015-04-25 | Rename macro | Dan Liew |
2015-04-25 | During install, install the klee intrinsic header file which is | Dan Liew |
2015-04-25 | Do not install gen-random-bout. | Dan Liew |
2015-04-25 | Change install location of KLEE's bytecode runtime libraries | Dan Liew |
2015-04-25 | Clean up the installation/building of the runtime libraries. | Dan Liew |
2015-04-25 | Report the git tag if exists in the output of --version from klee | Dan Liew |
2015-04-25 | Give KLEE release version information in the output of klee and kleaver | Dan Liew |
2015-04-25 | Remove some dead makefile variables left over from the old testing | Dan Liew |
2015-04-25 | Remove dead STP logging code. | Dan Liew |
2015-04-25 | Make sure TravisCI tests at least one Debug+Asserts build. | Dan Liew |
2015-04-25 | Remove boost requirements from TravisCI build. | Dan Liew |
2015-04-19 | Fixed RewriteEqualities input to be more resilient to differences in compilat... | Cristian Cadar |
2015-04-19 | Temportily marking RewriteEqualities test as XFAIL. | Cristian Cadar |
2015-04-19 | Added a new test case that checks the --rewrite-equalities optimisation. The... | Cristian Cadar |
2015-04-18 | Merge pull request #213 from MartinNowack/klee-clang | Cristian Cadar |
2015-04-15 | Add clang-format style. We just use LLVM's style. | Dan Liew |
2015-04-15 | Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift | Dan Liew |
2015-04-10 | The Docker image had python2 and python3 which is a waste of space | Dan Liew |
2015-04-10 | Don't upgrade pip or setuptools. Upgrading pip breaks the build because | Dan Liew |
2015-04-10 | Add missing slash in last commit. | Dan Liew |
2015-04-10 | Update Dockerfile | David Leon Gil |
2015-04-09 | Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4). | Dan Liew |