summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
2020-06-18Add logic check for define-fun(s)-rec (#4577)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-06-10Add support for str.replace_re/str.replace_re_all (#4594)Andres Noetzli
2020-06-10Fix getKind for Python bindings (#4496)makaimann
2020-06-08Fix ambiguous overload in unit test (#4582)Andres Noetzli
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
2020-06-05Datatypes with nested recursion are not handled in TheoryDatatypes unless opt...Andrew Reynolds
2020-06-05Changing default language (#4561)Haniel Barbosa
2020-06-05Fix lifetime and copy issues with NodeDfsIterable (#4569)Andres Noetzli
2020-06-04Add a method for retrieving base of a constant array through API (#4494)makaimann
2020-06-04New C++ Api: Second and last batch of API guards. (#4563)Aina Niemetz
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02New C++ API: Keep reference to solver object in non-solver objects. (#4549)Aina Niemetz
2020-06-01Incorporate sequences into the word interface (#4543)Andrew Reynolds
2020-05-21Make Grammar reusable. (#4506)Abdalrhman Mohamed
2020-04-30Remove skolem share involving pre_first_ctn. (#4423)Andrew Reynolds
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-27Fix sygus unit (#4371)Andrew Reynolds
2020-04-20Introduce a public interface for Sygus commands. (#4204)Abdalrhman Mohamed
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-11Add skip predicate to node traversal. (#4222)Alex Ozdemir
2020-04-09Towards proper use of resource managers (#4233)Andrew Reynolds
2020-04-05Add safe_print() support for Kind enum (#4213)Andres Noetzli
2020-04-03New C++ API: Remove Op::getSort(). (#4208)Aina Niemetz
2020-04-03Update theory rewriter ownership, add stats to strings (#4202)Andres Noetzli
2020-04-03Split sequences rewriter (#4194)Andrew Reynolds
2020-04-02Remove undocumented/uncommon aliases (#4177)Andres Noetzli
2020-04-01Initialize theory rewriters in theories (#4197)Andres Noetzli
2020-03-31Support char smt-lib syntax (#4188)Andrew Reynolds
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-27Node traversal iterator (#3845)Alex Ozdemir
2020-03-27Move string utility file (#4164)Andrew Reynolds
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-20Split string-specific operators from TheoryStringsRewriter (#3920)Andrew Reynolds
2020-03-19Only apply testConstStringInRegExp to const regexp (#4120)Andres Noetzli
2020-03-18Only allow bv2nat/int2bv with BV and integer logic (#4118)Andres Noetzli
2020-03-16SmtEngine: Convert members owned by SmtEngine to unique pointers. (#4108)Aina Niemetz
2020-03-16Issue 4077: Add unit test to reproduce issue. (#4107)Aina Niemetz
2020-03-16Create master equality engine at context level 0 (#4081)Andres Noetzli
2020-03-11Simplifications to the Datatypes API (#4040)Andrew Reynolds
2020-03-11Add missing datatype functions to new API (#3930)Andrew Reynolds
2020-03-10Use fixed-width types in test/unit/context/contest_mm_black. (#3985)Aina Niemetz
2020-03-10Fix -Wshadow warning in test/unit/context/context_mm_black. (#3985)Aina Niemetz
2020-03-06Remove tester name from APIs (#3929)Andrew Reynolds
2020-03-05Migrate a majority of the functionality in parsers to the new API (#3838)Andrew Reynolds
2020-03-03Refactoring and cleaning the type enumerator for sets (#3908)mudathirmahgoub
2020-02-28Add support for str.from_code (#3829)Andres Noetzli
2020-02-26Remove portfolio leftovers (#3821)Andres Noetzli
2020-02-24Utilities for words (#3797)Andrew Reynolds
2020-02-24Convert parser input interface to api::Term (#3809)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback