MAFIA to P4 Compiler: mafia_p4c
P4 Manual Use-cases Implementation: p4demos
Domino implementation of the measurement: domino_banzai
Modification of the standard P4 Behavioral Model: p4bm
Some feature of the standard P4 Behavioral Model has been modified from the original source code available on the official P4 repository. Make sure you update the simple_switch target with the provided files (Makefile, prng.cpp, prng.h and simple_switch.cpp) and recompile the behavioral model.