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

2022-04-07	Andrew Reynolds	Internal representation of oracle interface quantifiers...	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Add method to get leaves of a NodeTrie (#8583)	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Make sets and bags operators left-associative (#8584)	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Eliminate SmtSolver dependency on SolverEngineState...	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Minor fix for printing nullary operators in smt2 (...	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Fix proof checker for SUBS (#8578)	commit \| commitdiff \| tree
2022-04-06	Andrew Reynolds	Fixes for LFSC printing and signatures (#8579)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fix doc generation for kinds in java API. (#8576)	commit \| commitdiff \| tree
2022-04-05	Mathias Preiner	Update copyright headers for release 1.0 (#8539)	commit \| commitdiff \| tree
2022-04-05	Mathias Preiner	Update NEWS for cvc5 1.0. (#8460)	commit \| commitdiff \| tree
2022-04-05	Andrew Reynolds	Make inst constant attribute robust to purification...	commit \| commitdiff \| tree
2022-04-05	Gereon Kremer	Make rewriter more robust against RAN becoming rational...	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: More fixes in the java API. (#8571)	commit \| commitdiff \| tree
2022-04-05	Andrew Reynolds	Be permissive for subtyping in function definitions...	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: More fixes in C++ API docs. (#8570)	commit \| commitdiff \| tree
2022-04-05	Alex Ozdemir	Write-up for Pythonic API quickstart (#8566)	commit \| commitdiff \| tree
2022-04-05	Mathias Preiner	docs: Fix mkTerm calls in theory documentation. (#8567)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fix OptionInfo docs for java API. (#8569)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fixes in docs for Op. (#8565)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fixes for Grammar docs in java API. (#8563)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fixes in java api docs. (#8562)	commit \| commitdiff \| tree
2022-04-05	Aina Niemetz	api: Fixes in docs for DatatypeConstructor. (#8561)	commit \| commitdiff \| tree
2022-04-05	mudathirmahgoub	Docs: remove api from package name in java.rst (#8560) Fix broken links in https://cvc5.github.io/docs/cvc5-0.0.12/api/java/java...	commit \| commitdiff \| tree
2022-04-04	Aina Niemetz	api: More fixes in docs. (#8559)	commit \| commitdiff \| tree
2022-04-04	Aina Niemetz	api: First batch of fixes in the api docs. (#8558)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Fix links when converting kinds documentation to python...	commit \| commitdiff \| tree
2022-04-04	Aina Niemetz	python api: More fixes. (#8556)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Maintain symlink to docs for latest release (#8555)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Remove duplicate lines (#8552)	commit \| commitdiff \| tree
2022-04-04	Alex Ozdemir	Bump Pythonic (transcendentals) & exception example...	commit \| commitdiff \| tree
2022-04-04	Aina Niemetz	api: Various fixes in Python documentation. (#8554)	commit \| commitdiff \| tree
2022-04-04	Gereon Kremer	Various improvements and fixes in the documentation...	commit \| commitdiff \| tree
2022-04-04	Andrew Reynolds	Rename getInstantiatedConstructorTerm to getInstantiatedTerm...	commit \| commitdiff \| tree
2022-04-04	Andrew Reynolds	Use raw symbols in proofs (#8550) Work towards https://github.com/cvc5/cvc5-projects/issues...	commit \| commitdiff \| tree
2022-04-04	Haniel Barbosa	[proofs] [sat] Make SAT assumption bookeeping robust...	commit \| commitdiff \| tree
2022-04-04	Andrew Reynolds	Fix for get-value with empty uninterpreted sort domain... Alternative for https://github.com/cvc5/cvc5/pull/8546.	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	use one process more than we have cores (#8545)	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Rename mkSygusGrammar to mkGrammar (#8544)	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Remove variant of mkDatatypeDecl with one sort parameter...	commit \| commitdiff \| tree
2022-04-02	Aina Niemetz	api: Rename get(Selector\|Constructor)Term() to getTerm...	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	Follow renaming within pythonic API (#8532)	commit \| commitdiff \| tree
2022-04-02	Gereon Kremer	Always cancel already running CI runs on forks (#8542)	commit \| commitdiff \| tree
2022-04-02	Cesare Tinelli	Minor edits in docs. (#8540)	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Ignore irrelevant exponential terms (#8534)	commit \| commitdiff \| tree
2022-04-02	Mathias Preiner	docs: Add Python installation instructions for pip...	commit \| commitdiff \| tree
2022-04-02	Aina Niemetz	api: Remove DatatypeConstructor::getSelectorTerm()...	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Require that used model values are constant in CEGQI...	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Add a few miscellaneous pieces of documentation (#8533)	commit \| commitdiff \| tree
2022-04-02	mudathirmahgoub	Remove java API methods that accepts lists as arguments...	commit \| commitdiff \| tree
2022-04-02	Andrew Reynolds	Add more explanations in the API (#8493)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Simplify the python base API in a few places (#8514)	commit \| commitdiff \| tree
2022-04-01	Andrew Reynolds	Simplifications to the datatypes API (#8511)	commit \| commitdiff \| tree
2022-04-01	Mathias Preiner	docs: Document UnknownExplanation. (#8508)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Prevent using the coverings solver with extended operators...	commit \| commitdiff \| tree
2022-04-01	Aina Niemetz	api kinds: Refactor docs for kinds to properly render...	commit \| commitdiff \| tree
2022-04-01	Aina Niemetz	api: Remove Datatype::getConstructorTerm(). (#8529)	commit \| commitdiff \| tree
2022-04-01	Haniel Barbosa	Replace regression by minimized one via ddSMT (#8531)	commit \| commitdiff \| tree
2022-04-01	Gereon Kremer	Only run pypi packaging when release is published ...	commit \| commitdiff \| tree
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
next

RSS Atom