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

2022-04-01	Mathias Preiner	make-release: Clarify instructions for pushing commits...	commit \| commitdiff \| tree
2022-04-01	Haniel Barbosa	[proofs] [doc] Document string rules (#8498)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Change CI concurrency policy to not queue on main ... ...basically follows https://docs.github.com/en/actions/using-workflows...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Document special member functions in python API (#8513)	commit \| commitdiff \| tree
2022-04-01	Aina Niemetz	Python API: Do not rename enumerators. (#8507)	commit \| commitdiff \| tree
2022-04-01	Haniel Barbosa	[proofs] [alethe] Fix Alethe post-processor (#8525)	commit \| commitdiff \| tree
2022-04-01	Andrew Reynolds	Internal simplifications to constructing datatypes...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Fix pypi packaging trigger again (#8512) ...workflows are not triggered when the GITHUB_TOKEN is used. This PR creates...	commit \| commitdiff \| tree
2022-04-01	Haniel Barbosa	[proofs] [doc] Minor changes to general proofs page...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Remove decorator from python API (#8505)	commit \| commitdiff \| tree
2022-04-01	Andres Noetzli	[API] Add mode argument for `Solver::blockModel()`...	commit \| commitdiff \| tree
2022-04-01	Andres Noetzli	Remove `UnknownExplanation::NO_STATUS` (#8518)	commit \| commitdiff \| tree
2022-04-01	mudathirmahgoub	Fix javadoc custom tag warning (#8502)	commit \| commitdiff \| tree
2022-04-01	Mathias Preiner	docs: Add documentation for modes. (#8509)	commit \| commitdiff \| tree
2022-04-01	Aina Niemetz	Python api: Various fixes in docs. (#8480)	commit \| commitdiff \| tree
2022-04-01	Andres Noetzli	[API] Remove redundant version of `mkFunctionSort`...	commit \| commitdiff \| tree
2022-04-01	Andrew Reynolds	Fix sygus-inst when combined with bounded string quantifiers...	commit \| commitdiff \| tree
2022-04-01	Mathias Preiner	api: Swap arguments of declareSygusVar. (#8499)	commit \| commitdiff \| tree
2022-04-01	Mathias Preiner	api: Use std::optional for symbols in mk* functions...	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Also run on created. (#8506)	commit \| commitdiff \| tree
2022-03-31	Ying Sheng	Add documentation for sequences (#8496)	commit \| commitdiff \| tree
2022-03-31	mudathirmahgoub	Fix bag example links (#8504)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Handled quoted symbols in indexed operators (#8491) Fixes https://github.com/cvc5/cvc5/issues/8489.	commit \| commitdiff \| tree
2022-03-31	Aina Niemetz	Various fixes related to isDatatypeXXX checks. (#8473)	commit \| commitdiff \| tree
2022-03-31	Aina Niemetz	Sort, TypeNode: Rename functions related to datatypes...	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Disable minisat variable elimination when a parametric...	commit \| commitdiff \| tree
2022-03-31	Andres Noetzli	Remove examples that use the old API (#8486)	commit \| commitdiff \| tree
2022-03-31	Aina Niemetz	api: Remove warning for Sort::instantiate(). (#8475)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Do not export dt.size (#8483)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Fix check for whether PI is reduced (#8485)	commit \| commitdiff \| tree
2022-03-31	Mathias Preiner	ci: Fix typo in update-pr job. (#8492)	commit \| commitdiff \| tree
2022-03-31	Gereon Kremer	Improve documentation for Statistics in C++ API (#8476)	commit \| commitdiff \| tree
2022-03-31	Haniel Barbosa	[proofs] Adding post-visit processing to proof node...	commit \| commitdiff \| tree
2022-03-31	Andres Noetzli	Remove support for Python 2.x (#8488)	commit \| commitdiff \| tree
2022-03-31	mudathirmahgoub	Add examples/bags.cpp (#8463)	commit \| commitdiff \| tree
2022-03-31	Andres Noetzli	Fix Java examples (#8484)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Fix lower vs upper bound issue for eager RE conflicts...	commit \| commitdiff \| tree
2022-03-31	Gereon Kremer	Install necessary packages (#8479)	commit \| commitdiff \| tree
2022-03-31	Gereon Kremer	Only run update-pr for normal commits on main (#8478)	commit \| commitdiff \| tree
2022-03-31	Gereon Kremer	Improve documentation for OptionInfo (#8474)	commit \| commitdiff \| tree
2022-03-31	Andres Noetzli	Move Java package to `io.github.cvc5` (#8469) Move Java package to `io.github.cvc5` (#8469) Previously, we were using io.github.cvc5.api to mirror the C++	commit \| commitdiff \| tree
2022-03-31	Haniel Barbosa	[proofs] [doc] Documenting arrays, bit-vectors, datatypes...	commit \| commitdiff \| tree
2022-03-31	Haniel Barbosa	[proofs] [doc] Document equality rules (#8462)	commit \| commitdiff \| tree
2022-03-31	Mathias Preiner	docs: Remove api namespace. (#8455)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Fix non-termination in the strings rewriter (#8438)	commit \| commitdiff \| tree
2022-03-31	Aina Niemetz	api: Mark experimental kinds. (#8464)	commit \| commitdiff \| tree
2022-03-31	Mathias Preiner	ci: Do not cancel jobs on main branch. (#8471)	commit \| commitdiff \| tree
2022-03-31	Andrew Reynolds	Fix case of Boolean skolem for ground term E-matching...	commit \| commitdiff \| tree
2022-03-31	Mathias Preiner	ci: Update older PRs first. (#8477)	commit \| commitdiff \| tree
2022-03-31	Mathias Preiner	api: Remove isUninterpretedSortParameterized from header...	commit \| commitdiff \| tree
2022-03-30	Gereon Kremer	Allow for multiple (equal) base model values (#8467)	commit \| commitdiff \| tree
2022-03-30	Mathias Preiner	Exclude competition build for issue8377-resolve-indexed...	commit \| commitdiff \| tree
2022-03-30	Mathias Preiner	Move cvc5::internal::context to cvc5::context. (#8451)	commit \| commitdiff \| tree
2022-03-30	mudathirmahgoub	Patch cross reference in Kind.java documentation (...	commit \| commitdiff \| tree
2022-03-30	Aina Niemetz	docs: Add bags to list of theory references. (#8461)	commit \| commitdiff \| tree
2022-03-30	Aina Niemetz	api: Add Sort::getUninterpretedSortConstructor(). ...	commit \| commitdiff \| tree
2022-03-30	Andrew Reynolds	Fix policy for purifying arguments of exp (#8416)	commit \| commitdiff \| tree
2022-03-30	Andrew Reynolds	Fixes for sygus-inst (#8448)	commit \| commitdiff \| tree
2022-03-30	Andrew Reynolds	Fix subtype issue in cegqi arithmetic (#8440)	commit \| commitdiff \| tree
2022-03-30	Aina Niemetz	TypeNode: Unify functions to instantiate parametric...	commit \| commitdiff \| tree
2022-03-30	Andres Noetzli	[API] Move `UnknownExplanation` to `cvc5_types.h` ...	commit \| commitdiff \| tree
2022-03-30	Haniel Barbosa	[proof] [doc] Document external proof rules (#8439)	commit \| commitdiff \| tree
2022-03-30	Mathias Preiner	Move cvc5::internal::main to cvc5::main. (#8454)	commit \| commitdiff \| tree
2022-03-30	yoni206	Add information for cardinality constraint to the Python...	commit \| commitdiff \| tree
2022-03-30	yoni206	Adding some missing python API methods and tests (...	commit \| commitdiff \| tree
2022-03-30	Andrew Reynolds	Change tuple tokens and update datatypes theory ref...	commit \| commitdiff \| tree
2022-03-30	Andrew Reynolds	Add LFSC to internal proof checker (#8442)	commit \| commitdiff \| tree
2022-03-30	mudathirmahgoub	Fix some documentation warnings (#8453)	commit \| commitdiff \| tree
2022-03-30	Mathias Preiner	Rename master branch to main. (#8452)	commit \| commitdiff \| tree
2022-03-30	Abdalrhman Mohamed	Show the code for utilities in the docs. (#8387)	commit \| commitdiff \| tree
2022-03-30	Aina Niemetz	TypeNode: Rename isSort() and getSortConstructorArity...	commit \| commitdiff \| tree
2022-03-29	Mathias Preiner	Introduce internal namespace and remove api namespace...	commit \| commitdiff \| tree
2022-03-29	Aina Niemetz	api: Add Sort::getInstantiatedParameters(). (#8445)	commit \| commitdiff \| tree
2022-03-29	yoni206	bv-to-int: fix translation of bvneg (#8437)	commit \| commitdiff \| tree
2022-03-29	Andrew Reynolds	Make ensureTermSort private (#8436)	commit \| commitdiff \| tree
2022-03-29	Andrew Reynolds	Add information for cardinality constraint to the API...	commit \| commitdiff \| tree
2022-03-29	Andrew Reynolds	Make ProofNodeManager mkScope more robust (#8435)	commit \| commitdiff \| tree
2022-03-29	mudathirmahgoub	Add bags.rst (#8432)	commit \| commitdiff \| tree
2022-03-29	Andrew Reynolds	Fix issue related to use of Boolean term variable for...	commit \| commitdiff \| tree
2022-03-29	Andres Noetzli	[API] Add `{is,get}RoundingModeValue()` (#8429)	commit \| commitdiff \| tree
2022-03-29	Aina Niemetz	TypeNode: Refactor get param types handling. (#8428)	commit \| commitdiff \| tree
2022-03-29	Clark Barrett	Fix for issue 5925: constant arrays should be nonlinear...	commit \| commitdiff \| tree
2022-03-29	Aina Niemetz	api: Add Sort::isInstantiated(). (#8425)	commit \| commitdiff \| tree
2022-03-29	Andres Noetzli	Move `RoundingMode` to `cvc5_types.h` (#8427)	commit \| commitdiff \| tree
2022-03-28	Andrew Reynolds	Mark more methods as experimental (#8426)	commit \| commitdiff \| tree
2022-03-28	Mathias Preiner	Rename get-interpol to get-interpolant. (#8424)	commit \| commitdiff \| tree
2022-03-28	Andres Noetzli	[API] Mark methods as experimental (#8249)	commit \| commitdiff \| tree
2022-03-28	Mathias Preiner	ci: Enable all language bindings for debug build. ...	commit \| commitdiff \| tree
2022-03-28	Aina Niemetz	api: Remove left-over Sort::getUninterpretedSortName...	commit \| commitdiff \| tree
2022-03-28	Lachnitt	[proofs] Alethe: Call Printer (#8408)	commit \| commitdiff \| tree
2022-03-28	Lachnitt	[proofs] Alethe: Add ALETHE_RULE to builtin proof checker...	commit \| commitdiff \| tree
2022-03-28	Andrew Reynolds	Fix synth result python unit test (#8418)	commit \| commitdiff \| tree
2022-03-28	Mathias Preiner	Mark solve-bv-as-int as expert. (#8417)	commit \| commitdiff \| tree
2022-03-26	yoni206	Separating produce-interpols from the mode of interpolant...	commit \| commitdiff \| tree
2022-03-26	Aina Niemetz	builtin: Move type rules implementation to .cpp file...	commit \| commitdiff \| tree
2022-03-26	Aina Niemetz	api: Rename SortConstructor to *UninterpretedSortConstruct...	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Fix spurious assertion failure (#8404)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Throw logic exception for set.map (#8403)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	More minor cleaning of options (#8401)	commit \| commitdiff \| tree
2022-03-26	Andrew Reynolds	Fixes for API kind documentation (#8397)	commit \| commitdiff \| tree
next

RSS Atom