Code

Improved version of the AST rule#23

Code

Draft

Philipp15b wants to merge 4 commits intomainmoves-rwth/caesar:mainfrom new-new-ast-rulemoves-rwth/caesar:new-new-ast-ruleCopy head branch name to clipboard

+172-86

Commits

Commits on Apr 9, 2024

• ast rule improvements WIP

  Philipp15b

  committed
  06f8bfa

  Copy full SHA for 06f8bfa

Commits on Apr 10, 2024

• add missing change

  Philipp15b

  committed
  93f4707

  Copy full SHA for 93f4707

• update test to use ast annotation

  Philipp15b

  committed
  850d898

  Copy full SHA for 850d898

• smt: add additional debugging assertions to detect type confusions

  Philipp15b

  committed
  6cdb988

  Copy full SHA for 6cdb988