projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regressions in regress1 after #4613. (#4616)
2020-06-16 Aina NiemetzFix regressions in regress1 after #4613. (#4616)
 commit | commitdiff | tree
2020-06-15 Aina NiemetzBV: Add missing type check for BITVECTOR_REPEAT_OP...
commit | commitdiff | tree
2020-06-15 Aina NiemetzBV: Add missing type check for INT_TO_BITVECTOR. (...
commit | commitdiff | tree
2020-06-04 Aina NiemetzNew C++ Api: Second and last batch of API guards. ...
commit | commitdiff | tree
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557)
 commit | commitdiff | tree
2020-06-02 Aina NiemetzNew C++ API: Keep reference to solver object in non...
commit | commitdiff | tree
2020-05-22 Aina NiemetzCaDiCaL: Clean up initialization on creation. (#4516)
 commit | commitdiff | tree
2020-05-22 Aina NiemetzCryptominisat: Clean up initialization on creation...
commit | commitdiff | tree
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514)
 commit | commitdiff | tree
2020-05-20 Aina NiemetzCegqiBv: Clean up after renaming options. (#4487)
 commit | commitdiff | tree
2020-05-05 Aina NiemetzUpdate copyright year and AUTHORS/THANKS files. (#4468)
 commit | commitdiff | tree
2020-05-02 Aina NiemetzSMT-COMP 2020: Enable --fp-exp for new FP logics. ...
commit | commitdiff | tree
2020-04-29 Aina NiemetzSMT-COMP 2020: Fix scripts to use --no-type-checking...
commit | commitdiff | tree
2020-04-28 Aina Niemetzcontrib/get-gmp: Rename and update install instructions...
commit | commitdiff | tree
2020-04-06 Aina NiemetzNew C++ API: Rename Solver::mkTermInternal. (#4217)
 commit | commitdiff | tree
2020-04-04 Aina NiemetzNew C++ API: Remove Op::getSort(). (#4208)
 commit | commitdiff | tree
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191)
 commit | commitdiff | tree
2020-03-17 Aina NiemetzSmtEngine: Convert members owned by SmtEngine to unique...
commit | commitdiff | tree
2020-03-16 Aina NiemetzDecisionEngine: Use single unique pointer for ITE strategy...
commit | commitdiff | tree
2020-03-16 Aina NiemetzIssue 4077: Add unit test to reproduce issue. (#4107)
 commit | commitdiff | tree
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037)
 commit | commitdiff | tree
2020-03-12 Aina NiemetzHide options for and related to the BV abstraction...
commit | commitdiff | tree
2020-03-11 Aina Niemetzbv-gauss-elim: Fix handling of inconsistent case. ...
commit | commitdiff | tree
2020-03-10 Aina NiemetzFix issue with reset-assertions. (#3988)
 commit | commitdiff | tree
2020-03-10 Aina NiemetzUse fixed-width types in test/unit/context/contest_mm_black...
commit | commitdiff | tree
2020-03-10 Aina NiemetzFix -Wshadow warning in test/unit/context/context_mm_black...
commit | commitdiff | tree
2020-03-10 Aina NiemetzFix -Wshadow warnings in sygus_grammar_cons.cpp. (...
commit | commitdiff | tree
2020-03-09 Aina NiemetzDecisionEngine: Use unique_ptr for enabled strategies...
commit | commitdiff | tree
2020-03-05 Aina NiemetzMove ownership of DecisionEngine into PropEngine. ...
commit | commitdiff | tree
2020-03-05 Aina NiemetzRevert "Move ownership of DecisionEngine into PropEngine...
commit | commitdiff | tree
2020-02-29 Aina NiemetzpropEngine: Reorder class declaration according to...
commit | commitdiff | tree
2020-02-21 Aina NiemetzNew 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 NiemetzIncrease regression test time limit to 1200s. (#3704)
 commit | commitdiff | tree
2020-01-15 Aina NiemetzNew 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 NiemetzFix clang-format file for brace wrapping with case...
commit | commitdiff | tree
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400)
 commit | commitdiff | tree
2019-10-11 Aina NiemetzMake order of theories explicit in the source code...
commit | commitdiff | tree
2019-10-09 Aina NiemetzNodeValue: Use 'using' instead of 'typedef'. (#3374)
 commit | commitdiff | tree
2019-10-09 Aina NiemetzNodeValue: Use fixed width return type for getRefCount...
commit | commitdiff | tree
2019-10-09 Aina NiemetzReorder NodeValue class according to our code style...
commit | commitdiff | tree
2019-10-09 Aina NiemetzNew C++ API: Term: Add missing checks for null. (#3364)
 commit | commitdiff | tree
2019-10-08 Aina NiemetzBuild system: Add build type for incremental competition...
commit | commitdiff | tree
2019-10-08 Aina NiemetzNew C++ API: Add Term::getId(). (#3360)
 commit | commitdiff | tree
2019-10-03 Aina NiemetzTravis: Reenable building and running of examples....
commit | commitdiff | tree
2019-10-03 Aina NiemetzFix compiler warning. (#3348)
 commit | commitdiff | tree
2019-09-16 Aina NiemetzFix compiler warning in options.cpp. (#3284)
 commit | commitdiff | tree
2019-09-16 Aina Niemetzparser: Improve error message for unrecognized input...
commit | commitdiff | tree
2019-08-19 Aina NiemetzNew C++ API: Add checks for Solver::checkValid and...
commit | commitdiff | tree
2019-08-14 Aina NiemetzSmtEngine: Reorganize class according to guidelines...
commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Add checks and tests for Solver::simplify...
commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Fix test names of solver_black unit test...
commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Reorganize Solver code (move only). (...
commit | commitdiff | tree
2019-08-11 Aina NiemetzNew C++ API: Add documentation/guidelines for API guards...
commit | commitdiff | tree
2019-08-07 Aina NiemetzNew C++ API: Add checks and tests for push/pop. (#3121)
 commit | commitdiff | tree
2019-08-07 Aina NiemetzNew C++ API: Introduce macros for try-catch blocks...
commit | commitdiff | tree
2019-08-06 Aina NiemetzNew C++ API: Fix branch prediction in CHECK macros...
commit | commitdiff | tree
2019-06-01 Aina NiemetzUpdate QF_BV options for SMT-COMP 2019. (#3033)
 commit | commitdiff | tree
2019-05-18 Aina NiemetzFP: 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 NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar...
commit | commitdiff | tree
2019-04-25 Aina NiemetzFix compiler warning. (#2975)
 commit | commitdiff | tree
2019-04-24 Aina NiemetzREADME: Remove project leaders, history.
 commit | commitdiff | tree
2019-04-24 Aina NiemetzCONTRIBUTING: Fix project leaders link.
 commit | commitdiff | tree
2019-04-22 Aina NiemetzAdd CONTRIBUTING file. (#2968)
 commit | commitdiff | tree
2019-04-09 Aina NiemetzFix email address of the bugs email list and delete...
commit | commitdiff | tree
2019-04-03 Aina NiemetzUpdate copyright headers.
 commit | commitdiff | tree
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V....
commit | commitdiff | tree
2019-03-26 Aina NiemetzUpdate copyright headers.
 commit | commitdiff | tree
2019-03-26 Aina Niemetzupdate-copyright: Update to 2019.
 commit | commitdiff | tree
2019-03-25 Aina Niemetzupdate-copyright: Fix matching of excluded paths.
 commit | commitdiff | tree
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command.
 commit | commitdiff | tree
2019-03-24 Aina NiemetzNew C++ API: Fix include. (#2896)
 commit | commitdiff | tree
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895)
 commit | commitdiff | tree
2019-03-19 Aina NiemetzNew C++: Remove redundant mkBoundVar function.
 commit | commitdiff | tree
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function.
 commit | commitdiff | tree
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870)
 commit | commitdiff | tree
2019-03-14 Aina NiemetzImprove INSTALL instructions. (#2866)
 commit | commitdiff | tree
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function....
commit | commitdiff | tree
2019-02-13 Aina NiemetzNew C++ API: Remove redundant mkTerm function. (#2836)
 commit | commitdiff | tree
2019-02-11 Aina NiemetzNew C++ API: Unit tests for declare* functions. (#2831)
 commit | commitdiff | tree
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820)
 commit | commitdiff | tree
2019-01-22 Aina NiemetzNew README (markdown). (#2797)
 commit | commitdiff | tree
2019-01-11 Aina NiemetzNew C++ API: Add unit tests for setInfo, setLogic,...
commit | commitdiff | tree
2019-01-10 Aina NiemetzNew C++ API: Get rid of mkConst functions (simplify...
commit | commitdiff | tree
2019-01-07 Aina NiemetzNew C++ API: Add missing getType() calls to kick off...
commit | commitdiff | tree
2019-01-04 Aina NiemetzNew C++ API: Add missing catch blocks for std::invalid_argum...
commit | commitdiff | tree
2019-01-03 Aina NiemetzNew C++ API: Add tests for mk-functions in solver object...
commit | commitdiff | tree
2018-12-20 Aina NiemetzClean up BV kinds and type rules. (#2766)
 commit | commitdiff | tree
2018-12-20 Aina NiemetzAdd missing type rules for parameterized operator kinds...
commit | commitdiff | tree
2018-12-18 Aina NiemetzRemove noop. (#2763)
 commit | commitdiff | tree
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755)
 commit | commitdiff | tree
2018-12-14 Aina NiemetzFixed typos.
 commit | commitdiff | tree
2018-12-14 Aina NiemetzNew C++ API: Add tests for opterm object. (#2756)
 commit | commitdiff | tree
2018-12-13 Aina NiemetzNew C++ API: Add tests for sort functions of solver...
commit | commitdiff | tree
2018-12-13 Aina NiemetzFix compiler warnings. (#2748)
 commit | commitdiff | tree
2018-11-05 Aina NiemetzNew C++ API: Split unit tests. (#2688)
 commit | commitdiff | tree
2018-10-20 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp with special...
commit | commitdiff | tree
2018-10-20 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_XOR...
commit | commitdiff | tree
next