Code

Support quantifiers in ACSL#704

Code

Open

schuessf wants to merge 6 commits intodevultimate-pa/ultimate:devfrom wip/fs/acsl-quantifiersultimate-pa/ultimate:wip/fs/acsl-quantifiersCopy head branch name to clipboard

+152-32

Commits

Commits on Jan 10, 2025

• Support parsing of quantifiers in ACSL

  schuessf

  committed
  c5a69d8

  Copy full SHA for c5a69d8

• Add pretty printing for quantified expressions

  schuessf

  committed
  cacded0

  Copy full SHA for cacded0

• Refactor ExpressionTranslation to get the type constraint

  schuessf

  committed
  7e878b0

  Copy full SHA for 7e878b0

• Handle quantifiers in ACSLHandler

  Show description for b673a94
  schuessf

  committed
  b673a94

  Copy full SHA for b673a94

• Add tests

  schuessf

  committed
  1c33f80

  Copy full SHA for 1c33f80

• Use ALL as logic for Kojak in regression tests

  Show description for e4645c2
  schuessf

  committed
  e4645c2

  Copy full SHA for e4645c2