Code

[NOMERGE] Test CI#2486

Code

Closed

ehildenb wants to merge 15 commits intomasterruntimeverification/k:masterfrom test-ciruntimeverification/k:test-ciCopy head branch name to clipboard

+90-14

Commits

Commits on Mar 5, 2022

• pyk/kast: fix decoding of KAST terms

  ehildenb

  committed
  3ae249a

  Copy full SHA for 3ae249a

• pyk/kastManip: correct way of adding items to KSeq

  ehildenb

  committed
  7a330f9

  Copy full SHA for 7a330f9

• pyk/kast: handle case with no attributes

  ehildenb

  committed
  4d27fe0

  Copy full SHA for 4d27fe0

• pyk/kastManip: generalization of removeGeneratedCells

  ehildenb

  committed
  7975fa2

  Copy full SHA for 7975fa2

• pyk/kast: slightly better formatting of modules

  ehildenb

  committed
  536e327

  Copy full SHA for 536e327

• pyk/kastManip: corrections to collapseDots

  ehildenb

  committed
  e96c2ad

  Copy full SHA for e96c2ad

Commits on Mar 8, 2022

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

  ehildenb

  committed
  4c18a72

  Copy full SHA for 4c18a72

Commits on Mar 9, 2022

• Makefile: list tests with wildcard, add configuration_test

  ehildenb

  committed
  60cc9e7

  Copy full SHA for 60cc9e7

• Revert "pyk/kast: handle case with no attributes"

  Show description for 9001cbc
  tothtamas28

  committed
  9001cbc

  Copy full SHA for 9001cbc

• Apply some fixes on configuration_test.py

  tothtamas28

  committed
  f79609e

  Copy full SHA for f79609e

• Specify pip version for virtualenv

  tothtamas28

  committed
  1fa6938

  Copy full SHA for 1fa6938

• Merge branch 'master' of https://github.com/kframework/k into pyk-fixes

  ehildenb

  committed
  452ac24

  Copy full SHA for 452ac24

• Merge branch 'pyk-fixes' of https://github.com/kframework/k into pyk-fixes

  ehildenb

  committed
  9c0508f

  Copy full SHA for 9c0508f

Commits on Mar 17, 2022

• !!! README: test CI

  ehildenb

  committed
  5707c75

  Copy full SHA for 5707c75

• README: !!!

  ehildenb

  committed
  8663e67

  Copy full SHA for 8663e67