Code

Coupon collector#3

Code

Merged

hei411 merged 12 commits intologsem:mainlogsem/clutch:mainfrom hei411:couponhei411/clutch:couponCopy head branch name to clipboardJan 26, 2024

+1,039-1

Commits

Commits on Dec 4, 2023

• starting coupon collection

  hei411

  committed
  15638cb

  Copy full SHA for 15638cb

Commits on Dec 5, 2023

• Coupon more stuff

  hei411

  committed
  87cf622

  Copy full SHA for 87cf622

Commits on Dec 6, 2023

• writing coupon

  hei411

  committed
  9001320

  Copy full SHA for 9001320

Commits on Dec 7, 2023

• coupon change invariants

  hei411

  committed
  b1b2ed3

  Copy full SHA for b1b2ed3

• FInish invariant proof

  hei411

  committed
  7d36f60

  Copy full SHA for 7d36f60

Commits on Dec 8, 2023

• finished...

  hei411

  committed
  bf068ef

  Copy full SHA for bf068ef

• remove unnecessary files

  hei411

  committed
  39c463b

  Copy full SHA for 39c463b

Commits on Dec 15, 2023

• Merge branch 'main' into coupon

  hei411

  authored
  2d98167

  Copy full SHA for 2d98167

• Coupon nearly done, except bijection

  hei411

  committed
  2731529

  Copy full SHA for 2731529

• only two cases

  hei411

  committed
  f3dce77

  Copy full SHA for f3dce77

• Done

  hei411

  committed
  5afa863

  Copy full SHA for 5afa863

• Final contextual equivalence

  hei411

  committed
  b9ff99f

  Copy full SHA for b9ff99f