about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-04-12remove synthesized `rule of three` of KInstIteratorjiangg
2016-04-08Rename KLEE command line options fromDan Liew
2016-03-09Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it was includedDan Liew
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2016-02-29Merge pull request #344 from MartinNowack/feat_mallocMartinNowack
2016-02-27Merge pull request #342 from delcypher/expr_fixesMartinNowack
2016-02-27Add support for tcmallocMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-23Move ``Assignment::dump()`` into its own implementation file soDan Liew
2016-02-22Make the declaration of ``ConstantExpr`` the last declared ``Expr``Dan Liew
2016-02-22Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.Dan Liew
2016-02-14Handle Z3 API change between 4.4.1 and the current master branchDan Liew
2016-02-14Add basic implementation of Z3Builder and Z3Solver and Z3SolverImplDan Liew
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-10Teach the configure script to configure the build to use the Z3 SMTDan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2015-12-18Fix duplication of ``klee::ArrayHashFn`` inDan Liew
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Add dump function for AssignmentMartin Nowack
2015-12-17[Solver]Add simple option to dump queriesMartin Nowack
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-08-03Merge pull request #198 from holycrap872/IndependentSolverGetInitialValuesCristian Cadar
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-04-15Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshiftDan Liew
2015-04-03Fixed issue introduce during a previous refactoring, related to field ordering.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-01Commit of improved IndependentSolver::getIniitalValues().Eric Rizzi
2015-04-01[include] Add missing functions in klee.hMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2015-04-01[include] Added documentationMartin Nowack
2015-04-01[include] Removed unused variableMartin Nowack
2015-03-13Timestamp improvements.Emil Rakadjiev
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-12-13Clean up a few comments in ExprSMTLIBPrinterDan Liew
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-02Unbreak compilation (in metaSMT configuration) by preventing the #defineHristina Palikareva
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 01:33:50 +0000