Code

Coneris flip#45

Code

Merged

hei411 merged 69 commits intomainlogsem/clutch:mainfrom coneris_fliplogsem/clutch:coneris_flipCopy head branch name to clipboardOct 7, 2024

+2,344-1,465

Commits

Commits on Sep 17, 2024

• Progres with flip_spec

  hei411

  committed
  351d7e8

• Progress with flip_spec

  hei411

  committed
  4396686

• hocap flip spec

  hei411

  committed
  b13e398

• Basic template for impl2 with flip

  hei411

  committed
  eb5024b

• new_counter_spec2

  hei411

  committed
  f2d886e

• Progress on impl 2, getting stuck a bit

  hei411

  committed
  ee83b1b

• another try?

  hei411

  committed
  bf4565a

Commits on Sep 19, 2024

• first rough sketch of proof of impl2

  hei411

  committed
  0a5480f

• allocate_tape_spec2

  hei411

  committed
  4f74c4f

• read_counter_spec2

  hei411

  committed
  2248da2

• NIT

  hei411

  committed
  a227713

• strengthen flip_tape_spec_some

  hei411

  committed
  e1027da

• Progress with incr counter tape spec some 2

  hei411

  committed
  c618b3b

• progress with incr counter tape spec some 2

  hei411

  committed
  0236bcc

Commits on Sep 20, 2024

• impl2 refaactor

  hei411

  committed
  b602e83

• flip presample spec simple

  hei411

  committed
  45b4474

• Progress with flip presample spec

  hei411

  committed
  c0be184

• Progress with changing hocap RA to authR, TODO: fix rand counter interface and its implementations

  hei411

  committed
  4dc3f50

• BIG refactor, a lot of code commented out

  hei411

  committed
  fe3ce88

Commits on Sep 23, 2024

• first attempt with hocap rand

  hei411

  committed
  14b179e

• progress with hocap rand

  hei411

  committed
  758b6d5

• NIT

  hei411

  committed
  c6361a9

Commits on Sep 24, 2024

• hocap rand progress

  hei411

  committed
  3058483

• finish hocap rand

  hei411

  committed
  8ab40cc

• hocap rand

  hei411

  committed
  e611498

Commits on Sep 25, 2024

• Slight improvement on spec

  hei411

  committed
  fc7ad54

• fix build

  hei411

  committed
  1e707a7

• NIT

  hei411

  committed
  acfcf79

• Nicer

  hei411

  committed
  48ada79

• hocap rand with simons suggestion

  hei411

  committed
  66f966a

• remove file

  hei411

  committed
  dfceb3f

• FLIP

  hei411

  committed
  d2d6f4f

• NIT

  hei411

  committed
  ef8d71f

Commits on Sep 26, 2024

• interface spec of random counter

  hei411

  committed
  4dbc843

• Better spec

  hei411

  committed
  cbdb969

• Simplify spec by removing P

  hei411

  committed
  690707a

• NIT

  hei411

  committed
  fb3f8f7

• NIT

  hei411

  committed
  9200128

• NIT

  hei411

  committed
  95f38e6

Commits on Sep 27, 2024

• lemma incr_counter_tape_spec_none

  hei411

  committed
  357f87c

• sequential spec incr_counter_tape_spec_none'

  hei411

  committed
  d0d1865

• Progress with impl1

  hei411

  committed
  a75cb86

• fix spec of incr_counter_tape_spec_some

  hei411

  committed
  22b341b

• incr_counter_tape_spec_some1

  hei411

  committed
  a3a2151

• counter_presample_spec1

  hei411

  committed
  140171c

• complete impl1

  hei411

  committed
  7d7d463

• NIT

  hei411

  committed
  5dc07b5

• CHECKPOINT. START OF REDOING SPECS TO MAKE TAPES LOCAL

  hei411

  committed
  28ec2c8

• Updated hocap rand and hocap flip. TODO: rand counter and its implementations

  hei411

  committed
  ef09370

Commits on Sep 30, 2024

• random counter spec fix

  hei411

  committed
  b285783

• impl1

  hei411

  committed
  ea85077

• NIT

  hei411

  committed
  33577e0

• Progress in impl2

  hei411

  committed
  9367f48

• progress with impl2

  hei411

  committed
  2a2a3b8

• Progress with impl2

  hei411

  committed
  aa2d2f4

Commits on Oct 1, 2024

• impl2 completed

  hei411

  committed
  9a1e514

• Progress with impl3

  hei411

  committed
  e196ae1

• impl3 create spec, allocate tape, and read from counter

  hei411

  committed
  746032e

• incr_counter_tape_spec_some3

  hei411

  committed
  73f3868

• NIT

  hei411

  committed
  a0101d2

• add linear spec for hocap flip

  hei411

  committed
  644c7bf

Commits on Oct 2, 2024

• NIT

  hei411

  committed
  ab1e100

• NIT

  hei411

  committed
  531d4ef

Commits on Oct 3, 2024

• hocap_error_coupl

  hei411

  committed
  3710d49

• NIT

  hei411

  committed
  e68656c

Commits on Oct 4, 2024

• break build but useful state_update def

  hei411

  committed
  9e2e5d1

Commits on Oct 7, 2024

• rand counter +impl1 +impl2 fix build

  hei411

  committed
  9ae3eea

• Finish impl3

  hei411

  committed
  c12d733

• Improve copset rewrites

  hei411

  committed
  ea33c4c