Fabian Ruffy

This is a larger rewrite of the core parts of P4Testgen's target initialization. The goal is to fix several problems when trying to use P4Testgen and other tools as a...

Currently, the error message for missing to declare a variable in the for-loop looks like this: ``` loop3-err.p4(51):syntax error, unexpected IN for (i in ^^ [--Werror=overlimit] error: 1 errors encountered,...

Clean up some issues with the reachability pass and modernize the code. This pass is barely used so the changes are not of much consequence. This fixes are useful for...

Clean up P4C namespaces

10

Our namespace policy is a little unclear. Currently, we seem to use P4 for front/mid end, ControlPlaneAPI for the control plane, and IR for the IR code. The lib folder...

Fixes #4662.

This way we can distinguish whether a particular IR object is a system object or a program object. This can be useful in optimizations (e.g., do not remove system declarations)...

Replace boost::container::flat_map with absl::btree_map in P4Tools.

2

Yet another variant of #4667 and #4713 but a bit more conservative. `btree_map` is a memory-efficient variant of `std::map` which does not require hashing. We can use it to replace...

Build Z3 from source for P4Tools.

2

Fixes #4693.

It will make it easier to work with arguments without having to rely on indirection.