Fabian Ruffy

[P4Testgen] Replace boost::container::flat_map with a custom flat_map implementation

2

The flat map implementation was donated by @asl. Missing some tests for it still.

Remove one more piece of boost in the compiler. This time we replace some boost containers with Abseil flat maps and sets. For that to work we needed to introduce...

Preserve the original name when renaming declarations in the inlining pass.

2

Fixes #4444.

Currently, upgrading Z3 to a version beyond 4.11.2 will lead to a crash. The reason seems to be that trying to invoke [malloc_usable_size](https://github.com/Z3Prover/z3/blob/904a50fe498c325f5c347628cd66a1ab610030e0/src/util/memory_manager.cpp#L307) does not work well with BDWGC. We...

Add the initial default action to tables.

11

WiP. Corresponding PR: https://github.com/p4lang/p4c/pull/4773 Fixes #470.

[P4Testgen] Set other headers also invalid when calling setInvalid on a union header.

7

Fixes #4448.

Add test program in which string comparison operators are folded.

2

Caused by #4837. Should this be permitted?

Ensure that the program is still well-typed at this step. In some scenarios it can happen that a front or mid end pass leaves typing information incomplete or inaccurate which...

Checking to see what breaks.

bng.p4 is too large to be loaded into the kernel

3

I have been trying out NIKSS and I ran into some issues with `bng.p4`. Trying to load it using the command `./nikss-ctl pipeline load id 1 out.o` fails. I attached...