Code

Adopt Grackle in gokv tutorial#150

Code

Open

mjschwenne wants to merge 29 commits intomastermit-pdos/perennial:masterfrom gracklemit-pdos/perennial:grackleCopy head branch name to clipboard

+2,428-1,156

Commits

Commits on Nov 12, 2024

• setup perennial for nix development

  mjschwenne

  committed
  799b72d

  Copy full SHA for 799b72d

• fix nix setup

  mjschwenne

  committed
  d0f74e1

  Copy full SHA for d0f74e1

• Start working on update-grackle.sh

  mjschwenne

  committed
  278c1ed

  Copy full SHA for 278c1ed

• Finished (but untested) update-grackle.sh

  mjschwenne

  committed
  ed01ac1

  Copy full SHA for ed01ac1

• Update flake to include protoc

  mjschwenne

  committed
  3dc6da7

  Copy full SHA for 3dc6da7

Commits on Nov 13, 2024

• Begin grackle integration

  mjschwenne

  committed
  fbebaab

  Copy full SHA for fbebaab

• begin integration of kvservice

  mjschwenne

  committed
  5cdcc20

  Copy full SHA for 5cdcc20

• Add Matt Schwennesen to email list

  mjschwenne

  committed
  137f830

  Copy full SHA for 137f830

• Merge branch 'master' into grackle

  mjschwenne

  committed
  6d2ac1b

  Copy full SHA for 6d2ac1b

• finish integrating kvservice/proof.v

  mjschwenne

  committed
  f6d68b1

  Copy full SHA for f6d68b1

Commits on Nov 19, 2024

• Merge branch 'master' into grackle

  mjschwenne

  committed
  4540441

  Copy full SHA for 4540441

Commits on Nov 25, 2024

• Merge branch 'master' to get kvservice proof

  mjschwenne

  committed
  3722f47

  Copy full SHA for 3722f47

• begin grackle integration of tutorial/kvservice/full_proof.v

  mjschwenne

  committed
  c63b3a9

  Copy full SHA for c63b3a9

Commits on Nov 27, 2024

• fix typo in tutorial/kvservice/full_proof.v

  mjschwenne

  committed
  93a1f6d

  Copy full SHA for 93a1f6d

Commits on Dec 3, 2024

• Merge branch 'master' into grackle

  mjschwenne

  committed
  93e83fe

  Copy full SHA for 93e83fe

• update grackle and goose

  mjschwenne

  committed
  bf2fb41

  Copy full SHA for bf2fb41

• update update-grackle with flake integration

  mjschwenne

  committed
  5bc8428

  Copy full SHA for 5bc8428

• setup grackle checking for perennial

  mjschwenne

  committed
  19fa0ef

  Copy full SHA for 19fa0ef

Commits on Dec 4, 2024

• draft spec for wp_ReadSlice

  mjschwenne

  committed
  de4422e

  Copy full SHA for de4422e

• add encode fixpoint

  mjschwenne

  committed
  b79121e

  Copy full SHA for b79121e

Commits on Dec 5, 2024

• begin working on ReadSlice loop proof

  mjschwenne

  committed
  f3cecb1

  Copy full SHA for f3cecb1

• More work on ReadSlice

  mjschwenne

  committed
  0c7b6d7

  Copy full SHA for 0c7b6d7

• More work on finishing ReadSlice proof

  mjschwenne

  committed
  210b349

  Copy full SHA for 210b349

Commits on Dec 6, 2024

• Finish ReadSlice proof

  mjschwenne

  committed
  e83d9c1

  Copy full SHA for e83d9c1

Commits on Dec 11, 2024

• Remove length xs < 2^64 precondition

  tchajed

  committed
  5f4940f

  Copy full SHA for 5f4940f

Commits on Jan 9, 2025

• update to use value-based grackle, merge changes

  mjschwenne

  committed
  b3d2eb5

  Copy full SHA for b3d2eb5

Commits on Jan 13, 2025

• remove commented marshaling code

  mjschwenne

  committed
  ab7d68f

  Copy full SHA for ab7d68f

Commits on Jan 14, 2025

• Merge branch 'master' into grackle

  mjschwenne

  committed
  e9530c4

  Copy full SHA for e9530c4

• Mark auto-generated files for GitHub PR review

  tchajed

  committed
  92ed2ba

  Copy full SHA for 92ed2ba