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

2018-09-22	Aina Niemetz	cmake: Added missing dependency for src/util	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Generate trace and debug tags	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: .cpp generation done, .h generation not yet...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	commit \| commitdiff \| tree
2018-09-19	Aina Niemetz	New C++ API: Introduce new macro and exception for...	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	New C++ API: Try to fix (false positive) Coverity warnings...	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Fixe compiler warning in line_buffer.cpp. (#2453)	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Refactor non-clausal simplify preprocessing pass. ...	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Transfer ownership of learned literals from SMT engine...	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Fix merge mishap of #2359.	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-28	Aina Niemetz	New C++ API: Fix isDefinedKind() to not be ambigious...	commit \| commitdiff \| tree
2018-08-24	Aina Niemetz	New C++ API: Add checks for kind arguments. (#2369)	commit \| commitdiff \| tree
2018-08-23	Aina Niemetz	Refactor ITE simplification preprocessing pass. (#2360)	commit \| commitdiff \| tree
2018-08-21	Aina Niemetz	Fix initialization of d_smt in ValidityChecker for...	commit \| commitdiff \| tree
2018-08-21	Aina Niemetz	Remove disabled system test cvc3_george. (#2342)	commit \| commitdiff \| tree
2018-08-18	Aina Niemetz	run-regress script: Exit with exit code > 0 on failure...	commit \| commitdiff \| tree
2018-08-14	Aina Niemetz	autotools: Remove personal builds, rename build 'default...	commit \| commitdiff \| tree
2018-08-10	Aina Niemetz	Fix portfolio command executor for changes from #2240...	commit \| commitdiff \| tree
2018-08-09	Aina Niemetz	Plug solver API object into parser. (#2240)	commit \| commitdiff \| tree
2018-08-07	Aina Niemetz	Add rewrite for nested BITVECTOR_ITE that can be merged...	commit \| commitdiff \| tree
2018-08-04	Aina Niemetz	Add rewrite for nested BITVECTOR_ITE with cond_outer...	commit \| commitdiff \| tree
2018-08-04	Aina Niemetz	Add rewrite for BITVECTOR_ITE with const children....	commit \| commitdiff \| tree
2018-08-03	Aina Niemetz	Add rewrite for BITVECTOR_ITE with term_then == term_else...	commit \| commitdiff \| tree
2018-08-03	Aina Niemetz	Add timer for BV inequality solver. (#2265)	commit \| commitdiff \| tree
2018-08-02	Aina Niemetz	Add rewrites for BITVECTOR_ITE and BITVECTOR_COMP with...	commit \| commitdiff \| tree
2018-08-01	Aina Niemetz	InteractiveShell: Remove redundant options argument...	commit \| commitdiff \| tree
2018-08-01	Aina Niemetz	New C++ API: Fixed ownership of options object. (#2243)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Enable examples. (#2222)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Third batch of commands (SMT-LIB). (#2212)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Second batch of commands (SMT-LIB). (...	commit \| commitdiff \| tree
2018-07-24	Aina Niemetz	New C++ API: First batch of commands (SMT-LIB and...	commit \| commitdiff \| tree
2018-07-23	Aina Niemetz	New C++ API: Implementation of Solver class: OpTerm...	commit \| commitdiff \| tree
2018-07-23	Aina Niemetz	New C++ API: declare-datatype. (#2166)	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Minor reorder. (#2163)	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Implementation of datatype classes. (...	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Implementation of Solver class: Consts...	commit \| commitdiff \| tree
2018-07-06	Aina Niemetz	New C++ API: Implementation of Solver class: Term handling...	commit \| commitdiff \| tree
2018-07-06	Aina Niemetz	New C++ API: Implementation of Solver class: Sort handling...	commit \| commitdiff \| tree
2018-07-04	Aina Niemetz	New C++ API: Implementation of datatype declaration...	commit \| commitdiff \| tree
2018-07-04	Aina Niemetz	New C++ API: Implementation of OpTerm. (#2132)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	New C++ API: Implementation of Term. (#2131)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	New C++ API: Implementation of Kind maps. (#2130)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	Fix datatypes example: nil constructor was missing...	commit \| commitdiff \| tree
2018-07-02	Aina Niemetz	Refactor ApplySubsts preprocessing pass. (#2120)	commit \| commitdiff \| tree
2018-07-02	Aina Niemetz	New C++ API: Implementation of Sort. (#2122)	commit \| commitdiff \| tree
2018-06-29	Aina Niemetz	New C++ API: Implementation of Result. (#2112)	commit \| commitdiff \| tree
2018-06-27	Aina Niemetz	Header for new C++ API. (#1697)	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-06-07	Aina Niemetz	Remove invalid assertion (#1993). (#2057)	commit \| commitdiff \| tree
2018-05-30	Aina Niemetz	Ignore license key in set-info command. (#2021)	commit \| commitdiff \| tree
2018-05-11	Aina Niemetz	Remove obsolete unit test for ackermannization. (#1906)	commit \| commitdiff \| tree
2018-05-11	Aina Niemetz	Fix ackermannize preprocessing pass. (#1904)	commit \| commitdiff \| tree
2018-05-10	Aina Niemetz	Refactored BVAckermann preprocessing pass. (#1889)	commit \| commitdiff \| tree
2018-05-08	Aina Niemetz	Fix order of preprocessing pass registration. (#1887)	commit \| commitdiff \| tree
2018-04-11	Aina Niemetz	Refactored BVGauss preprocessing pass. (#1766)	commit \| commitdiff \| tree
2018-04-10	Aina Niemetz	Fix dumping of benchmark in SmtEngine::checkSatisfiability...	commit \| commitdiff \| tree
2018-04-07	Aina Niemetz	Fixed get-authors.	commit \| commitdiff \| tree
2018-03-21	Aina Niemetz	Add bit-vector extract example. (#1681)	commit \| commitdiff \| tree
2018-03-20	Aina Niemetz	Add parameterized datatypes example. (#1676)	commit \| commitdiff \| tree
2018-03-13	Aina Niemetz	SmtEngine::getModel() is now public. (#1665)	commit \| commitdiff \| tree
2018-03-09	Aina Niemetz	Printers are now managed as unique_ptr (fix mem leak...	commit \| commitdiff \| tree
2018-03-09	Aina Niemetz	Some minor cleanup in bv::utils. (#1663)	commit \| commitdiff \| tree
2018-03-09	Aina Niemetz	Add support for SMT-LIB v2.5 command get-unsat-assumptions...	commit \| commitdiff \| tree
2018-03-09	Aina Niemetz	Fixed message in get-antlr script.	commit \| commitdiff \| tree
2018-03-05	Aina Niemetz	Add support for check-sat-assuming. (#1637)	commit \| commitdiff \| tree
2018-03-05	Aina Niemetz	Add CVC4_PUBLIC keyword to overloads of << for Expr...	commit \| commitdiff \| tree
2018-03-05	Aina Niemetz	Add uniform way to serialize containers of Expr to...	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-28	Aina Niemetz	SmtEngine::getAssignment now returns a vector of assignments...	commit \| commitdiff \| tree
2018-02-28	Aina Niemetz	Remove unused code in pushDefineFunRecScop in smt2...	commit \| commitdiff \| tree
2018-02-23	Aina Niemetz	Split and document bitvector.h. (#1615)	commit \| commitdiff \| tree
2018-02-22	Aina Niemetz	Fixed disabling the BV equality slicer for quantifiers...	commit \| commitdiff \| tree
2018-02-22	Aina Niemetz	Disable BV equality slicer if not pure QF_BV. (#1619)	commit \| commitdiff \| tree
2018-02-20	Aina Niemetz	Improve documentation of bv::utils::isCoreTerm (#1617)	commit \| commitdiff \| tree
2018-02-20	Aina Niemetz	Moved and simplified bv::utils::intersect. (#1614)	commit \| commitdiff \| tree
2018-02-20	Aina Niemetz	Unrecursified and merged bv::utils::is(Core\|Equality...	commit \| commitdiff \| tree
2018-02-17	Aina Niemetz	bv::utils::mk(And\|Or) Do not return true if size of...	commit \| commitdiff \| tree
2018-02-16	Aina Niemetz	Make regress1 default, only test regress0 on Travis...	commit \| commitdiff \| tree
2018-02-16	Aina Niemetz	Removed bv::utils::mkConjunction (redundant). (#1610)	commit \| commitdiff \| tree
2018-02-14	Aina Niemetz	Provide a uniform way to serialize node containers...	commit \| commitdiff \| tree
2018-02-13	Aina Niemetz	Moved (unrecursified) bv::utils::collectVars. (#1602)	commit \| commitdiff \| tree
2018-02-13	Aina Niemetz	Skip header for determining top contributors list....	commit \| commitdiff \| tree
2018-02-11	Aina Niemetz	Move (unrecursified) bv::utils::numNodes to lazy_bitblaster...	commit \| commitdiff \| tree
2018-02-10	Aina Niemetz	Move BitVector specific funs from bv::utils to util...	commit \| commitdiff \| tree
2018-02-10	Aina Niemetz	Remove mkNode from bv::utils (#1587)	commit \| commitdiff \| tree
2018-02-08	Aina Niemetz	Clean up bv utils (part one). (#1580)	commit \| commitdiff \| tree
next

RSS Atom