Code

Compile 2ADT to NADT and NADT to CCC#22

Code

Merged

pmbittner merged 4 commits intodevelopVariantSync/Vatras:developfrom 2ADT-to-NADT-to-CCCVariantSync/Vatras:2ADT-to-NADT-to-CCCCopy head branch name to clipboardMar 18, 2024

+205-55

Commits

Commits on Mar 14, 2024

• Compile 2ADT to NADT

  ibbem

  committed
  ba9dbd7

  Copy full SHA for ba9dbd7

Commits on Mar 17, 2024

• Compile NADT to CCC

  ibbem

  committed
  9695ad9

  Copy full SHA for 9695ad9

• Inline map-cong for the termination checker

  ibbem

  committed
  26a4e13

  Copy full SHA for 26a4e13

Commits on Mar 18, 2024

• reuse VariantEncoder type

  pmbittner

  committed
  cf6edea

  Copy full SHA for cf6edea