Code

P4Cub-based Cimpl#491

Code

Merged

jnfoster merged 66 commits intomainverified-network-toolchain/petr4:mainfrom cimplverified-network-toolchain/petr4:cimplCopy head branch name to clipboardSep 7, 2023

+475-28

Commits

Commits on Jun 30, 2023

• Created new branch (cimpl)

  Show description for 86951ef
  

  akanksha

  committed
  86951ef

  Copy full SHA for 86951ef

Commits on Jul 5, 2023

• Initial compile loop for C via GCL

  jnfoster

  committed
  4bc8123

  Copy full SHA for 4bc8123

• Skeleton for GCL to C compiler

  jnfoster

  committed
  eb7f512

  Copy full SHA for eb7f512

• Working skeleton

  jnfoster

  committed
  fa56e3e

  Copy full SHA for fa56e3e

• Remove Emacs autosave files

  jnfoster

  committed
  5593674

  Copy full SHA for 5593674

• Fix skeleton C code

  jnfoster

  committed
  77e8e37

  Copy full SHA for 77e8e37

• Add a size function to help debugging

  jnfoster

  committed
  0ca008a

  Copy full SHA for 0ca008a

• Fix bug in ToCimpl

  jnfoster

  committed
  ab79654

  Copy full SHA for ab79654

• More stubs and tidying for Cimpl

  jnfoster

  committed
  f1ebd06

  Copy full SHA for f1ebd06

• Add rudimentary pretty printing for GCL

  jnfoster

  committed
  d757006

  Copy full SHA for d757006

• Compling the pipeline

  jnfoster

  committed
  dd398b6

  Copy full SHA for dd398b6

• Don't compile GCL.GSkip statements; better pretty printing for blocks

  jnfoster

  committed
  f766452

  Copy full SHA for f766452

Commits on Jul 19, 2023

• Added more functionality

  

  akanksha

  committed
  07690a8

  Copy full SHA for 07690a8

Commits on Jul 27, 2023

• Nate edits

  jnfoster

  committed
  d1ba80e

  Copy full SHA for d1ba80e

Commits on Sep 4, 2023

• Created new branch (cimpl)

  Show description for 0cbb0e0
  

  akanksha

  authored and

  jnfoster

  committed
  0cbb0e0

  Copy full SHA for 0cbb0e0

• Initial compile loop for C via GCL

  jnfoster

  committed
  1e72b7b

  Copy full SHA for 1e72b7b

• Skeleton for GCL to C compiler

  jnfoster

  committed
  1a748e6

  Copy full SHA for 1a748e6

• Working skeleton

  jnfoster

  committed
  0f668df

  Copy full SHA for 0f668df

• Remove Emacs autosave files

  jnfoster

  committed
  cb6437f

  Copy full SHA for cb6437f

• Fix skeleton C code

  jnfoster

  committed
  37cb12a

  Copy full SHA for 37cb12a

• Add a size function to help debugging

  jnfoster

  committed
  0a90837

  Copy full SHA for 0a90837

• Fix bug in ToCimpl

  jnfoster

  committed
  92667ce

  Copy full SHA for 92667ce

• More stubs and tidying for Cimpl

  jnfoster

  committed
  86ce9f0

  Copy full SHA for 86ce9f0

• Add rudimentary pretty printing for GCL

  jnfoster

  committed
  11ee74d

  Copy full SHA for 11ee74d

• Compling the pipeline

  jnfoster

  committed
  fe40eb4

  Copy full SHA for fe40eb4

• Don't compile GCL.GSkip statements; better pretty printing for blocks

  jnfoster

  committed
  13a75e7

  Copy full SHA for 13a75e7

• Added more functionality

  

  akanksha

  authored and

  jnfoster

  committed
  710a524

  Copy full SHA for 710a524

• Nate edits

  jnfoster

  committed
  22df34d

  Copy full SHA for 22df34d

• Merge branch 'cimpl' of github.com:verified-network-toolchain/petr4 into cimpl

  jnfoster

  committed
  fddb2d4

  Copy full SHA for fddb2d4

• Checkpoint

  jnfoster

  committed
  a54831d

  Copy full SHA for a54831d

• Move C Compiler to P4Cub rather than GCL

  jnfoster

  committed
  56601ba

  Copy full SHA for 56601ba

Commits on Sep 7, 2023

• Created new branch (cimpl)

  Show description for 976b73f
  

  akanksha

  authored and

  jnfoster

  committed
  976b73f

  Copy full SHA for 976b73f

• Initial compile loop for C via GCL

  jnfoster

  committed
  daff726

  Copy full SHA for daff726

• Skeleton for GCL to C compiler

  jnfoster

  committed
  fff3799

  Copy full SHA for fff3799

• Working skeleton

  jnfoster

  committed
  c083adf

  Copy full SHA for c083adf

• Remove Emacs autosave files

  jnfoster

  committed
  783b401

  Copy full SHA for 783b401

• Fix skeleton C code

  jnfoster

  committed
  b8ff59d

  Copy full SHA for b8ff59d

• Add a size function to help debugging

  jnfoster

  committed
  d5af096

  Copy full SHA for d5af096

• Fix bug in ToCimpl

  jnfoster

  committed
  7d44434

  Copy full SHA for 7d44434

• More stubs and tidying for Cimpl

  jnfoster

  committed
  3d324f8

  Copy full SHA for 3d324f8

• Add rudimentary pretty printing for GCL

  jnfoster

  committed
  690ae6d

  Copy full SHA for 690ae6d

• Compling the pipeline

  jnfoster

  committed
  77c6cf2

  Copy full SHA for 77c6cf2

• Don't compile GCL.GSkip statements; better pretty printing for blocks

  jnfoster

  committed
  a301075

  Copy full SHA for a301075

• Added more functionality

  

  akanksha

  authored and

  jnfoster

  committed
  00ff373

  Copy full SHA for 00ff373

• Nate edits

  jnfoster

  committed
  ec835e5

  Copy full SHA for ec835e5

• Created new branch (cimpl)

  Show description for c478b19
  

  akanksha

  authored and

  jnfoster

  committed
  c478b19

  Copy full SHA for c478b19

• Initial compile loop for C via GCL

  jnfoster

  committed
  3d1659d

  Copy full SHA for 3d1659d

• Skeleton for GCL to C compiler

  jnfoster

  committed
  f65d515

  Copy full SHA for f65d515

• Working skeleton

  jnfoster

  committed
  157a99b

  Copy full SHA for 157a99b

• Remove Emacs autosave files

  jnfoster

  committed
  77be9c7

  Copy full SHA for 77be9c7

• Fix skeleton C code

  jnfoster

  committed
  16b55eb

  Copy full SHA for 16b55eb

• Add a size function to help debugging

  jnfoster

  committed
  38ad431

  Copy full SHA for 38ad431

• Fix bug in ToCimpl

  jnfoster

  committed
  4151112

  Copy full SHA for 4151112

• More stubs and tidying for Cimpl

  jnfoster

  committed
  967be07

  Copy full SHA for 967be07

• Add rudimentary pretty printing for GCL

  jnfoster

  committed
  ecc5368

  Copy full SHA for ecc5368

• Compling the pipeline

  jnfoster

  committed
  a9804e2

  Copy full SHA for a9804e2

• Don't compile GCL.GSkip statements; better pretty printing for blocks

  jnfoster

  committed
  99eeb68

  Copy full SHA for 99eeb68

• Added more functionality

  

  akanksha

  authored and

  jnfoster

  committed
  d5cc646

  Copy full SHA for d5cc646

• Nate edits

  jnfoster

  committed
  d82c1b6

  Copy full SHA for d82c1b6

• Checkpoint

  jnfoster

  committed
  588c0e7

  Copy full SHA for 588c0e7

• Move C Compiler to P4Cub rather than GCL

  jnfoster

  committed
  5a00b73

  Copy full SHA for 5a00b73

• Tweak

  jnfoster

  committed
  0ce5c25

  Copy full SHA for 0ce5c25

• Fixes from bad rebase

  jnfoster

  committed
  4306b7e

  Copy full SHA for 4306b7e

• Fix conflicts

  jnfoster

  committed
  37a52c9

  Copy full SHA for 37a52c9

• Remove clutter

  jnfoster

  committed
  7f1d372

  Copy full SHA for 7f1d372

• Remove clutteR

  jnfoster

  committed
  39681fe

  Copy full SHA for 39681fe