Code

Theories specialization#163

Code

Merged

Saloed merged 7 commits intomainUnitTestBot/ksmt:mainfrom theoriesUnitTestBot/ksmt:theoriesCopy head branch name to clipboardOct 18, 2024

+865-76

Commits

Commits on Oct 17, 2024

• Theories

  Saloed

  committed
  7267b51

  Copy full SHA for 7267b51

• Fix theory requirements collector

  Saloed

  committed
  faa9eff

  Copy full SHA for faa9eff

Commits on Oct 18, 2024

• Fix theory requirements collector

  Saloed

  committed
  42561be

  Copy full SHA for 42561be

• List all supported Z3 theory combinations

  Saloed

  committed
  9a354dc

  Copy full SHA for 9a354dc

• Try remove cvc5 limits

  Saloed

  committed
  1d89dad

  Copy full SHA for 1d89dad

• Minor fix

  Saloed

  committed
  860b943

  Copy full SHA for 860b943

• Upgrade ksmt version

  Saloed

  committed
  d2a4aea

  Copy full SHA for d2a4aea