Code

KCFG optimisation-on-creation#4710

Code

Merged

PetarMax merged 14 commits intodevelopruntimeverification/k:developfrom petar/kcfg-optimizationruntimeverification/k:petar/kcfg-optimizationCopy head branch name to clipboardDec 13, 2024

+124-5

Commits

Commits on Dec 11, 2024

• KCFG optimizations

  PetarMax

  committed
  94837f7

  Copy full SHA for 94837f7

• refactoring

  PetarMax

  committed
  35d7bd1

  Copy full SHA for 35d7bd1

• adding tests

  PetarMax

  committed
  31f1df7

  Copy full SHA for 31f1df7

• revisiting approach

  PetarMax

  committed
  36a8cf2

  Copy full SHA for 36a8cf2

• correction

  PetarMax

  committed
  4b7930d

  Copy full SHA for 4b7930d

• KCFG grafting correction

  PetarMax

  committed
  7ca5243

  Copy full SHA for 7ca5243

• reverting .toml file that keeps changing on every make

  PetarMax

  committed
  2055c40

  Copy full SHA for 2055c40

Commits on Dec 12, 2024

• suggestions from Tamas

  PetarMax

  committed
  f205776

  Copy full SHA for f205776

• inlining

  PetarMax

  committed
  5ea08e0

  Copy full SHA for 5ea08e0

• corrections

  PetarMax

  committed
  f43e051

  Copy full SHA for f43e051

• .toml again...

  PetarMax

  committed
  5f278fe

  Copy full SHA for 5f278fe

• source node correction

  PetarMax

  committed
  c60dd15

  Copy full SHA for c60dd15

• removing node

  PetarMax

  committed
  9de21aa

  Copy full SHA for 9de21aa

Commits on Dec 13, 2024

• test correction

  PetarMax

  committed
  2ced4e6

  Copy full SHA for 2ced4e6