Code

Formalize PIEO Tree Compilation#35

Code

Open

polybeandip wants to merge 34 commits intomaincucapra/packet-scheduling:mainfrom pieo-treescucapra/packet-scheduling:pieo-treesCopy head branch name to clipboard

+1,341-7

Commits

Commits on Jul 1, 2024

• Setup tex files

  polybeandip

  committed
  d15d288

  Copy full SHA for d15d288

Commits on Jul 7, 2024

• Fill in initial defn

  polybeandip

  committed
  593f850

  Copy full SHA for 593f850

• Push pdf

  polybeandip

  committed
  fe3a3d4

  Copy full SHA for fe3a3d4

Commits on Jul 17, 2024

• Setup structure and semantics

  polybeandip

  committed
  dca9d97

  Copy full SHA for dca9d97

• Define simulation

  polybeandip

  committed
  e5f25ba

  Copy full SHA for e5f25ba

• Fix well-formed defn

  polybeandip

  committed
  2b77335

  Copy full SHA for 2b77335

• Add main theorem

  polybeandip

  committed
  737dbd8

  Copy full SHA for 737dbd8

Commits on Jul 18, 2024

• Add projection scaffolding

  polybeandip

  committed
  d029089

  Copy full SHA for d029089

• Main theorem, projections, and more

  polybeandip

  committed
  ece565b

  Copy full SHA for ece565b

Commits on Jul 19, 2024

• Prove Lemma 2.3

  polybeandip

  committed
  31eaa89

  Copy full SHA for 31eaa89

• Remove todonotes pkg

  polybeandip

  committed
  284578a

  Copy full SHA for 284578a

• Prove diagram commutes

  polybeandip

  committed
  978f26d

  Copy full SHA for 978f26d

• Prove Lemma 2.5

  polybeandip

  committed
  5c3a46a

  Copy full SHA for 5c3a46a

Commits on Jul 22, 2024

• Prove Lemma 2.4

  polybeandip

  committed
  35c429e

  Copy full SHA for 35c429e

• Factor main Theorem into Lemmas

  polybeandip

  committed
  06e752f

  Copy full SHA for 06e752f

Commits on Jul 23, 2024

• Prove Lemma 4.6 (clone Lemma 5.7 from FA)

  polybeandip

  committed
  49e441a

  Copy full SHA for 49e441a

• Add well-formedness scaffolding

  polybeandip

  committed
  d200333

  Copy full SHA for d200333

• Merge branch 'main' into pieo-trees

  polybeandip

  committed
  7d945f6

  Copy full SHA for 7d945f6

• Merge branch 'main' into pieo-trees

  polybeandip

  committed
  eaaf315

  Copy full SHA for eaaf315

Commits on Jul 24, 2024

• Typos: missing _f

  polybeandip

  committed
  f91d0cc

  Copy full SHA for f91d0cc

Commits on Jul 28, 2024

• Well-formednes for pushing on PIFOs

  KabirSamsi

  committed
  71eacf3

  Copy full SHA for 71eacf3

• Lemma 2 for |.| on PIFO Trees

  KabirSamsi

  committed
  fb378e7

  Copy full SHA for fb378e7

• Format and font consistency fixes

  KabirSamsi

  committed
  abfdea6

  Copy full SHA for abfdea6

Commits on Jul 29, 2024

• Proof for Lemma 3.9.2, fixes from earlier

  KabirSamsi

  committed
  26fbed6

  Copy full SHA for 26fbed6

• Fix well-formedness (again!)

  polybeandip

  committed
  bba1bf2

  Copy full SHA for bba1bf2

• Recompiled pdfs

  KabirSamsi

  committed
  d880ade

  Copy full SHA for d880ade

• Merged updates to well-formedness definition

  KabirSamsi

  committed
  e4388db

  Copy full SHA for e4388db

• Indent fixes

  KabirSamsi

  committed
  15415b6

  Copy full SHA for 15415b6

Commits on Aug 1, 2024

• PIEO Tree 2.2.1 proof

  KabirSamsi

  committed
  7d35da8

  Copy full SHA for 7d35da8

• Modified font and formatting

  KabirSamsi

  committed
  747f485

  Copy full SHA for 747f485

• Recompile notes.pdf

  polybeandip

  committed
  4ffd1f3

  Copy full SHA for 4ffd1f3

Commits on Aug 5, 2024

• Updated PIEO Tree Well Formedness Notes for pushing

  KabirSamsi

  committed
  0d7f274

  Copy full SHA for 0d7f274

Commits on Aug 7, 2024

• Some notes syntax fixes

  KabirSamsi

  committed
  d9ee59c

  Copy full SHA for d9ee59c

Commits on Aug 11, 2024

• Bug fixes + recompilation

  Show description for 715fd33
  polybeandip

  committed
  715fd33

  Copy full SHA for 715fd33