Code

JSON post process - re added#2642

Code

Merged

rv-jenkins merged 29 commits intomasterruntimeverification/k:masterfrom pyk-pipelineruntimeverification/k:pyk-pipelineCopy head branch name to clipboardJun 27, 2022

+162-46

Commits

Commits on May 5, 2022

• kernel/Kompile: re-organize hsteps in run a bit

  ehildenb

  committed
  6271bac

  Copy full SHA for 6271bac

• kernel/Kompile: add --post-process option

  ehildenb

  committed
  cee4cfd

  Copy full SHA for cee4cfd

• tests/regression-new/imp-haskell: exercise --post-process argument

  ehildenb

  committed
  86c071b

  Copy full SHA for 86c071b

• kernel/Kompile: catch UnsupportedEncodingException

  ehildenb

  committed
  1fc1235

  Copy full SHA for 1fc1235

• kernel/Kompile: formatting

  ehildenb

  committed
  35be364

  Copy full SHA for 35be364

• kernel/Kompile: factor out buildBisonParser

  ehildenb

  committed
  2cabba7

  Copy full SHA for 2cabba7

Commits on May 6, 2022

• Merge remote-tracking branch 'upstream/master' into pyk-pipeline

  ehildenb

  committed
  d02847c

  Copy full SHA for d02847c

• kernel/Kompile: avoid having to use stdin

  ehildenb

  committed
  a9d03f8

  Copy full SHA for a9d03f8

• kernel/Kompile: make sure to actually write the definition to file

  ehildenb

  committed
  c4fc64a

  Copy full SHA for c4fc64a

• kernel/Kompile: make sure to convert ot String before decoding

  ehildenb

  committed
  90f43f7

  Copy full SHA for 90f43f7

Commits on May 14, 2022

• Merge remote-tracking branch 'upstream/master' into pyk-pipeline

  ehildenb

  committed
  bb007c4

  Copy full SHA for bb007c4

Commits on May 17, 2022

• regression-new/imp-haskell: simpler testing of --post-process

  ehildenb

  committed
  20d1dfc

  Copy full SHA for 20d1dfc

• Merge remote-tracking branch 'upstream/master' into pyk-pipeline

  ehildenb

  committed
  ec8ccef

  Copy full SHA for ec8ccef

Commits on May 24, 2022

• Merge remote-tracking branch 'upstream/master' into pyk-pipeline

  ehildenb

  committed
  10438fc

  Copy full SHA for 10438fc

• Merge branch 'master' into pyk-pipeline

  radumereuta

  authored
  7115210

  Copy full SHA for 7115210

• Custom json for attributes

  radumereuta

  committed
  666c16c

  Copy full SHA for 666c16c

• More attributes.

  radumereuta

  committed
  8e39777

  Copy full SHA for 8e39777

Commits on May 30, 2022

• Attributes 3.

  radumereuta

  committed
  a059908

  Copy full SHA for a059908

• Fix format

  radumereuta

  committed
  fa61e52

  Copy full SHA for fa61e52

Commits on May 31, 2022

• Fix JSON parsing of pyk.kast.KLabel

  tothtamas28

  committed
  834cffc

  Copy full SHA for 834cffc

Commits on Jun 3, 2022

• Merge branch 'master' into pyk-pipeline

  Baltoli

  authored
  f9063cd

  Copy full SHA for f9063cd

Commits on Jun 6, 2022

• Revert "kernel/Kompile: factor out buildBisonParser"

  Show description for 83a20dd
  

  ehildenb

  authored and

  radumereuta

  committed
  83a20dd

  Copy full SHA for 83a20dd

• Reorganize generated text files.

  radumereuta

  committed
  0f6a528

  Copy full SHA for 0f6a528

• Merge branch 'master' into pyk-pipeline

  radumereuta

  authored
  8f503e6

  Copy full SHA for 8f503e6

Commits on Jun 20, 2022

• Merge branch 'master' into pyk-pipeline

  radumereuta

  committed
  c7988e2

  Copy full SHA for c7988e2

• Merge branch 'master' into pyk-pipeline

  radumereuta

  authored
  7b18ee0

  Copy full SHA for 7b18ee0

Commits on Jun 27, 2022

• Merge branch 'master' into pyk-pipeline

  radumereuta

  committed
  324e127

  Copy full SHA for 324e127

• Change filename.

  radumereuta

  committed
  3e71a8f

  Copy full SHA for 3e71a8f

• Merge branch 'master' into pyk-pipeline

  rv-jenkins

  authored
  014d2de

  Copy full SHA for 014d2de