Code

Z3 intefacing fix#647

Code

Merged

MichaelRawson merged 3 commits intomastervprover/vampire:masterfrom z3-intefacing-fixvprover/vampire:z3-intefacing-fixCopy head branch name to clipboardJan 20, 2025

+1-1

Commits

Commits on Jan 20, 2025

• fixed bug in interplay of avatar and polymorphism

  joe-hauns

  committed
  43fad33

  Copy full SHA for 43fad33

• fixed bug in interplay of avatar and polymorphism

  joe-hauns

  committed
  8b54f46

  Copy full SHA for 8b54f46

• Merge branch 'z3-intefacing-fix' of github.com:vprover/vampire into z3-intefacing-fix

  joe-hauns

  committed
  73cf877

  Copy full SHA for 73cf877