Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

P4Cub-based Cimpl #491

Merged
merged 66 commits into from
Sep 7, 2023
Merged

P4Cub-based Cimpl #491

merged 66 commits into from
Sep 7, 2023

Conversation

jnfoster
Copy link
Contributor

@jnfoster jnfoster commented Sep 7, 2023

No description provided.

akanksha and others added 30 commits June 30, 2023 12:27
Created new branch (cimpl)
86951ef 
- wrote the dummy to_cimpl module
- started writing GCL expr representation
- working on figuring out how to add cimpl to the cimpiler run pipeline
@jnfoster
Initial compile loop for C via GCL
4bc8123
@jnfoster
Skeleton for GCL to C compiler
eb7f512
@jnfoster
Working skeleton
fa56e3e
@jnfoster
Remove Emacs autosave files
5593674
@jnfoster
Fix skeleton C code
77e8e37
@jnfoster
Add a size function to help debugging
0ca008a
@jnfoster
Fix bug in ToCimpl
ab79654
@jnfoster
More stubs and tidying for Cimpl
f1ebd06
@jnfoster
Add rudimentary pretty printing for GCL
d757006
@jnfoster
Compling the pipeline
dd398b6
@jnfoster
Don't compile GCL.GSkip statements; better pretty printing for blocks
f766452
Added more functionality
07690a8
@jnfoster
Nate edits
d1ba80e
@jnfoster
Created new branch (cimpl)
0cbb0e0 
- wrote the dummy to_cimpl module
- started writing GCL expr representation
- working on figuring out how to add cimpl to the cimpiler run pipeline
@jnfoster
Initial compile loop for C via GCL
1e72b7b
@jnfoster
Skeleton for GCL to C compiler
1a748e6
@jnfoster
Working skeleton
0f668df
@jnfoster
Remove Emacs autosave files
cb6437f
@jnfoster
Fix skeleton C code
37cb12a
@jnfoster
Add a size function to help debugging
0a90837
@jnfoster
Fix bug in ToCimpl
92667ce
@jnfoster
More stubs and tidying for Cimpl
86ce9f0
@jnfoster
Add rudimentary pretty printing for GCL
11ee74d
@jnfoster
Compling the pipeline
fe40eb4
@jnfoster
Don't compile GCL.GSkip statements; better pretty printing for blocks
13a75e7
@jnfoster
Added more functionality
710a524
@jnfoster
Nate edits
22df34d
@jnfoster
Merge branch 'cimpl' of github.com:verified-network-toolchain/petr4 i…
fddb2d4 
…nto cimpl
@jnfoster
Checkpoint
a54831d
jnfoster and others added 27 commits September 7, 2023 10:32
@jnfoster
More stubs and tidying for Cimpl
3d324f8
@jnfoster
Add rudimentary pretty printing for GCL
690ae6d
@jnfoster
Compling the pipeline
77c6cf2
@jnfoster
Don't compile GCL.GSkip statements; better pretty printing for blocks
a301075
@jnfoster
Added more functionality
00ff373
@jnfoster
Nate edits
ec835e5
@jnfoster
Created new branch (cimpl)
c478b19 
- wrote the dummy to_cimpl module
- started writing GCL expr representation
- working on figuring out how to add cimpl to the cimpiler run pipeline
@jnfoster
Initial compile loop for C via GCL
3d1659d
@jnfoster
Skeleton for GCL to C compiler
f65d515
@jnfoster
Working skeleton
157a99b
@jnfoster
Remove Emacs autosave files
77be9c7
@jnfoster
Fix skeleton C code
16b55eb
@jnfoster
Add a size function to help debugging
38ad431
@jnfoster
Fix bug in ToCimpl
4151112
@jnfoster
More stubs and tidying for Cimpl
967be07
@jnfoster
Add rudimentary pretty printing for GCL
ecc5368
@jnfoster
Compling the pipeline
a9804e2
@jnfoster
Don't compile GCL.GSkip statements; better pretty printing for blocks
99eeb68
@jnfoster
Added more functionality
d5cc646
@jnfoster
Nate edits
d82c1b6
@jnfoster
Checkpoint
588c0e7
@jnfoster
Move C Compiler to P4Cub rather than GCL
5a00b73
@jnfoster
Tweak
0ce5c25
@jnfoster
Fixes from bad rebase
4306b7e
@jnfoster
Fix conflicts
37a52c9
@jnfoster
Remove clutter
7f1d372
@jnfoster
Remove clutteR
39681fe
jnfoster
jnfoster commented Sep 7, 2023
View reviewed changes
Copy link
Contributor Author

@jnfoster jnfoster left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Self-approving to detangle conflicts.

@jnfoster jnfoster merged commit fb10faf into main Sep 7, 2023
@jnfoster jnfoster deleted the cimpl branch September 7, 2023 08:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jnfoster