about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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-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
2015-04-25Remove boost requirements from TravisCI build.Dan Liew
2015-04-19Fixed RewriteEqualities input to be more resilient to differences in compilat...Cristian Cadar
2015-04-19Temportily marking RewriteEqualities test as XFAIL.Cristian Cadar
2015-04-19Added a new test case that checks the --rewrite-equalities optimisation. The...Cristian Cadar
2015-04-18Merge pull request #213 from MartinNowack/klee-clangCristian Cadar
2015-04-15Add clang-format style. We just use LLVM's style.Dan Liew
2015-04-15Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshiftDan Liew
2015-04-10The Docker image had python2 and python3 which is a waste of spaceDan Liew
2015-04-10Don't upgrade pip or setuptools. Upgrading pip breaks the build becauseDan Liew
2015-04-10Add missing slash in last commit.Dan Liew
2015-04-10Update DockerfileDavid Leon Gil
2015-04-09Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).Dan Liew
2015-04-09Try to fix using the compiler KLEE's configure script detected again!Dan Liew
2015-04-09Normalised line endingsCristian Cadar
2015-04-09Added .gitattribute file that takes care of line endings.Cristian Cadar
2015-04-09Fix mistake if TravisCI scripts where configure flag for enabling POSIXDan Liew
2015-04-09Added a new option, --rewrite-equalities, which makes it possible to disable ...Cristian Cadar
2015-04-09Switch to using STP's fork of minisat for TravisCI. It contains fixesDan Liew
2015-04-08Fix very annoying issue where KLEE's configure would completlyDan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2015-04-03Fixed issue introduce during a previous refactoring, related to field ordering.Cristian Cadar
2015-04-02Use C instead of C++ comments in C files to silence compiler warnings.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 14:11:28 +0000