projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
New C++ Api: Second and last batch of API guards. (#4563)
2020-06-04
Aina Niemetz
New C++ Api: Second and last batch of API guards. ...
commit
|
commitdiff
|
tree
2020-06-04
Aina Niemetz
New C++ Api: First batch of API guards. (#4557)
commit
|
commitdiff
|
tree
2020-06-02
Aina Niemetz
New C++ API: Keep reference to solver object in non...
commit
|
commitdiff
|
tree
2020-05-22
Aina Niemetz
CaDiCaL: Clean up initialization on creation. (#4516)
commit
|
commitdiff
|
tree
2020-05-22
Aina Niemetz
Cryptominisat: Clean up initialization on creation...
commit
|
commitdiff
|
tree
2020-05-22
Aina Niemetz
Add support for SAT solver Kissat. (#4514)
commit
|
commitdiff
|
tree
2020-05-20
Aina Niemetz
CegqiBv: Clean up after renaming options. (#4487)
commit
|
commitdiff
|
tree
2020-05-05
Aina Niemetz
Update copyright year and AUTHORS/THANKS files. (#4468)
commit
|
commitdiff
|
tree
2020-05-02
Aina Niemetz
SMT-COMP 2020: Enable --fp-exp for new FP logics. ...
commit
|
commitdiff
|
tree
2020-04-29
Aina Niemetz
SMT-COMP 2020: Fix scripts to use --no-type-checking...
commit
|
commitdiff
|
tree
2020-04-28
Aina Niemetz
contrib/get-gmp: Rename and update install instructions...
commit
|
commitdiff
|
tree
2020-04-06
Aina Niemetz
New C++ API: Rename Solver::mkTermInternal. (#4217)
commit
|
commitdiff
|
tree
2020-04-04
Aina Niemetz
New C++ API: Remove Op::getSort(). (#4208)
commit
|
commitdiff
|
tree
2020-04-01
Aina Niemetz
Rename checkValid/query to checkEntailed. (#4191)
commit
|
commitdiff
|
tree
2020-03-17
Aina Niemetz
SmtEngine: Convert members owned by SmtEngine to unique...
commit
|
commitdiff
|
tree
2020-03-16
Aina Niemetz
DecisionEngine: Use single unique pointer for ITE strategy...
commit
|
commitdiff
|
tree
2020-03-16
Aina Niemetz
Issue 4077: Add unit test to reproduce issue. (#4107)
commit
|
commitdiff
|
tree
2020-03-12
Aina Niemetz
New C++ API: Remove support for (reset). (#4037)
commit
|
commitdiff
|
tree
2020-03-12
Aina Niemetz
Hide options for and related to the BV abstraction...
commit
|
commitdiff
|
tree
2020-03-11
Aina Niemetz
bv-gauss-elim: Fix handling of inconsistent case. ...
commit
|
commitdiff
|
tree
2020-03-10
Aina Niemetz
Fix issue with reset-assertions. (#3988)
commit
|
commitdiff
|
tree
2020-03-10
Aina Niemetz
Use fixed-width types in test/unit/context/contest_mm_black...
commit
|
commitdiff
|
tree
2020-03-10
Aina Niemetz
Fix -Wshadow warning in test/unit/context/context_mm_black...
commit
|
commitdiff
|
tree
2020-03-10
Aina Niemetz
Fix -Wshadow warnings in sygus_grammar_cons.cpp. (...
commit
|
commitdiff
|
tree
2020-03-09
Aina Niemetz
DecisionEngine: Use unique_ptr for enabled strategies...
commit
|
commitdiff
|
tree
2020-03-05
Aina Niemetz
Move ownership of DecisionEngine into PropEngine. ...
commit
|
commitdiff
|
tree
2020-03-05
Aina Niemetz
Revert "Move ownership of DecisionEngine into PropEngine...
commit
|
commitdiff
|
tree
2020-02-29
Aina Niemetz
propEngine: Reorder class declaration according to...
commit
|
commitdiff
|
tree
2020-02-21
Aina Niemetz
New C++ API: Remove TOTAL kinds. (#3794)
commit
|
commitdiff
|
tree
2020-02-04
Aina Niemetz
--fp-exp: Better warning message. (#3709)
commit
|
commitdiff
|
tree
2020-02-04
Aina Niemetz
Increase regression test time limit to 1200s. (#3704)
commit
|
commitdiff
|
tree
2020-01-15
Aina Niemetz
New C++ API: Add nullary constructor for Result. (...
commit
|
commitdiff
|
tree
2019-12-13
Aina Niemetz
FP converter: convert: Use std::vector as instead...
commit
|
commitdiff
|
tree
2019-12-03
Aina Niemetz
Fix clang-format file for brace wrapping with case...
commit
|
commitdiff
|
tree
2019-10-22
Aina Niemetz
NodeValue: Eliminate redundant NBITS macros. (#3400)
commit
|
commitdiff
|
tree
2019-10-11
Aina Niemetz
Make order of theories explicit in the source code...
commit
|
commitdiff
|
tree
2019-10-09
Aina Niemetz
NodeValue: Use 'using' instead of 'typedef'. (#3374)
commit
|
commitdiff
|
tree
2019-10-09
Aina Niemetz
NodeValue: Use fixed width return type for getRefCount...
commit
|
commitdiff
|
tree
2019-10-09
Aina Niemetz
Reorder NodeValue class according to our code style...
commit
|
commitdiff
|
tree
2019-10-09
Aina Niemetz
New C++ API: Term: Add missing checks for null. (#3364)
commit
|
commitdiff
|
tree
2019-10-08
Aina Niemetz
Build system: Add build type for incremental competition...
commit
|
commitdiff
|
tree
2019-10-08
Aina Niemetz
New C++ API: Add Term::getId(). (#3360)
commit
|
commitdiff
|
tree
2019-10-03
Aina Niemetz
Travis: Reenable building and running of examples....
commit
|
commitdiff
|
tree
2019-10-03
Aina Niemetz
Fix compiler warning. (#3348)
commit
|
commitdiff
|
tree
2019-09-16
Aina Niemetz
Fix compiler warning in options.cpp. (#3284)
commit
|
commitdiff
|
tree
2019-09-16
Aina Niemetz
parser: Improve error message for unrecognized input...
commit
|
commitdiff
|
tree
2019-08-19
Aina Niemetz
New C++ API: Add checks for Solver::checkValid and...
commit
|
commitdiff
|
tree
2019-08-14
Aina Niemetz
SmtEngine: Reorganize class according to guidelines...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Add checks and tests for Solver::simplify...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Fix test names of solver_black unit test...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Reorganize Solver code (move only). (...
commit
|
commitdiff
|
tree
2019-08-11
Aina Niemetz
New C++ API: Add documentation/guidelines for API guards...
commit
|
commitdiff
|
tree
2019-08-07
Aina Niemetz
New C++ API: Add checks and tests for push/pop. (#3121)
commit
|
commitdiff
|
tree
2019-08-07
Aina Niemetz
New C++ API: Introduce macros for try-catch blocks...
commit
|
commitdiff
|
tree
2019-08-06
Aina Niemetz
New C++ API: Fix branch prediction in CHECK macros...
commit
|
commitdiff
|
tree
2019-06-01
Aina Niemetz
Update QF_BV options for SMT-COMP 2019. (#3033)
commit
|
commitdiff
|
tree
2019-05-18
Aina Niemetz
FP: Fix regression test and enable SymFPU on Travis...
commit
|
commitdiff
|
tree
2019-05-15
Aina Niemetz
BV: Do not enable abstraction when eager bit-blasting...
commit
|
commitdiff
|
tree
2019-04-26
Aina Niemetz
New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar...
commit
|
commitdiff
|
tree
2019-04-25
Aina Niemetz
Fix compiler warning. (#2975)
commit
|
commitdiff
|
tree
2019-04-24
Aina Niemetz
README: Remove project leaders, history.
commit
|
commitdiff
|
tree
2019-04-24
Aina Niemetz
CONTRIBUTING: Fix project leaders link.
commit
|
commitdiff
|
tree
2019-04-22
Aina Niemetz
Add CONTRIBUTING file. (#2968)
commit
|
commitdiff
|
tree
2019-04-09
Aina Niemetz
Fix email address of the bugs email list and delete...
commit
|
commitdiff
|
tree
2019-04-03
Aina Niemetz
Update copyright headers.
commit
|
commitdiff
|
tree
2019-04-03
Aina Niemetz
get-authors: Add GitHub user ayveejay -> Andrew V....
commit
|
commitdiff
|
tree
2019-03-26
Aina Niemetz
Update copyright headers.
commit
|
commitdiff
|
tree
2019-03-26
Aina Niemetz
update-copyright: Update to 2019.
commit
|
commitdiff
|
tree
2019-03-25
Aina Niemetz
update-copyright: Fix matching of excluded paths.
commit
|
commitdiff
|
tree
2019-03-25
Aina Niemetz
get-authors: Readd option -C to git blame command.
commit
|
commitdiff
|
tree
2019-03-24
Aina Niemetz
New C++ API: Fix include. (#2896)
commit
|
commitdiff
|
tree
2019-03-24
Aina Niemetz
BV: Fix typerules for rotate operators. (#2895)
commit
|
commitdiff
|
tree
2019-03-19
Aina Niemetz
New C++: Remove redundant mkBoundVar function.
commit
|
commitdiff
|
tree
2019-03-19
Aina Niemetz
New C++: Remove redundant mkVar function.
commit
|
commitdiff
|
tree
2019-03-18
Aina Niemetz
BitVector: Allow base 10 in constructor. (#2870)
commit
|
commitdiff
|
tree
2019-03-14
Aina Niemetz
Improve INSTALL instructions. (#2866)
commit
|
commitdiff
|
tree
2019-02-13
Aina Niemetz
New C++ API: Remove redundant declareFun function....
commit
|
commitdiff
|
tree
2019-02-13
Aina Niemetz
New C++ API: Remove redundant mkTerm function. (#2836)
commit
|
commitdiff
|
tree
2019-02-11
Aina Niemetz
New C++ API: Unit tests for declare* functions. (#2831)
commit
|
commitdiff
|
tree
2019-01-29
Aina Niemetz
New C++ API: Fix checks for mkTerm. (#2820)
commit
|
commitdiff
|
tree
2019-01-22
Aina Niemetz
New README (markdown). (#2797)
commit
|
commitdiff
|
tree
2019-01-11
Aina Niemetz
New C++ API: Add unit tests for setInfo, setLogic,...
commit
|
commitdiff
|
tree
2019-01-10
Aina Niemetz
New C++ API: Get rid of mkConst functions (simplify...
commit
|
commitdiff
|
tree
2019-01-07
Aina Niemetz
New C++ API: Add missing getType() calls to kick off...
commit
|
commitdiff
|
tree
2019-01-04
Aina Niemetz
New C++ API: Add missing catch blocks for std::invalid_argum...
commit
|
commitdiff
|
tree
2019-01-03
Aina Niemetz
New C++ API: Add tests for mk-functions in solver object...
commit
|
commitdiff
|
tree
2018-12-20
Aina Niemetz
Clean up BV kinds and type rules. (#2766)
commit
|
commitdiff
|
tree
2018-12-20
Aina Niemetz
Add missing type rules for parameterized operator kinds...
commit
|
commitdiff
|
tree
2018-12-18
Aina Niemetz
Remove noop. (#2763)
commit
|
commitdiff
|
tree
2018-12-17
Aina Niemetz
New C++ API: Add tests for term object. (#2755)
commit
|
commitdiff
|
tree
2018-12-14
Aina Niemetz
Fixed typos.
commit
|
commitdiff
|
tree
2018-12-14
Aina Niemetz
New C++ API: Add tests for opterm object. (#2756)
commit
|
commitdiff
|
tree
2018-12-13
Aina Niemetz
New C++ API: Add tests for sort functions of solver...
commit
|
commitdiff
|
tree
2018-12-13
Aina Niemetz
Fix compiler warnings. (#2748)
commit
|
commitdiff
|
tree
2018-11-05
Aina Niemetz
New C++ API: Split unit tests. (#2688)
commit
|
commitdiff
|
tree
2018-10-20
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp with special...
commit
|
commitdiff
|
tree
2018-10-20
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_XOR...
commit
|
commitdiff
|
tree
2018-10-17
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_OR...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: Generalized ConcatPullUp...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: Generalized ConcatPullUp...
commit
|
commitdiff
|
tree
next