Code

Refactoring the branching mechanism#4248

Code

Merged

rv-jenkins merged 9 commits intodevelopruntimeverification/k:developfrom petar/efficient-branchingruntimeverification/k:petar/efficient-branchingCopy head branch name to clipboardApr 24, 2024

+93-144

Commits

Commits on Apr 15, 2024

• refactoring the branching mechanism

  

  PetarMax

  authored and

  Baltoli

  committed
  640ebe5

  Copy full SHA for 640ebe5

• removing prints

  

  PetarMax

  authored and

  Baltoli

  committed
  1247b6e

  Copy full SHA for 1247b6e

Commits on Apr 16, 2024

• Merge branch 'develop' into petar/efficient-branching

  PetarMax

  authored
  d6ddc21

  Copy full SHA for d6ddc21

Commits on Apr 17, 2024

• Merge branch 'develop' into petar/efficient-branching

  PetarMax

  authored
  eb269d1

  Copy full SHA for eb269d1

Commits on Apr 23, 2024

• Merge branch 'develop' into petar/efficient-branching

  PetarMax

  authored
  f3819de

  Copy full SHA for f3819de

• adding NextState, removing extract_branches

  PetarMax

  committed
  95535fa

  Copy full SHA for 95535fa

• Merge branch 'develop' into petar/efficient-branching

  PetarMax

  authored
  55c196f

  Copy full SHA for 55c196f

• adjusting expected outputs

  PetarMax

  committed
  6b445fc

  Copy full SHA for 6b445fc

Commits on Apr 24, 2024

• Merge branch 'develop' into petar/efficient-branching

  PetarMax

  authored
  982d56b

  Copy full SHA for 982d56b