Code

Sort commutative boolean ops#491

Code

Draft

aehyvari wants to merge 6 commits intomasterusi-verification-and-security/opensmt:masterfrom sort-commutative-boolean-opsusi-verification-and-security/opensmt:sort-commutative-boolean-opsCopy head branch name to clipboard

+80-86

Commits

Commits on May 10, 2022

• TermMarker: add method to check if term is in domain

  aehyvari

  committed
  052a8b7

  Copy full SHA for 052a8b7

• NatSet: introduce a safe version

  aehyvari

  committed
  ed525f5

  Copy full SHA for ed525f5

• Logic: Sort commutative Boolean operators

  aehyvari

  committed
  9c23c7b

  Copy full SHA for 9c23c7b

• Logic: Add a private NatSet for nested use

  aehyvari

  committed
  e7fd88c

  Copy full SHA for e7fd88c

• Logic: use safe NatSet

  aehyvari

  committed
  d32290c

  Copy full SHA for d32290c

• Logic: Improve mkAnd and mkOr

  aehyvari

  committed
  2d54dc0

  Copy full SHA for 2d54dc0