Code

Add Boolean overloads: &, |, ^, ~#103

Code

Merged

alex-ozdemir merged 8 commits intocvc5:maincvc5/cvc5_pythonic_api:mainfrom alex-ozdemir:fix-102alex-ozdemir/cvc5_z3py_compat:fix-102Copy head branch name to clipboardJan 6, 2025

+94-35

Commits

Commits on Dec 12, 2024

• fix tests

  alex-ozdemir

  committed
  ce339d1

  Copy full SHA for ce339d1

• add bool operator overloads: &, |, ^, ~

  alex-ozdemir

  committed
  3ae864b

  Copy full SHA for 3ae864b

• document missing Model function

  alex-ozdemir

  committed
  2e7072d

  Copy full SHA for 2e7072d

• black version in CI

  alex-ozdemir

  committed
  dfc6363

  Copy full SHA for dfc6363

• gpl cvc5

  alex-ozdemir

  committed
  7888367

  Copy full SHA for 7888367

Commits on Dec 13, 2024

• Remove unnecessary context equivalence assertions.

  Show description for 4dc6a3e
  alex-ozdemir

  committed
  4dc6a3e

  Copy full SHA for 4dc6a3e

• Add DummyModel

  alex-ozdemir

  committed
  78348eb

  Copy full SHA for 78348eb

Commits on Jan 6, 2025

• fix typo; thanks Haniel!

  alex-ozdemir

  committed
  3013c79

  Copy full SHA for 3013c79