Code

Booster Description#4066

Code

Merged

rv-jenkins merged 14 commits intomasterruntimeverification/haskell-backend:masterfrom booster-docsruntimeverification/haskell-backend:booster-docsCopy head branch name to clipboardDec 3, 2024

+251-3

Commits

Commits on Oct 31, 2024

• Add stub of Booster description

  geo2a

  committed
  2b02d3d

  Copy full SHA for 2b02d3d

• booster-description: initial design doc

  

  ehildenb

  authored and

  geo2a

  committed
  f57898c

  Copy full SHA for f57898c

• Dump a bunch of notes on applying a single rewrite rule

  geo2a

  committed
  f098981

  Copy full SHA for f098981

• Update JSON RPC API doc

  geo2a

  committed
  e94db30

  Copy full SHA for e94db30

• Add Nix note

  geo2a

  committed
  d55fb2c

  Copy full SHA for d55fb2c

• Add more prose

  geo2a

  committed
  7ecd8e9

  Copy full SHA for 7ecd8e9

• Add Sam's rewriting description and diagram

  geo2a

  committed
  9e0e004

  Copy full SHA for 9e0e004

• More prose: talk about requires and ensures

  geo2a

  committed
  8811f4c

  Copy full SHA for 8811f4c

• Add prose on remainders

  geo2a

  committed
  b1b9359

  Copy full SHA for b1b9359

• Add a munch of stuff in equations

  geo2a

  committed
  9ad84aa

  Copy full SHA for 9ad84aa

• Add stubs

  geo2a

  committed
  926c23e

  Copy full SHA for 926c23e

Commits on Nov 22, 2024

• Merge branch 'master' into booster-docs

  jberthold

  authored
  f5f2624

  Copy full SHA for f5f2624

• Rewording suggestions from code review

  jberthold

  authored
  3379084

  Copy full SHA for 3379084

Commits on Dec 3, 2024

• Merge branch 'master' into booster-docs

  jberthold

  authored
  04ba3e2

  Copy full SHA for 04ba3e2