summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
2019-04-30Merge branch 'master' into cav2019stringsAndres Noetzli
2019-04-25New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar. (#2977)Aina Niemetz
2019-04-17Add rewrite for splitting equalitiesAndres Noetzli
2019-04-17mergeAndres Noetzli
2019-04-03Update copyright headers.Aina Niemetz
2019-04-01Fix RewriteITEBv to ensure rewrite to fixpoint (#2878)Andres Noetzli
2019-03-28Fix freeing nodes with maxed refcounts (#2903)Andres Noetzli
2019-03-26Update copyright headers.Aina Niemetz
2019-03-23BV: Fix typerules for rotate operators. (#2895)Aina Niemetz
2019-03-23Strip non-matching beginning from indexof operator (#2885)Andres Noetzli
2019-03-22Fix stripConstantEndpoints in strings rewriter (#2883)Andres Noetzli
2019-03-18New C++: Remove redundant mkBoundVar function.Aina Niemetz
2019-03-18New C++: Remove redundant mkVar function.Aina Niemetz
2019-03-18BitVector: Allow base 10 in constructor. (#2870)Aina Niemetz
2019-03-16Enable CryptoMiniSat-backed BV proofs (#2847)Alex Ozdemir
2019-02-28ErProof class with LFSC output (#2812)Alex Ozdemir
2019-02-13New C++ API: Remove redundant declareFun function. (#2837)Aina Niemetz
2019-02-13Rewrite simple regexp pattern to str.contains (#2827)Andres Noetzli
2019-02-12New C++ API: Remove redundant mkTerm function. (#2836)Aina Niemetz
2019-02-11New C++ API: Unit tests for declare* functions. (#2831)Aina Niemetz
2019-02-05Make stripConstantEndpoints() less aggressive (#2830)Andres Noetzli
2019-02-05Make stripConstantEndpoints() less aggressiveAndres Noetzli
2019-02-03Add rewrite for contains + const strings replace (#2828)Andres Noetzli
2019-02-03Merge branch 'REtoCtn' into cav2019stringsAndres Noetzli
2019-02-03Merge branch 'ctnRew' into cav2019stringsAndres Noetzli
2019-02-03Fix issueAndres Noetzli
2019-02-03Add rewrite for contains + const strings replaceAndres Noetzli
2019-02-03Rewrite simple regexp pattern to str.containsAndres Noetzli
2019-02-02Fix corner case in stripConstantEndpoints (#2824)Andres Noetzli
2019-01-29Fix warning due to catching polymorphic exceptions (#2821)Andres Noetzli
2019-01-29New C++ API: Fix checks for mkTerm. (#2820)Aina Niemetz
2019-01-29Strings: Remove redundant replace rewrite (#2822)Andres Noetzli
2019-01-29Merge branch 'fixStripConstantEndpoints' into cav2019stringsAndres Noetzli
2019-01-29Fix corner case in stripConstantEndpointsAndres Noetzli
2019-01-25Revert adding rewritesAndres Noetzli
2019-01-25Merge branch 'disableRewrite' into cav2019stringsAndres Noetzli
2019-01-25Strings: Remove redundant replace rewriteAndres Noetzli
2019-01-23MinorAndres Noetzli
2019-01-23Strengthen contains rewritesAndres Noetzli
2019-01-22Strings: Strengthen multiset reasoning (#2817)Andres Noetzli
2019-01-13LFSC LRAT Output (#2787)Alex Ozdemir
2019-01-11New C++ API: Add unit tests for setInfo, setLogic, setOption. (#2782)Aina Niemetz
2019-01-10New C++ API: Get rid of mkConst functions (simplify API). (#2783)Aina Niemetz
2019-01-09Clause proof printing (#2779)Alex Ozdemir
2019-01-09LFSC drat output (#2776)Alex Ozdemir
2019-01-07New C++ API: Add missing getType() calls to kick off type checking. (#2773)Aina Niemetz
2019-01-06[DRAT] DRAT data structure (#2767)Alex Ozdemir
2019-01-04C++ API: Fix OOB read in unit test (#2774)Andres Noetzli
2019-01-03API/Smt2 parser: refactor termAtomic (#2674)Andres Noetzli
2019-01-03C++ API: Reintroduce zero-value mkBitVector method (#2770)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback