Code

Add Wonderland demo tests#20

Code

Open

palinatolmach wants to merge 2 commits intomasterruntimeverification/kontrol-demo:masterfrom wonderlandruntimeverification/kontrol-demo:wonderlandCopy head branch name to clipboard

+760-4

Commits

Commits on Sep 5, 2024

• Add Wonderland demo tests

  palinatolmach

  committed
  e30bbe8

  Copy full SHA for e30bbe8

Commits on Jan 7, 2025

• Add RebasingToken example

  palinatolmach

  committed
  75bda55

  Copy full SHA for 75bda55