Code

Merge CTerm#4621

Code

Closed

Stevengre wants to merge 7 commits intodevelopruntimeverification/k:developfrom merge-ctermruntimeverification/k:merge-ctermCopy head branch name to clipboard

+158-1

Commits

Commits on Sep 3, 2024

• add test & fix bug for merge_cterms

  Stevengre

  committed
  9ff6473

  Copy full SHA for 9ff6473

Commits on Sep 4, 2024

• apply suggestion

  Stevengre

  committed
  b493ab8

  Copy full SHA for b493ab8

• TRUE 2 mlTop()

  Stevengre

  committed
  2f1ac1e

  Copy full SHA for 2f1ac1e

Commits on Sep 5, 2024

• delete the var occurance check

  Stevengre

  committed
  6aa49cd

  Copy full SHA for 6aa49cd

• simplify the implementation

  Stevengre

  committed
  0484b4a

  Copy full SHA for 0484b4a

• fix for check

  Stevengre

  committed
  c73308b

  Copy full SHA for c73308b

• refactor test case (todo)

  Stevengre

  committed
  a7896a0

  Copy full SHA for a7896a0