Code

Fix sort declaration unparsing#2767

Code

Merged

rv-jenkins merged 7 commits intomasterruntimeverification/k:masterfrom fix-sort-declarationruntimeverification/k:fix-sort-declarationCopy head branch name to clipboardAug 4, 2022

+95-80

Commits

Commits on Aug 2, 2022

• pyk/test_pretty_print_kast: add failing test of sort declaration

  ehildenb

  committed
  9ef4604

  Copy full SHA for 9ef4604

• pyk/ktool/kprint: fix bug in printing KProduction

  ehildenb

  committed
  bab5b83

  Copy full SHA for bab5b83

• pyk/: rename prettyPrintKast => pretty_print_kast

  ehildenb

  committed
  4c8ea9e

  Copy full SHA for 4c8ea9e

• pyk/ktool/kprint: rename variables using new convention

  ehildenb

  committed
  83836f1

  Copy full SHA for 83836f1

Commits on Aug 3, 2022

• pyk/ktool/kprint: add test of failing sort declaration with an attribute

  ehildenb

  committed
  f5e174e

  Copy full SHA for f5e174e

Commits on Aug 4, 2022

• pyk/kprint: another test of unparsing productions

  ehildenb

  committed
  de1d12a

  Copy full SHA for de1d12a

• Merge remote-tracking branch 'upstream/master' into fix-sort-declaration

  ehildenb

  committed
  00254b0

  Copy full SHA for 00254b0