Code

Upgrade cvc to 1.2.0#168

Code

Merged

Saloed merged 4 commits intomainUnitTestBot/ksmt:mainfrom

upgrade-cvc5UnitTestBot/ksmt:upgrade-cvc5Copy head branch name to clipboard

Jan 10, 2025

Commits

Commits on Jan 9, 2025

• Upgrade cvc to 1.2.0

  Saloed

  committed
  d027206

  Copy full SHA for d027206

• Rebuild cvc

  Saloed

  committed
  c5dd69b

  Copy full SHA for c5dd69b

Commits on Jan 10, 2025

• Treat internal expressions as unsupported

  Saloed

  committed
  e5f1d2a

  Copy full SHA for e5f1d2a

• Upgrade ksmt version to 0.5.28

  Saloed

  committed
  2ae86eb

  Copy full SHA for 2ae86eb