projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Wrapping TheorySetsPrivate in a unique_ptr. (#2356)
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
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
next