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

2022-04-14	Andrew Reynolds	Update LFSC version (#8614)	commit \| commitdiff \| tree
2022-04-13	mudathirmahgoub	Add Relation and Table types to SMTLib parser (#8605)	commit \| commitdiff \| tree
2022-04-13	Andrew Reynolds	Fix type issue for FP constants in LFSC node converter...	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Fix spurious assertion failure caused by subtyping...	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Fix type issue for LFSC null terminator (#8607)	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Add oracle checker utility (#8603)	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Add oracle caller utility (#8599)	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Making some benchmarks SMT-LIB compliant for subtypes...	commit \| commitdiff \| tree
2022-04-12	Andrew Reynolds	Fix more misuses of arithmetic subtypes (#8601)	commit \| commitdiff \| tree
2022-04-12	vinciusb	[proofs] [dot] Print nodes clusters at dot format ...	commit \| commitdiff \| tree
2022-04-11	Andrew Reynolds	More cleaning uses of arithmetic subtyping (#8595)	commit \| commitdiff \| tree
2022-04-11	Andrew Reynolds	Add oracle engine to quantifiers engine (#8589)	commit \| commitdiff \| tree
2022-04-11	Andrew Reynolds	Remove spurious case of ppRewrite (#8596)	commit \| commitdiff \| tree
2022-04-11	Andrew Reynolds	Add learned literal type and prop learned database...	commit \| commitdiff \| tree
2022-04-08	Andres Noetzli	Simplify parser (#8592)	commit \| commitdiff \| tree
2022-04-08	Andrew Reynolds	Minor refactoring of smt2 printer (#8588)	commit \| commitdiff \| tree
2022-04-08	Andrew Reynolds	Do not allow unresolved sorts in smt2 (#8587)	commit \| commitdiff \| tree
2022-04-08	Andrew Reynolds	Eliminate more uses of CONST_RATIONAL (#8590)	commit \| commitdiff \| tree
2022-04-08	Andrew Reynolds	Properly parse numerals as real when integers are disabled...	commit \| commitdiff \| tree
2022-04-07	Andrew Reynolds	Generalization for sygus verify utility (#8586)	commit \| commitdiff \| tree
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
next

RSS Atom