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

2021-09-02	Andres Noetzli	Remove unused `Backtracker` (#7115)	commit \| commitdiff \| tree
2021-09-02	Andres Noetzli	[Unit Tests] Fix bags rewrite test (#7114)	commit \| commitdiff \| tree
2021-09-02	Andres Noetzli	Update CI to macOS 11 (#7104)	commit \| commitdiff \| tree
2021-08-19	Andres Noetzli	Remove `--(no-)interactive-prompt` (#7022)	commit \| commitdiff \| tree
2021-08-18	Andres Noetzli	Minor fixes of policy for eliminating quantifiers ...	commit \| commitdiff \| tree
2021-08-17	Andres Noetzli	Replace `Maybe` with `std::optional` (#7005)	commit \| commitdiff \| tree
2021-08-16	Andres Noetzli	[Strings] Make fact detection more robust (#7007)	commit \| commitdiff \| tree
2021-08-10	Andres Noetzli	Disable external initialization of `thread_local` variables...	commit \| commitdiff \| tree
2021-08-09	Andres Noetzli	Support older CMake versions (#7003)	commit \| commitdiff \| tree
2021-08-05	Andres Noetzli	[Unit Tests] Add missing include (#6990)	commit \| commitdiff \| tree
2021-07-28	Andres Noetzli	Print link to docs preview (#6922)	commit \| commitdiff \| tree
2021-07-27	Andres Noetzli	Add regression for fixed `str.indexof_re` issue (#6938)	commit \| commitdiff \| tree
2021-07-24	Andres Noetzli	Fix CLN build (#6920)	commit \| commitdiff \| tree
2021-07-23	Andres Noetzli	Configuration: Indicate dependencies being built (...	commit \| commitdiff \| tree
2021-07-23	Andres Noetzli	Fix CoCoA build for newer compilers (#6919)	commit \| commitdiff \| tree
2021-07-22	Andres Noetzli	Add support for minimal unsat cores (#4605)	commit \| commitdiff \| tree
2021-07-20	Andres Noetzli	ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)	commit \| commitdiff \| tree
2021-07-16	Andres Noetzli	[Unit Tests] Avoid linking against external libs (...	commit \| commitdiff \| tree
2021-07-16	Andres Noetzli	[Unit Tests] Reenable `top_scope_context_obj` (#6892)	commit \| commitdiff \| tree
2021-07-12	Andres Noetzli	Fix ANTLR build on CMake <3.11 (#6864)	commit \| commitdiff \| tree
2021-07-12	Andres Noetzli	Use default visibility for `cvc5::Exception` (#6856)	commit \| commitdiff \| tree
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
next

RSS Atom