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

2021-07-09	Andres Noetzli	Make regression test `issue4971-0` more robust (#6857)	commit \| commitdiff \| tree
2021-07-09	Andres Noetzli	Use newer config.sub to fix build on Apple M1 (#6854)	commit \| commitdiff \| tree
2021-07-05	Andres Noetzli	[Strings] Fix incorrect rewrite (#6837)	commit \| commitdiff \| tree
2021-07-03	Andres Noetzli	Fix performance of string regression (#6832)	commit \| commitdiff \| tree
2021-07-02	Andres Noetzli	Fix CaDiCaL auto-download on macOS (#6828)	commit \| commitdiff \| tree
2021-07-02	Andres Noetzli	Add reverse iterators to `Node`/`TNode` (#6825)	commit \| commitdiff \| tree
2021-06-23	Andres Noetzli	Remove `--tear-down-incremental` (#6745)	commit \| commitdiff \| tree
2021-06-21	Andres Noetzli	[Attributes] Remove parameter `context_dependent` ...	commit \| commitdiff \| tree
2021-06-19	Andres Noetzli	[CI] Build with all available cores (#6768)	commit \| commitdiff \| tree
2021-06-18	Andres Noetzli	Remove obsolete libpoly patch (#6762)	commit \| commitdiff \| tree
2021-06-18	Andres Noetzli	Fix CaDiCaL build on Windows (#6764)	commit \| commitdiff \| tree
2021-06-18	Andres Noetzli	Fix build without libpoly (#6759)	commit \| commitdiff \| tree
2021-06-16	Andres Noetzli	Archive SMT-COMP 2021 run scripts (#6748)	commit \| commitdiff \| tree
2021-06-14	Andres Noetzli	Final update to SMT-COMP 2021 options (#6739)	commit \| commitdiff \| tree
2021-06-09	Andres Noetzli	Make `--solve-int-as-bv=X` robust to rewriting (#6722)	commit \| commitdiff \| tree
2021-06-09	Andres Noetzli	Update CVC4 URLs/macros (#6666)	commit \| commitdiff \| tree
2021-06-09	Andres Noetzli	Reorder ITE rewrites (#6723)	commit \| commitdiff \| tree
2021-06-09	Andres Noetzli	Update options for SMT-COMP (#6704)	commit \| commitdiff \| tree
2021-06-09	Andres Noetzli	docs: Fix `Kind` description (#6712)	commit \| commitdiff \| tree
2021-06-05	Andres Noetzli	Remove unwanted side effects in `SPLIT_EQ_STRIP_L`...	commit \| commitdiff \| tree
2021-06-04	Andres Noetzli	Fix handling of start index in `str.indexof_re` (#6674)	commit \| commitdiff \| tree
2021-06-03	Andres Noetzli	[GitHub Actions] Make caching of dependencies depend...	commit \| commitdiff \| tree
2021-06-02	Andres Noetzli	Remove references to `bv-div-zero-const` in docs (...	commit \| commitdiff \| tree
2021-06-02	Andres Noetzli	Remove option to ignore negative memberships (#6665)	commit \| commitdiff \| tree
2021-06-02	Andres Noetzli	Make `STRINGS_CTN_DECOMPOSE` an explicit conflict ...	commit \| commitdiff \| tree
2021-05-31	Andres Noetzli	Remove invalid options from run scripts (#6645)	commit \| commitdiff \| tree
2021-05-31	Andres Noetzli	Compute model values for nested sequences in order...	commit \| commitdiff \| tree
2021-05-28	Andres Noetzli	Disable `--jh-rlv-order` for slow regressions (#6633)	commit \| commitdiff \| tree
2021-05-28	Andres Noetzli	`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts ...	commit \| commitdiff \| tree
2021-05-27	Andres Noetzli	Fix `str.replace_re` and `str.replace_re_all` (#6615)	commit \| commitdiff \| tree
2021-05-27	Andres Noetzli	Return `REWRITE_AGAIN` after rewriting bvcomp (#6624)	commit \| commitdiff \| tree
2021-05-26	Andres Noetzli	More precise includes of `Node` constants (#6617)	commit \| commitdiff \| tree
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-21	Andres Noetzli	Support braced-init-lists with `mkNode()` (#6580)	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Remove unused methods from `NodeManager` (#6578)	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Make output list of `mkoptions.py` more accurate (...	commit \| commitdiff \| tree
2021-05-19	Andres Noetzli	Improve handling of `:named` attributes (#6549)	commit \| commitdiff \| tree
2021-05-18	Andres Noetzli	Fix `collectEmptyEqs()` in string utils (#6562)	commit \| commitdiff \| tree
2021-05-17	Andres Noetzli	Fix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites...	commit \| commitdiff \| tree
2021-05-17	Andres Noetzli	Include cinttypes instead of inttypes.h (#6548)	commit \| commitdiff \| tree
2021-05-14	Andres Noetzli	Decouple parser creation from input selection (#6533)	commit \| commitdiff \| tree
2021-05-13	Andres Noetzli	Always parse streams with line buffer (#6532)	commit \| commitdiff \| tree
2021-04-22	Andres Noetzli	Allow in-place construction of `CDList` items (#6409)	commit \| commitdiff \| tree
2021-04-20	Andres Noetzli	Fix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)	commit \| commitdiff \| tree
2021-04-12	Andres Noetzli	Fix GitHub Actions macOS build (#6331)	commit \| commitdiff \| tree
2021-04-09	Andres Noetzli	Learn equalities involving Boolean variables (#6323) Signed-off-by: Andres Noetzli noetzli@amazon.com	commit \| commitdiff \| tree
2021-04-06	Andres Noetzli	Remove template argument from `NodeBuilder` (#6290) Signed-off-by: Andres Noetzli noetzli@amazon.com	commit \| commitdiff \| tree
2021-03-12	Andres Noetzli	Schedule preregistration lemmas to be satisfied after... Signed-off-by: Andres Noetzli <noetzli@amazon.com>	commit \| commitdiff \| tree
2020-12-01	Andres Noetzli	Improve rewriting of str.<= (#4848)	commit \| commitdiff \| tree
2020-11-04	Andres Noetzli	Add constants from equality engine evaluation to model...	commit \| commitdiff \| tree
2020-11-03	Andres Noetzli	Add support for printing `re.loop` and `re.^` (#5392)	commit \| commitdiff \| tree
2020-10-09	Andres Noetzli	reset-assertions: Remove all non-global symbols in... Signed-off-by: Andres Noetzli <noetzli@amazon.com>	commit \| commitdiff \| tree
2020-09-23	Andres Noetzli	[Python API] Conversion to/from Unicode strings (#5120)	commit \| commitdiff \| tree
2020-09-22	Andres Noetzli	Fix compilation without LibPoly (#5118)	commit \| commitdiff \| tree
2020-09-18	Andres Noetzli	Fix muzzled builds (#5093)	commit \| commitdiff \| tree
2020-09-18	Andres Noetzli	[Strings] Fix extended equality rewriter (#5092)	commit \| commitdiff \| tree
2020-09-16	Andres Noetzli	Only rewrite replace_re(_all) if regexp is const (...	commit \| commitdiff \| tree
2020-09-15	Andres Noetzli	Fix ABC build (#5061)	commit \| commitdiff \| tree
2020-09-14	Andres Noetzli	Fix type for Windows build (#5062)	commit \| commitdiff \| tree
2020-09-08	Andres Noetzli	Make CVC/API BV div/mod semantics match SMT-LIB (#4997)	commit \| commitdiff \| tree
2020-09-02	Andres Noetzli	Fix CryptoMiniSat build, regression (#5006)	commit \| commitdiff \| tree
2020-09-02	Andres Noetzli	[Python API] Add missing methods to Datatype/Term ...	commit \| commitdiff \| tree
2020-09-02	Andres Noetzli	Use SMT-COMP configuration for competition build (...	commit \| commitdiff \| tree
2020-09-02	Andres Noetzli	[API] Fix Python Examples (#4943)	commit \| commitdiff \| tree
2020-08-31	Andres Noetzli	[CI] Fix Cython installation (#4983)	commit \| commitdiff \| tree
2020-08-19	Andres Noetzli	Require `--strings-exp` when using `str.substr` (#4916)	commit \| commitdiff \| tree
2020-08-19	Andres Noetzli	[Regressions] Do not test `--check-proofs` anymore...	commit \| commitdiff \| tree
2020-08-17	Andres Noetzli	[CI] Update package list (#4906)	commit \| commitdiff \| tree
2020-08-05	Andres Noetzli	[Strings] Add eager context-dependent evaluation (...	commit \| commitdiff \| tree
2020-08-03	Andres Noetzli	Update documentation for Solver::mkVar() (#4833)	commit \| commitdiff \| tree
2020-08-02	Andres Noetzli	Fix ASan failure in interactive_shell_black (#4827)	commit \| commitdiff \| tree
2020-08-02	Andres Noetzli	Ensure strict length constraint for decompose rule...	commit \| commitdiff \| tree
2020-07-30	Andres Noetzli	Python API: Add support for sequences (#4757)	commit \| commitdiff \| tree
2020-07-28	Andres Noetzli	Replace Expr with Node in Term/Op (#4781)	commit \| commitdiff \| tree
2020-07-17	Andres Noetzli	Add NodeManagerScopes to fix use-after-free issues...	commit \| commitdiff \| tree
2020-07-15	Andres Noetzli	Use Nodes for SmtEngine assertions (#4752)	commit \| commitdiff \| tree
2020-07-15	Andres Noetzli	Use TypeNode in UninterpretedConstant (#4748)	commit \| commitdiff \| tree
2020-07-14	Andres Noetzli	Use TypeNode in EmptySet (#4740)	commit \| commitdiff \| tree
2020-07-14	Andres Noetzli	Fix caching in TheoryEngine::getExplanation() (#4736)	commit \| commitdiff \| tree
2020-07-14	Andres Noetzli	Use TypeNode/Node in ArrayStoreAll (#4728)	commit \| commitdiff \| tree
2020-07-13	Andres Noetzli	Remove ExprSequence (#4724)	commit \| commitdiff \| tree
2020-07-10	Andres Noetzli	Always Update Git information when rebuilding (#4696)	commit \| commitdiff \| tree
2020-07-06	Andres Noetzli	[GitHub] Add link to fuzzing guidelines in issues ...	commit \| commitdiff \| tree
2020-07-03	Andres Noetzli	Remove SWIG bindings (#4683)	commit \| commitdiff \| tree
2020-07-01	Andres Noetzli	Add testing infrastructure for LFSC signatures (#4678)	commit \| commitdiff \| tree
2020-06-30	Andres Noetzli	Update NEWS post 1.8 release (#4666)	commit \| commitdiff \| tree
2020-06-29	Andres Noetzli	Make ExprManager constructor private (#4669)	commit \| commitdiff \| tree
2020-06-29	Andres Noetzli	Fix memory leak in unit test node_algorithm_black ...	commit \| commitdiff \| tree
2020-06-27	Andres Noetzli	Add API for retrieving separation heap/nil term (#4663)	commit \| commitdiff \| tree
2020-06-24	Andres Noetzli	Fix CVC4_EXTRAVERSION variable (#4653)	commit \| commitdiff \| tree
2020-06-24	Andres Noetzli	[unconstrained] Fix gathering of visited-once vars...	commit \| commitdiff \| tree
2020-06-19	Andres Noetzli	Update version information post 1.8 release (#4635)	commit \| commitdiff \| tree
2020-06-19	Andres Noetzli	Update info for 1.8 release (#4633)	commit \| commitdiff \| tree
2020-06-19	Andres Noetzli	Cleanup examples (#4634)	commit \| commitdiff \| tree
2020-06-19	Andres Noetzli	Add logic check for define-fun(s)-rec (#4577)	commit \| commitdiff \| tree
2020-06-18	Andres Noetzli	Improve memory management in Java bindings (#4629)	commit \| commitdiff \| tree
2020-06-12	Andres Noetzli	Fix install of static builds (#4604)	commit \| commitdiff \| tree
2020-06-10	Andres Noetzli	Add support for str.replace_re/str.replace_re_all ...	commit \| commitdiff \| tree
2020-06-09	Andres Noetzli	Language bindings: Enable catching of exceptions (...	commit \| commitdiff \| tree
next

RSS Atom