Code

[draft] slimmer nix#3727

Code

Closed

goodlyrottenapple wants to merge 5 commits intodevelopruntimeverification/k:developfrom sam/slim-nixruntimeverification/k:sam/slim-nixCopy head branch name to clipboard

+168-1,169

Commits

Commits on Oct 18, 2023

• slimmed down the nix distribution of k

  goodlyrottenapple

  committed
  193da45

  Copy full SHA for 193da45

• add kore-parser back

  goodlyrottenapple

  committed
  dfc8564

  Copy full SHA for dfc8564

• add kore-parser back

  goodlyrottenapple

  committed
  8a99f01

  Copy full SHA for 8a99f01

• add kore-match-disjunction back

  goodlyrottenapple

  committed
  a819169

  Copy full SHA for a819169

• add kore-match-disjunction back

  goodlyrottenapple

  committed
  83e461f

  Copy full SHA for 83e461f