HEAD | 1f708c2 | Fix deps directory creation (#354) | 31 August 2024, 08:28:15 UTC |
refs/heads/add-msat | 0f09204 | Check interpolant for error term -- means computing interpolant failed | 11 October 2019, 16:57:59 UTC |
refs/heads/add-neg-number-tests | 7ed99b0 | Update CVC4 hash | 18 October 2019, 18:47:46 UTC |
refs/heads/add-yices | 57dde11 | Added Yices Sort functionality. (#28) * Added Yices Sort functionality. * clang-formatted * Added yices type string to error * Fixed yices_type_to_string() * Fixed error message * format after fixing sort error string | 31 January 2020, 22:40:12 UTC |
refs/heads/add-z3 | 11e4b85 | Add Term Functionality (#178) | 26 February 2021, 23:11:05 UTC |
refs/heads/add-z3-backup | f2c0a37 | Add support for Z3 Sort (#136) | 17 December 2020, 23:33:35 UTC |
refs/heads/api-tracing | ab0bdfd | Use sorts as key and minor fix | 28 April 2020, 21:56:23 UTC |
refs/heads/btor-cadical | bbc6fa3 | Fix typo | 04 December 2019, 19:52:01 UTC |
refs/heads/btor-smtcomp19 | 65157b3 | Don't store model manually anymore in msat -- rely on environment | 12 October 2019, 01:44:50 UTC |
refs/heads/check-sat-assuming-req-list | 69d9057 | Merge branch 'master' into check-sat-assuming-req-list | 01 February 2022, 02:12:40 UTC |
refs/heads/check-wheels | b7cbff4 | Remove copy-pasted import from local dev | 03 March 2021, 06:47:58 UTC |
refs/heads/cvc4-const-arr-term-iter-fix | 6f6dd82 | Revert "Add copy test for TermIter" This reverts commit 375f3970a6013579e77e83c43c44a8109327abc6. | 10 July 2020, 04:04:09 UTC |
refs/heads/cython-declarations-fix | 12806b1 | Merge branch 'master' into cython-declarations-fix | 04 March 2020, 23:54:06 UTC |
refs/heads/datatypes-parser | 04fe00c | Fix typo in comments | 26 August 2021, 13:33:43 UTC |
refs/heads/debug-btor | 8665b27 | Free char * | 21 October 2019, 23:52:02 UTC |
refs/heads/debug-travis | 6463aad | Try copying more | 21 January 2021, 05:36:13 UTC |
refs/heads/debug-travis-2 | 0abc94a | Try previous commit | 21 January 2021, 01:20:37 UTC |
refs/heads/enable-sort-cons | 456e3ec | Re-enable sort construction in CVC4 (currently broken in underlying solver) | 28 August 2020, 15:10:32 UTC |
refs/heads/expose-solver-enum | 5e35646 | Expose available_solvers through smt-switch API | 10 June 2020, 18:55:23 UTC |
refs/heads/expose-solver-enums | acc15a2 | Add SolverEnum for interpolator | 12 June 2020, 20:20:37 UTC |
refs/heads/fixes-from-pysmt-tests | 70f04dd | Add comments about iterator traits | 24 March 2020, 23:14:09 UTC |
refs/heads/get-id | dc744e7 | Test ids of values | 30 December 2020, 00:24:22 UTC |
refs/heads/gha-debug | 2a79702 | Run brew update | 12 April 2021, 20:36:12 UTC |
refs/heads/hwmcc19 | d31a160 | Set build type to Release by default and fix C asserts | 12 October 2019, 03:12:42 UTC |
refs/heads/license | 71918f8 | Add license headers to python files | 16 May 2020, 23:02:10 UTC |
refs/heads/license-compliance | 3d01a23 | Add instructions and mention in README | 17 May 2020, 19:52:34 UTC |
refs/heads/mac-fixes | 38d4b50 | Handle number of cores issue on mac for travis script setup-yices2.sh | 30 June 2020, 23:18:51 UTC |
refs/heads/main | 1f708c2 | Fix deps directory creation (#354) | 31 August 2024, 08:28:15 UTC |
refs/heads/msat_arith_parse | cdcdbb4 | fix | 25 August 2020, 18:59:41 UTC |
refs/heads/msat_arith_parse_to_merge | 3f0278c | fixes | 24 August 2020, 05:04:56 UTC |
refs/heads/negative_num_is_value | 4474bdc | Broken LoggingSolver::to_string: handling negative values returned by solver | 27 March 2020, 21:15:06 UTC |
refs/heads/no-translation-reducer | 5fd9007 | Don't translate terms in UnsatCoreReducer | 26 December 2020, 19:26:00 UTC |
refs/heads/no-wheels | e26c192 | Disable building wheels on Travis -- too slow | 20 January 2021, 19:28:27 UTC |
refs/heads/parser-automove | 8acb11a | Merge branch 'parser-no-locations' into parser-automove | 11 May 2021, 15:49:07 UTC |
refs/heads/parser-no-locations | 24de1f6 | Remove location support | 07 May 2021, 17:36:19 UTC |
refs/heads/pointer-to-const | f4782b3 | Updates to cvc4 implementation for const terms | 25 September 2019, 23:00:31 UTC |
refs/heads/pysmt-catch | 3b5f9bf | Catch ImportError and re-raise | 30 November 2021, 13:33:31 UTC |
refs/heads/python | ad59e7e | Only require pytest for tests | 19 February 2020, 01:11:56 UTC |
refs/heads/python-bin | 91ec355 | Don't get absolute path for python bin | 16 July 2020, 21:02:08 UTC |
refs/heads/python-testing | d682b8f | Don't fail because of travis install script | 08 February 2020, 19:41:05 UTC |
refs/heads/python2 | 6330c4b | Add warning about lack of maintenance for Python2 | 10 May 2022, 00:56:20 UTC |
refs/heads/quantifiers | 809ef8b | Minor comment/README fixes | 30 June 2020, 22:12:52 UTC |
refs/heads/raw-ptr | 93a2a97 | Some fixes | 06 January 2021, 02:42:21 UTC |
refs/heads/release-fix | 74d2142 | minor | 04 November 2020, 03:09:41 UTC |
refs/heads/repack-cvc4-lib | 6dff589 | Add dependency on repacked cvc4 lib to tests when building static libraries | 18 June 2020, 20:39:55 UTC |
refs/heads/reset-reducer | c1ab77e | Simplify assume_label | 11 January 2021, 17:57:58 UTC |
refs/heads/sequence-interpolant | 9864a82 | Merge branch 'master' into sequence-interpolant | 16 December 2020, 00:08:39 UTC |
refs/heads/setuptools-version | b36b5ce | Install older version of setuptools on macOS CI | 02 November 2022, 01:42:41 UTC |
refs/heads/solver-shared_ptr | 0ddd21f | Make SmtSolver a shared pointer | 17 January 2020, 00:57:47 UTC |
refs/heads/sort-casting | 5bd71cc | Merge branch 'sort-casting' of github.com:makaimann/smt-switch into sort-casting | 08 July 2020, 17:06:14 UTC |
refs/heads/sort-casting-pr-2 | e15b8ee | Add example in comments for issue in TermTranslator with different solvers | 09 July 2020, 15:57:44 UTC |
refs/heads/sort-ref | 0fafbcd | Take a const reference in Sort compare | 05 November 2020, 22:26:56 UTC |
refs/heads/static-lib-repack | 11c6079 | Repack the yices2 static library | 26 March 2020, 21:58:20 UTC |
refs/heads/subswalker-fix | b4265db | More fixes | 19 November 2020, 04:18:49 UTC |
refs/heads/termiter-fix | abec3cb | Merge branch 'python' into termiter-fix | 17 February 2020, 16:20:01 UTC |
refs/heads/test-osx | 35e001c | Run all configurations | 29 October 2019, 19:36:04 UTC |
refs/heads/test-python | 6fed696 | Set python version before googletest | 11 February 2020, 02:45:19 UTC |
refs/heads/test-wheel | 8f64ed6 | Test building wheels | 23 October 2021, 21:01:16 UTC |
refs/heads/travis | c27160e | Add Travis files | 22 May 2019, 21:11:24 UTC |
refs/heads/travis-debugging | a70b1b4 | Try mathsat on mac | 18 June 2020, 17:53:16 UTC |
refs/heads/try-newer-version | d6ddd3f | Try updating xcode | 21 January 2021, 05:34:08 UTC |
refs/heads/value-from-smt2-fix | 7abe286 | Pass original sort instead of transferred sort to value_from_smt2 | 18 June 2020, 23:32:22 UTC |
refs/heads/walker | 9c1eb58 | Remove Const_Array from Python bindings too | 24 February 2020, 02:16:42 UTC |
refs/heads/weird-bool-bug-msat | cf8de10 | Very strange bug with member variable bool produce_models | 11 October 2019, 04:18:47 UTC |
refs/heads/wheel-test | 47b5bcf | Run on PR | 02 November 2021, 12:04:32 UTC |
refs/heads/yices2-is_function-fix | f06a7e9 | Use GMP include/libraries in yices2 build | 30 June 2020, 18:36:47 UTC |
refs/tags/hwmcc20 | 822af6f | Option to include BVAnd/BVOr ops in conjunctive/disjunctive partition (#102) * Option to include BVAnd/BVOr ops in conjunctive/disjunctive partition * Add comments | 06 September 2020, 21:11:09 UTC |