Skip to content

Issues: p4lang/p4c

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

Clear current search query, filters, and sorts
23 Open 192 Closed
23 Open 192 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[P4Testgen] Add the Tofino testgen target. p4tools Topics related to the P4Tools back end tofino Topics related to the Tofino switch and back end.
#5038 opened Nov 30, 2024 by fruffy • Draft
[P4Testgen] Set other headers also invalid when calling setInvalid on a union header. bmv2 Topics related to BMv2 or v1model p4tools Topics related to the P4Tools back end
#4853 opened Aug 5, 2024 by fruffy Loading…
1
27
[P4Testgen] Move p4tools.def to common/ir.def, introduce a hashing function for state and symbolic variables. p4tools Topics related to the P4Tools back end
#4667 opened May 17, 2024 by fruffy • Draft
12
[P4Testgen] incorrect handling of setInvalid() called on headers in unions bug This behavior is unintended and should be fixed. p4tools Topics related to the P4Tools back end
#4448 opened Feb 22, 2024 by p-sawicki
1
@fruffy
5
Propagate source info correctly in sideEffects.cpp p4tools Topics related to the P4Tools back end run-validation Use this tag to trigger a Validation CI run.
#4409 opened Feb 11, 2024 by fruffy • Draft
4
[P4Testgen] Better error handling in the test backends. p4tools Topics related to the P4Tools back end
#4403 opened Feb 8, 2024 by fruffy
@fruffy
2
[P4Testgen] The actions' coverage works weirdly if action is called from multiple tables p4tools Topics related to the P4Tools back end
#4335 opened Jan 15, 2024 by vlstill
@vlstill
4
[P4Testgen] Validate options as early as possible enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4333 opened Jan 12, 2024 by fruffy
@fruffy
[P4Testgen][WiP] Run clang-tidy fix-its on the P4Tools common folder. p4tools Topics related to the P4Tools back end
#4326 opened Jan 10, 2024 by fruffy • Draft
[P4Testgen] Revisit handling of varbit in P4Tools/P4Testgen p4tools Topics related to the P4Tools back end
#4318 opened Jan 5, 2024 by vlstill
[P4Testgen] Add a p4test-like target to testgen. enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4304 opened Dec 19, 2023 by vlstill
7
[P4Testgen] Build a Prototype which uses architecture templates enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4295 opened Dec 16, 2023 by fruffy
@fruffy
[P4Testgen] Improve library support for P4Testgen and the P4Tools framework. enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4294 opened Dec 16, 2023 by fruffy
1 of 4 tasks
@fruffy
[P4Testgen] Reduce the use of static objects in P4Testgen enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4286 opened Dec 12, 2023 by fruffy
@fruffy
1
[P4Testgen] Add the ability to read control-plane configurations. enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4285 opened Dec 12, 2023 by fruffy
@fruffy
[P4Testgen] Generate more human-readable information about the generated input/output packets enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4272 opened Dec 1, 2023 by fruffy
@fruffy
[P4Testgen] Remove some functions which use out params. p4tools Topics related to the P4Tools back end
#4266 opened Nov 28, 2023 by fruffy
@fruffy
[P4Testgen] Simplify findTable function enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4265 opened Nov 28, 2023 by fruffy
@fruffy
[P4Testgen] Remove pointer arguments in Testgen test back ends enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#4259 opened Nov 21, 2023 by fruffy-g
@fruffy-g
[P4Testgen] Use an explicit timeout for the P4Testgen Z3 solver. p4tools Topics related to the P4Tools back end
#3927 opened Mar 16, 2023 by fruffy • Draft
[P4Testgen] Reachability Engine Conditions for P4Tools p4tools Topics related to the P4Tools back end
#3838 opened Jan 12, 2023 by VolodymyrPeschanenkoIntel • Draft
3
P4Testgen: Missing features enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#3652 opened Nov 2, 2022 by fruffy
4 of 20 tasks
Make P4Tools' reachability analysis more general and reuse existing compiler code enhancement This topic discusses an improvement to existing compiler code. p4tools Topics related to the P4Tools back end
#3581 opened Oct 17, 2022 by fruffy
@VolodymyrPeschanenkoLitSoft
10
ProTip! Find all open issues with in progress development work with linked:pr.