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

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