Fabian Ruffy

There are some cases where scoping is incorrect. The tests have been added in tests/imported.

There are some cases where method overloading leads to a crash. Mostly, when overloaded method are not part of an extern but global.

Add special case handling for extract and lookahead for example.

- [ ] size - [ ] meters - [ ] counters - [ ] implementation - [ ] psa_implementation - [ ] psa_direct_counter - [ ] psa_direct_meter - [...

There is no variable tracking the amount of calls regarding externs. This is a sideeffect we currently disregard

Parser Loops not correctly implemented

1

^

The condition inference is still incomplete, needs work.

Allow compile-time resolvable expressions for switch labels?

5

Prompted by the discussion in https://github.com/p4lang/p4c/pull/4657. Currently, this program is illegal according to the P4 specification: ```p4 action a(){} action b(){} action NoAction(){} control c() { table t { actions...

CMake support

4

It would be nice if we could build the behavioral model using CMake instead of relying on autotools. This would make it easier to integrate it with the rest of...

[P4Testgen] Initialize the testgen targets when invoking the library API

1

This is a problem that was not caught in testing. The failure isn't caught by the tests because of a nasty side effect of static allocation. gtest initializes the target...