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

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
2018-02-08	Aina Niemetz	Updated copyright	commit \| commitdiff \| tree
2018-02-08	Aina Niemetz	Simplify and cleanup bv::utils::mkConjunction. (#1571)	commit \| commitdiff \| tree
2018-02-08	Aina Niemetz	Reduce number of Travis builds. (#1578)	commit \| commitdiff \| tree
2018-02-07	Aina Niemetz	Use template for bv::utils::mkOr. (#1570)	commit \| commitdiff \| tree
2018-02-07	Aina Niemetz	Use template for bv::utils::mkAnd. (#1569)	commit \| commitdiff \| tree
2018-02-07	Aina Niemetz	Renamed bv::utils::isBVGroundTerm to isBvConstTerm...	commit \| commitdiff \| tree
2018-02-07	Aina Niemetz	Split and document theory_bv_utils. (#1566)	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	Aina Niemetz	Updated authors list	commit \| commitdiff \| tree
2018-01-25	Aina Niemetz	Added unit tests for PLUS, NEG, NOT ICs for CBQI BV...	commit \| commitdiff \| tree
2018-01-23	Aina Niemetz	Fix MULT handling for CBQI BV. (#1531)	commit \| commitdiff \| tree
2018-01-22	Aina Niemetz	Add previous concat handling for CBQI BV as heuristic...	commit \| commitdiff \| tree
2018-01-22	Aina Niemetz	Refactor and fix solveBvLit for CBQI BV. (#1526)	commit \| commitdiff \| tree
2018-01-14	Aina Niemetz	Remove BITVECTOR_SUB from isInvertible(). (#1513)	commit \| commitdiff \| tree
2018-01-10	Aina Niemetz	Removed division by constant handling for CBQI BV ...	commit \| commitdiff \| tree
2018-01-09	Aina Niemetz	Reorganized bitvector.h. (#1505)	commit \| commitdiff \| tree
2018-01-09	Aina Niemetz	Fix output of --trace=help. (#1500)	commit \| commitdiff \| tree
2018-01-09	Aina Niemetz	Add bv util mkConst(unsigned, Integer&). (#1499)	commit \| commitdiff \| tree
2018-01-09	Aina Niemetz	Added division by constant handling for CBQI BV. (...	commit \| commitdiff \| tree
2018-01-08	Aina Niemetz	Remove portfolio option from builds. (#1496)	commit \| commitdiff \| tree
2018-01-05	Aina Niemetz	Fix side condition handling for PLUS, XOR, SIGN_EXTEND...	commit \| commitdiff \| tree
2018-01-03	Aina Niemetz	Add side conditions for UGT/SGT over BITVECTOR_UREM...	commit \| commitdiff \| tree
2018-01-03	Aina Niemetz	Add side conditions for inequalities over BITVECTOR_MULT...	commit \| commitdiff \| tree
2018-01-03	Aina Niemetz	Add side conditions for inequalities over BITVECTOR_UDIV...	commit \| commitdiff \| tree
2018-01-03	Aina Niemetz	Simplify side condition for SGE over UREM (index =...	commit \| commitdiff \| tree
2017-12-30	Aina Niemetz	Add side conditions for inequalities over BITVECTOR_UREM...	commit \| commitdiff \| tree
2017-12-30	Aina Niemetz	Fix RNG for seed = 0. (#1459)	commit \| commitdiff \| tree
next

RSS Atom