Code

Format option for translate command#154

Code

Closed

janheuer wants to merge 5 commits intomasterpotassco/anthem:masterfrom jan/translate_formatpotassco/anthem:jan/translate_formatCopy head branch name to clipboard

+102-23

Commits

Commits on Sep 25, 2024

• add predicates function to theory

  janheuer

  committed
  1768383

  Copy full SHA for 1768383

• make transition public and change input

  janheuer

  committed
  c3334f5

  Copy full SHA for c3334f5

• add format argument to translate command

  janheuer

  committed
  eb2780c

  Copy full SHA for eb2780c

Commits on Oct 1, 2024

• change computation of transition axioms

  janheuer

  committed
  02148e2

  Copy full SHA for 02148e2

Commits on Nov 21, 2024

• Merge branch 'master' into jan/translate_format

  ZachJHansen

  authored
  2ff66f4

  Copy full SHA for 2ff66f4