Code

3888 typed context and parser#3950

Code

Merged

rv-jenkins merged 18 commits intomasterruntimeverification/haskell-backend:masterfrom 3888-typed-context-and-parserruntimeverification/haskell-backend:3888-typed-context-and-parserCopy head branch name to clipboardJun 20, 2024

+469-221

Commits

Commits on Jun 18, 2024

• Prior art: beginnings of parsing json context log

  jberthold

  committed
  2362d3e

• adjust context type, reduce logline type just for testing

  jberthold

  committed
  31e682b

• WIP converting booster context logs to typed context

  jberthold

  committed
  70c8168

• Booster.Log type-checks, patterns for export

  jberthold

  committed
  4c1ef28

Commits on Jun 19, 2024

• convert all logging call sites

  jberthold

  committed
  9deaf22

• formatting

  jberthold

  committed
  2fc8bc9

• Make UniqueId carry text instead of a number

  jberthold

  committed
  c9677c4

• add hook-related lines to expected output for log-simplify-json test

  jberthold

  committed
  5e80967

• Refactoring to get rid of the patterns

  jberthold

  committed
  a52f505

• convert count-aborts app, make context a 'Seq' in LogLine

  jberthold

  committed
  bb29933

Commits on Jun 20, 2024

• Use TH to derive the JSON instances (for performance)

  jberthold

  committed
  a880455

• Merge branch 'master' into 3888-typed-context-and-parser

  jberthold

  authored
  40d47e6

• fix kore-term tag (requires camelcase-ing)

  jberthold

  committed
  a510b1a

• pimp show instance for SimpleContext to match json representation

  jberthold

  committed
  bcef5c3

• Format with fourmolu

  

  github-actions

  committed
  3257cc5

• remove redundant import

  jberthold

  committed
  0138c99

• Anti-capitalism

  jberthold

  authored
  8c33434

• Merge branch 'master' into 3888-typed-context-and-parser

  jberthold

  authored
  2ab0fc0