git.libre-soc.org Git - cvc5.git/search

2018-09-17	Andres Noetzli	Remove unnecessary tracing from preprocessing (#2472)	commit \| commitdiff \| tree
2018-09-11	yoni206	Avoid calling size() every iteration (#2450)	commit \| commitdiff \| tree
2018-09-04	Andres Noetzli	Update INSTALL instructions (#2420)	commit \| commitdiff \| tree
2018-09-04	Andres Noetzli	Remove unused options file (#2413)	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Fix merge mishap of #2359.	commit \| commitdiff \| tree
2018-08-29	Tim King	Forcing attribute_internals.h to use uint64_t's for...	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	Reorder circuit propagator class.	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	Move flag needsFinish from SMT engine to circuit propagator.	commit \| commitdiff \| tree
2018-08-27	Andres Noetzli	Remove Coverity build from Travis (#2373)	commit \| commitdiff \| tree
2018-08-23	Andres Noetzli	Add missing overrides in unit tests (#2362)	commit \| commitdiff \| tree
2018-08-21	Mathias Preiner	Move d_realAssertionsEnd from SmtEnginePrivate to AssertionP...	commit \| commitdiff \| tree
2018-08-21	Tim King	Add constexpr annotations to help coverity understand...	commit \| commitdiff \| tree
2018-08-15	Andres Noetzli	Fix dumping of get-unsat-assumptions (#2302)	commit \| commitdiff \| tree
2018-08-09	Andrew Reynolds	Fix char overflow issues in regular expression solver...	commit \| commitdiff \| tree
2018-08-01	ayveejay	Improvements and tests for the API around separation...	commit \| commitdiff \| tree
2018-07-26	Tim King	Removing unused CDTrailHashmap. (#2221)	commit \| commitdiff \| tree
2018-07-25	ayveejay	Performing clang-format on the original change-set...	commit \| commitdiff \| tree
2018-07-15	Andres Noetzli	Avoid ambiguous overloads in BitVector (#2169)	commit \| commitdiff \| tree
2018-07-04	Andrew Reynolds	Reorganize candidate rewrite rule filtering (#2116)	commit \| commitdiff \| tree
2018-07-04	Andres Noetzli	Remove unused CDVector (#2139)	commit \| commitdiff \| tree
2018-06-26	Aina Niemetz	Bump library version to 1.7-prerelease.	commit \| commitdiff \| tree
2018-06-26	Aina Niemetz	Cutting release 1.6.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	More updates to NEWS for 1.6.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS...	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Bump library version.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Update copyright year in configuration.cpp:copyright().	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Updated copyright headers.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Do not use git blame -C in get-authors (too many false...	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Fix update-copyright script for files without a header.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Added Makai and Yoni to get-authors script.	commit \| commitdiff \| tree
2018-06-21	Aina Niemetz	Updated installation instructions to mention autogen...	commit \| commitdiff \| tree
2018-05-11	Andres Noetzli	Support multiple sets of command line args in regs...	commit \| commitdiff \| tree
2018-05-09	yoni206	Reorder class members in bv-to-bool and bool-to-bv...	commit \| commitdiff \| tree
2018-04-07	Aina Niemetz	Fixed get-authors.	commit \| commitdiff \| tree
2018-04-02	Clark Barrett	Remove references to nyu (#1721)	commit \| commitdiff \| tree
2018-04-02	Mathias Preiner	Reorganize bitblaster code. (#1695)	commit \| commitdiff \| tree
2018-04-02	yoni206	Do not call toString() on malformed node when throwing...	commit \| commitdiff \| tree
2018-03-23	Andrew Reynolds	Remove abstract regular expression constant (#1698)	commit \| commitdiff \| tree
2018-03-09	Andres Noetzli	Skip (get-unsat-assumptions) tests not supported (...	commit \| commitdiff \| tree
2018-03-09	Aina Niemetz	Fixed message in get-antlr script.	commit \| commitdiff \| tree
2018-03-02	Aina Niemetz	Fixed typo.	commit \| commitdiff \| tree
2018-03-02	Aina Niemetz	Fixed comments in smt_engine.h.	commit \| commitdiff \| tree
2018-02-20	Andrew Reynolds	Minor fixes and additions for transcendental functions...	commit \| commitdiff \| tree
2018-02-15	Andrew Reynolds	Refactor regressions (#1581)	commit \| commitdiff \| tree
2018-02-15	Andres Noetzli	Fix context memory manager unit test (#1609)	commit \| commitdiff \| tree
2018-02-14	Andres Noetzli	Remove unused cd_set_collection.h (#1606)	commit \| commitdiff \| tree
2018-02-09	Andres Noetzli	Replace CMM flag with debug CMM flag, fix leak in debug...	commit \| commitdiff \| tree
2018-02-09	Tim King	Inlining line_buffered_input to avoid warning about...	commit \| commitdiff \| tree
2018-02-08	Tim King	Adding virtual destructors on classes with virtual...	commit \| commitdiff \| tree
2018-02-08	Aina Niemetz	Updated copyright	commit \| commitdiff \| tree
2018-02-08	Tim King	Fixing line numbers on type_checker_template.cpp (...	commit \| commitdiff \| tree
2018-02-07	Mathias Preiner	Cleanup Cryptominisat header. (#1561)	commit \| commitdiff \| tree
2018-02-07	Tim King	Adds a new CHECK macro that abort()s on failure. (...	commit \| commitdiff \| tree
2018-02-07	Tim King	Fixes two memory leaks coming from Transf. (#1564)	commit \| commitdiff \| tree
2018-02-06	Aina Niemetz	Updated copyright header for bv_inverter.(cpp\|h).	commit \| commitdiff \| tree
2018-02-06	Aina Niemetz	Updated year in update-copyright script.	commit \| commitdiff \| tree
2018-02-06	Tim King	Resolving warnings from -Winconsistent-missing-override...	commit \| commitdiff \| tree
2018-02-06	Aina Niemetz	Updated authors list	commit \| commitdiff \| tree
2018-01-10	Tim King	Removing throw specifiers for TypeRules. (#1501)	commit \| commitdiff \| tree
2018-01-04	Andrew Reynolds	Improvements for CBQI (#1478)	commit \| commitdiff \| tree
2018-01-03	Mathias Preiner	Fix handling for UGT/SGT. (#1467)	commit \| commitdiff \| tree
2017-12-09	Mathias Preiner	Add CEGQI BV linearization of additions and equalities...	commit \| commitdiff \| tree
2017-11-30	Andrew Reynolds	Minor improvements and changes to defaults for cbqi...	commit \| commitdiff \| tree
2017-10-25	Tim King	Switching EqProof to use shared_ptr everywhere. (...	commit \| commitdiff \| tree
2017-10-11	Tim King	Cleaning up ProofArray class. (#1208)	commit \| commitdiff \| tree
2017-10-04	Andrew Reynolds	Ho quant util (#1119)	commit \| commitdiff \| tree
2017-09-14	Tim King	Simplifying the throw specifier of SmtEngine::checkSat...	commit \| commitdiff \| tree
2017-09-14	Martin	Floating point symfpu support (#1093)	commit \| commitdiff \| tree
2017-09-14	Andrew Reynolds	Add new kinds required for higher-order. (#1083)	commit \| commitdiff \| tree
2017-09-14	Andrew Reynolds	Add isConst check for lambda expressions. (#1084)	commit \| commitdiff \| tree
2017-09-13	Andres Noetzli	Make ccache work with Clang on Travis (#1097)	commit \| commitdiff \| tree
2017-09-13	Andrew Reynolds	Modify equality engine to allow operators to be marked...	commit \| commitdiff \| tree
2017-08-30	Andrew Reynolds	Fix model construction for parametric types (#1059)	commit \| commitdiff \| tree
2017-08-25	Aina Niemetz	Added missing includes (algorithm).	commit \| commitdiff \| tree
2017-08-12	Aina Niemetz	Fix compiler warnings in theory/arith/nonlinear_extension.cpp	commit \| commitdiff \| tree
2017-08-09	Aina Niemetz	Fix help message for disable-unit-testing in configure...	commit \| commitdiff \| tree
2017-08-09	Aina Niemetz	Fix Assertion (compiler warning) in theory/bv/theory_bv.cpp	commit \| commitdiff \| tree
2017-08-08	Aina Niemetz	Fix compiler warning in theory/quantifiers/term_database_syg...	commit \| commitdiff \| tree
2017-08-05	Aina Niemetz	Reorganized bitvector.h	commit \| commitdiff \| tree
2017-08-04	Aina Niemetz	Fix comments	commit \| commitdiff \| tree
2017-08-04	Aina Niemetz	Fix typos in comments	commit \| commitdiff \| tree
2017-07-13	Aina Niemetz	autoconf: make -std=gnu++11 mandatory	commit \| commitdiff \| tree
2017-07-06	Aina Niemetz	cut-release: git co -> git checkout	commit \| commitdiff \| tree
2017-07-06	Aina Niemetz	cut-release: option handling, get-antlr	commit \| commitdiff \| tree

RSS Atom