Code

Assertion expressions#690

Code

Merged

hernanponcedeleon merged 12 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom assertion-expressionshernanponcedeleon/Dat3M:assertion-expressionsCopy head branch name to clipboardJun 19, 2024

+253-555

Commits

Commits on Jun 7, 2024

• Add Program.SpecificationType

  Show description for 9c95657
  xeren

  committed
  9c95657

  Copy full SHA for 9c95657

• Remove AssertInline

  xeren

  committed
  24ffb84

  Copy full SHA for 24ffb84

• Remove AbstractAssert

  Show description for 225db3f
  xeren

  committed
  225db3f

  Copy full SHA for 225db3f

• Outline VisitorLitmusAssertions.parseAssertions(ProgramBuilder,ParserRuleContext,ParserRuleContext)

  Show description for 7a053b3
  xeren

  committed
  7a053b3

  Copy full SHA for 7a053b3

Commits on Jun 9, 2024

• Merge branch 'development' into assertion-expressions

  ThomasHaas

  committed
  d42c598

  Copy full SHA for d42c598

Commits on Jun 14, 2024

• Add ExpressionPrinter

  xeren

  committed
  cee00df

  Copy full SHA for cee00df

• Merge remote-tracking branch 'refs/remotes/origin/development' into assertion-expressions

  xeren

  committed
  4ff8049

  Copy full SHA for 4ff8049

Commits on Jun 17, 2024

• Made CastExpressionBase inherit from ExpressionBase

  ThomasHaas

  committed
  704e8ff

  Copy full SHA for 704e8ff

• Merge branch 'refs/heads/development' into assertion-expressions

  ThomasHaas

  committed
  0ee2b04

  Copy full SHA for 0ee2b04

Commits on Jun 18, 2024

• Rename variables

  xeren

  committed
  02028f8

  Copy full SHA for 02028f8

• Re-add parentheses for non-associative operations like -,/,<<.

  xeren

  committed
  3a5a316

  Copy full SHA for 3a5a316

• fixup! Add ExpressionPrinter

  xeren

  committed
  6f1d1fb

  Copy full SHA for 6f1d1fb