Code

Reverse pyk match operator#2599

Code

Merged

rv-jenkins merged 5 commits intomasterruntimeverification/k:masterfrom reverse-pyk-matchruntimeverification/k:reverse-pyk-matchCopy head branch name to clipboardMay 17, 2022

+61-6

Commits

Commits on May 17, 2022

• pyk/test_match: add failing test of cterm matching being backwards

  ehildenb

  committed
  60ca711

  Copy full SHA for 60ca711

• pyk/: flip order of CTerm.match

  ehildenb

  committed
  e1a1bb9

  Copy full SHA for e1a1bb9

• pyk/tests: separate out test_cterm.py from test_match.py

  ehildenb

  committed
  4082c80

  Copy full SHA for 4082c80

• pyk/cterm: rename term => cterm in several places

  ehildenb

  committed
  951a84d

  Copy full SHA for 951a84d

• Merge branch 'master' into reverse-pyk-match

  rv-jenkins

  authored
  8524d5a

  Copy full SHA for 8524d5a