Code

Rename ksoroban to komet#31

Code

Merged

rv-jenkins merged 7 commits intomasterruntimeverification/komet:masterfrom renameruntimeverification/komet:renameCopy head branch name to clipboardSep 3, 2024

+29-29

Commits

Commits on Aug 23, 2024

• rename occurences

  bbyalcinkaya

  committed
  39203af

• rename directory

  bbyalcinkaya

  committed
  26836cc

• rename ksoroban.py

  bbyalcinkaya

  committed
  338f04e

• rename lemma file

  bbyalcinkaya

  committed
  35b55dc

• Set Version: 0.1.23

  

  devops

  committed
  833dad1

Commits on Sep 3, 2024

• Merge branch 'master' into rename

  bbyalcinkaya

  authored
  08ddc7a

• Set Version: 0.1.24

  

  devops

  committed
  91ab380