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

2021-05-25	Andres Noetzli	Replace deprecated calls to `std::allocator` (#6606)	commit \| commitdiff \| tree
2021-05-25	Andres Noetzli	[Unit tests] Fix path of Java bindings (#6616)	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Fix non-fixed length case in re-elim (#6612)	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Implementation of the new justification heuristic ...	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Move proof utilities to src/proof/ (#6611)	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Fix re-elim length requirement for symbolic RE memberships...	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Fix instance of no rewrite in extended rewriter (#6610)	commit \| commitdiff \| tree
2021-05-24	Andrew Reynolds	Better formalization of regular expression unfolding...	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Fix tests of unsat cores (#6593)	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Fix and refactor relevant domain (#6528)	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Formalize shared selectors as skolem functions (#6591)	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Minor simplification to boolean proof checker (#6590)	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	(proof-new) Minor documentation sync (#6592)	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Add utility to get all types occurring in a term (...	commit \| commitdiff \| tree
2021-05-21	Andrew Reynolds	Update to sygus standard output for check-synth responses...	commit \| commitdiff \| tree
2021-05-21	Andres Noetzli	Support braced-init-lists with `mkNode()` (#6580)	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	api docs: Tweak and fix style. (#6582)	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	api docs: Update copyright. (#6596)	commit \| commitdiff \| tree
2021-05-21	makaimann	Use scikit-build CMake files for pycvc5 (#6543)	commit \| commitdiff \| tree
2021-05-21	Gereon Kremer	Move option names out of struct (#6554)	commit \| commitdiff \| tree
2021-05-21	Aina Niemetz	BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)	commit \| commitdiff \| tree
2021-05-20	Mathias Preiner	Update version of CaDiCaL. (#6583)	commit \| commitdiff \| tree
2021-05-20	Aina Niemetz	Disable unit testing for clang builds. (#6595)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Properly initialize. (#6586)	commit \| commitdiff \| tree
2021-05-20	Haniel Barbosa	Remove old unsat cores (#6581)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Use most recent version of libpoly (#6587)	commit \| commitdiff \| tree
2021-05-20	yoni206	Avoid using printSynthSolution in the python API and...	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Minor improvements to the API (#6585)	commit \| commitdiff \| tree
2021-05-20	Aina Niemetz	Fix echo printing. (#6573)	commit \| commitdiff \| tree
2021-05-20	Gereon Kremer	Add more getters for api::Term (#6496)	commit \| commitdiff \| tree
2021-05-20	Alex Ozdemir	Expand arith's farkas lemma rule as a macro (#6577)	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Remove unused methods from `NodeManager` (#6578)	commit \| commitdiff \| tree
2021-05-19	Mathias Preiner	Correctly handle negated assertions for assumption...	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Pass empty vector when constructing re empty, fixes...	commit \| commitdiff \| tree
2021-05-19	Ying Sheng	Adding python API test part 4 (#6553)	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Make output list of `mkoptions.py` more accurate (...	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Make strings emp inference an unhandled inference for...	commit \| commitdiff \| tree
2021-05-19	Haniel Barbosa	Adding regressions that failed on old unsat cores ...	commit \| commitdiff \| tree
2021-05-19	Haniel Barbosa	Change the default unsat cores (#6571)	commit \| commitdiff \| tree
2021-05-19	Ying Sheng	Adding python API test part 3 (#6552)	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Fix strings rewriter for non-standard re range (#6570)	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Add more missing inference ids (#6313)	commit \| commitdiff \| tree
2021-05-19	Mathias Preiner	bv: Add support for --bitblast=eager. (#6516)	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Fix positive contains indexof rewrites for empty string...	commit \| commitdiff \| tree
2021-05-19	Gereon Kremer	Remove accidental print (#6568)	commit \| commitdiff \| tree
2021-05-19	Gereon Kremer	Generate command line options for sphinx docs (#6555)	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Improve handling of `:named` attributes (#6549)	commit \| commitdiff \| tree
2021-05-19	Andrew Reynolds	Fix handling of non-standard re.range terms (#6563)	commit \| commitdiff \| tree
2021-05-18	Abdalrhman Mohamed	Loop over terms to reconstruct instead of obligations...	commit \| commitdiff \| tree
2021-05-18	Andres Noetzli	Fix `collectEmptyEqs()` in string utils (#6562)	commit \| commitdiff \| tree
2021-05-18	Ying Sheng	Adding python API test part 2 (#6551)	commit \| commitdiff \| tree
2021-05-18	Andrew Reynolds	(proof-new) Miscellaneous updates to strings from proof...	commit \| commitdiff \| tree
2021-05-18	Andrew Reynolds	Fix smt2 printing (#6558)	commit \| commitdiff \| tree
2021-05-18	mudathirmahgoub	Add Solver.java to the Java API (#6196)	commit \| commitdiff \| tree
2021-05-17	Andres Noetzli	Fix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites...	commit \| commitdiff \| tree
2021-05-17	Ying Sheng	Adding python API test (#6546)	commit \| commitdiff \| tree
2021-05-17	yoni206	Move and enhance python API grammar tests (#6538) ...an exact translation of https://github.com/cvc5/cvc5/blob/master/test...	commit \| commitdiff \| tree
2021-05-17	Gereon Kremer	Replace smt_name by aliases (#6541)	commit \| commitdiff \| tree
2021-05-17	Andres Noetzli	Include cinttypes instead of inttypes.h (#6548)	commit \| commitdiff \| tree
2021-05-17	Gereon Kremer	Improve integration of CAD with nl-Ext (#6542)	commit \| commitdiff \| tree
2021-05-14	Andres Noetzli	Decouple parser creation from input selection (#6533)	commit \| commitdiff \| tree
2021-05-14	Gereon Kremer	Restrict additional CI jobs (#6539)	commit \| commitdiff \| tree
2021-05-14	Abdalrhman Mohamed	Stop using the solver for printing sygus synthesis...	commit \| commitdiff \| tree
2021-05-14	Alex Ozdemir	Add getId function to python API (#6523)	commit \| commitdiff \| tree
2021-05-14	mudathirmahgoub	Add Result.java to the java API (#6385)	commit \| commitdiff \| tree
2021-05-14	Mathias Preiner	bv: Assert input facts on user-level 0. (#6515)	commit \| commitdiff \| tree
2021-05-14	Aina Niemetz	api docs: Tweak style to be consistent with website...	commit \| commitdiff \| tree
2021-05-13	Andres Noetzli	Always parse streams with line buffer (#6532)	commit \| commitdiff \| tree
2021-05-13	Mathias Preiner	Add std::hash overloads for Node, TNode and TypeNode...	commit \| commitdiff \| tree
2021-05-13	Gereon Kremer	Split options holder class (#6527)	commit \| commitdiff \| tree
2021-05-13	yoni206	Adding functions to the python API and testing them... ...tests are translated from https://github.com/cvc5/cvc5/blob/master/test...	commit \| commitdiff \| tree
2021-05-13	Alex Ozdemir	Fix error message in toPythonObj (#6524)	commit \| commitdiff \| tree
2021-05-12	Gereon Kremer	Move docs upload to a different workflow (#6512)	commit \| commitdiff \| tree
2021-05-12	Andrew Reynolds	Preliminary draft of changes for SMT comp 2021 (#6522)	commit \| commitdiff \| tree
2021-05-12	Andrew Reynolds	Ensure sequences of Booleans generate Boolean term...	commit \| commitdiff \| tree
2021-05-12	Gereon Kremer	Use signal(sig, SIG_DFL); raise(sig); instead of abort...	commit \| commitdiff \| tree
2021-05-10	Gereon Kremer	Remove header for option modules (#6514)	commit \| commitdiff \| tree
2021-05-10	Gereon Kremer	Remove read_only from options. (#6513)	commit \| commitdiff \| tree
2021-05-10	Andrew Reynolds	Unify top-level substitutions and model substitutions...	commit \| commitdiff \| tree
2021-05-10	mudathirmahgoub	Add doc to Kind.java (#6498)	commit \| commitdiff \| tree
2021-05-08	yoni206	Adding functions to the python API and testing them...	commit \| commitdiff \| tree
2021-05-08	Andrew Reynolds	Add support for datatype update (#6449)	commit \| commitdiff \| tree
2021-05-07	Aina Niemetz	Move slow regressions and update guidelines. (#6508)	commit \| commitdiff \| tree
2021-05-07	Aina Niemetz	Fix and add missing REQUIRE labels for FP regression...	commit \| commitdiff \| tree
2021-05-07	Gereon Kremer	Integrate documentation build with the regular CI workflow...	commit \| commitdiff \| tree
2021-05-07	Haniel Barbosa	Properly printing INST_PATTERN_LIST by itself (#6507)	commit \| commitdiff \| tree
2021-05-07	Andrew Reynolds	Simplifications to expand definitions (#6487)	commit \| commitdiff \| tree
2021-05-07	makaimann	Fix for toPythonObj of integer value with real sort...	commit \| commitdiff \| tree
2021-05-06	Haniel Barbosa	[proof-new] Updating documentation for Subs/Rw ids...	commit \| commitdiff \| tree
2021-05-06	Andrew Reynolds	Discard duplicate terms in patterns (#6501)	commit \| commitdiff \| tree
2021-05-06	Mathias Preiner	Update README.md and remove last CVC4 references. ...	commit \| commitdiff \| tree
2021-05-06	Andrew Reynolds	Use constant folding for evaluating BV eager atom ...	commit \| commitdiff \| tree
2021-05-05	Andrew Reynolds	Do not have quantifiers model inherit from theory model...	commit \| commitdiff \| tree
2021-05-05	makaimann	Save block comments associated with each kind when...	commit \| commitdiff \| tree
2021-05-05	Ouyancheng	Add helper functions for multi-objective optimization...	commit \| commitdiff \| tree
2021-05-05	Andrew Reynolds	Move current decision engine to decision engine old...	commit \| commitdiff \| tree
2021-05-04	Andrew Reynolds	Move env into smt solver, theory engine, prop engine...	commit \| commitdiff \| tree
2021-05-04	Haniel Barbosa	Do not use proof CNF stream with assumptions-based...	commit \| commitdiff \| tree
2021-05-04	Gereon Kremer	Use proper commit hash for PRs (#6485)	commit \| commitdiff \| tree
2021-05-04	Mathias Preiner	cmake: Fix ninja build. (#6481)	commit \| commitdiff \| tree
next

RSS Atom