gauntlet

gauntlet copied to clipboard

Currently, do_install.sh does not install bludgeon by default, so changing that behavior.

robotrobo

It would be nice if we can detect missed optimizations with this tool. One approach is to stop simplifying in Z3 and compare the non-simplified representation to the Z3-optimized version....

fruffy

Gauntlet should do proper type inference. Right now we have a customized solution, which easily breaks and adds unnecessary complexity. Type inference should be done as a preliminary pass in...

fruffy

Varbits not handled

1

It is complicated to support varbits in z3. For now we convert varbit types to bits and evaluate them as such. In the future, we need to add a data...

fruffy

Code coverage

1

Instrument a script that measures how much of a p4c pass we are actually covering with a P4 program. This gives useful information about lack of coverage in some places.

fruffy

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

fruffy

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

fruffy

Add special case handling for extract and lookahead for example.

fruffy

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

fruffy

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

fruffy