Code

Simplify kimp run#32

Code

Merged

tothtamas28 merged 6 commits intomasterruntimeverification/imp-semantics:masterfrom interpretruntimeverification/imp-semantics:interpretCopy head branch name to clipboardNov 14, 2024

+86-129

Commits

Commits on Nov 13, 2024

• Remove krun

  tothtamas28

  committed
  e08b9e4

  Copy full SHA for e08b9e4

• Rename KIMP to KImp

  tothtamas28

  committed
  cd0e764

  Copy full SHA for cd0e764

• Simplify exec_run

  tothtamas28

  committed
  151e167

  Copy full SHA for 151e167

• Add --env to run argument parser

  tothtamas28

  committed
  4955c55

  Copy full SHA for 4955c55

• Add color support to run output

  tothtamas28

  committed
  a517d33

  Copy full SHA for a517d33

• Label each rule

  tothtamas28

  committed
  3594c0f

  Copy full SHA for 3594c0f