about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2015-04-02Silenced some compilation warnings.Cristian Cadar
2015-04-02Merge pull request #209 from erakadjiev/timestamp_optimizeCristian Cadar
2015-04-02Revert "[include] Added documentation" to avoid a conflict with a pending pul...Cristian Cadar
2015-04-02Fixed some doxygen issues.Cristian Cadar
2015-04-02Removed unused fakeState field from ExecutionStateCristian Cadar
2015-04-02Pass over the comments in ExecutionState.hCristian Cadar
2015-04-02Removed underConstrained field, which I believe was re-introduced byCristian Cadar
2015-04-02[Core] Documentation and cleanupMartin Nowack
2015-04-01Added the function IndependentSolver::createdPointEvaluatesToTrueEric Rizzi
2015-04-01Commit of improved IndependentSolver::getIniitalValues().Eric Rizzi
2015-04-01Added the ability to solve for all factors in a particular query.Eric Rizzi
2015-04-01[include] Add missing functions in klee.hMartin Nowack
2015-04-01[runtime] Fix include in klee_intMartin Nowack
2015-04-01[test] Fix compilation warningMartin Nowack
2015-04-01[Core] Fixed typo in assertionMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2015-04-01[tests] Fix undefined functionMartin Nowack
2015-04-01[tools] Added fortified version wrapper for fprintfMartin Nowack
2015-04-01[include] Added documentationMartin Nowack
2015-04-01[include] Removed unused variableMartin Nowack
2015-03-22Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ...Cristian Cadar
2015-03-20Improve arithmetic-right-overshift-sym-conc.c test by make sure itDan Liew
2015-03-20[Solver] Fix leak intermediate expression not freedMartin Nowack
2015-03-20[Core] Fix memory leak in assembler raisingMartin Nowack
2015-03-13Timestamp improvements.Emil Rakadjiev
2015-03-12Merge pull request #212 from MartinNowack/killing_states_warningCristian Cadar
2015-03-12[Core] Always warn if states get deleted due to memory limitsMartin Nowack
2015-03-12Add klee-clang as alternative to klee-gccMartin Nowack
2015-03-10Altered DenseSet and IndependentElementSet to record ref<Expr> involvedEric Rizzi
2015-03-03Consistent capitalization of "KLEE"Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 02:12:24 +0000