Code

Main report#13

Code

Merged

SkymanOne merged 10 commits intomainSkymanOne/folidity:mainfrom gn/main_reportSkymanOne/folidity:gn/main_reportCopy head branch name to clipboardApr 25, 2024

+2,351-54

Commits

Commits on Apr 18, 2024

• copy paste progress report

  SkymanOne

  committed
  ebbe4f1

  Copy full SHA for ebbe4f1

• Merge branch 'main' into gn/main_report

  SkymanOne

  committed
  e60d2b5

  Copy full SHA for e60d2b5

• update template

  SkymanOne

  committed
  d2f78a0

  Copy full SHA for d2f78a0

Commits on Apr 22, 2024

• progress

  SkymanOne

  committed
  78fe031

  Copy full SHA for 78fe031

• semantics section

  SkymanOne

  committed
  2b52f10

  Copy full SHA for 2b52f10

• verifier section

  SkymanOne

  committed
  78a3485

  Copy full SHA for 78a3485

Commits on Apr 23, 2024

• first draft

  SkymanOne

  committed
  726a3e5

  Copy full SHA for 726a3e5

• second draft

  SkymanOne

  committed
  633500f

  Copy full SHA for 633500f

• add README.md

  SkymanOne

  committed
  cd3cf8d

  Copy full SHA for cd3cf8d

Commits on Apr 24, 2024

• adjust word count

  SkymanOne

  committed
  8a96cd5

  Copy full SHA for 8a96cd5