Code

pgcl2heyvl annotation support update#66

Code

Open

umutdural wants to merge 4 commits intomoves-rwth:mainmoves-rwth/caesar:mainfrom umutdural:pgcl2heyvl-encodingsumutdural/caesar:pgcl2heyvl-encodingsCopy head branch name to clipboard

+1,400-4,454

Commits

Commits on Feb 20, 2025

• pgcl2heyvl: add annotation support, regenerate examples with annotations instead of direct encodings

  umutdural

  committed
  23aa72a

  Copy full SHA for 23aa72a

• pgcl2heyvl: replace @k-induction(1,..) with @invariant(...)

  umutdural

  committed
  74edc98

  Copy full SHA for 74edc98

• pgcl2heyvl: remove doc comments

  umutdural

  committed
  88a6958

  Copy full SHA for 88a6958

• pgcl2heyvl: fix bounded mc terminators

  umutdural

  committed
  5254be8

  Copy full SHA for 5254be8