Fabian Ruffy

Add a random program generator to the P4Tools framework

6

This is a port of [Bludgeon](https://github.com/p4gauntlet/bludgeon), which has initially been written for Gauntlet. Bludgeon is a P4 random program generator in the spirit of CSmith. It can generate random programs...

P4Testgen should be able to read in a control-plane specification, convert it into P4 IR Constraints, and then generate all the tests possible with this particular configuration. The first supported...

Currently, we only generate hex code, which is sometimes hard to understand or parse. Ideally, we should associate data structures with the final header when we generate it.

Try to use better C++ practices.

Try to support wildcard PacketReplicationEngine reads.

5

Fixes #609.

Add support for @p4runtime_translation

17

Hello, I am running a PTF Python program using simple_switch_grpc and the P4Runtime API. The program is relatively simple, but I am seeing the following error. ``` base_test.P4RuntimeWriteException: Error(s) during...

### Describe the issue Our CI on Fedora 40, which ships GCC 14 now, has been hitting `abseil-src/absl/numeric/internal/bits.h:309:24: error: '__builtin_ctzs' needs isa option -mbmi` recently in the Abseil library. https://github.com/p4lang/p4c/actions/runs/8880814585/job/24381737348...

Add skip_cpp_definitions to gc_cpp.cc

1

Trying to compile a static BDWGC build with your own overrides for the allocation functions can lead to a duplicate definition error for the C++ operators (new, delete, new[],..). This...

Depend on Boost using FetchContent instead of relying on system-provided boost.

16

This PR sets up boost to be installed via FetchContent instead of depending on the system-provided version. Because a lot of Boost is header-only this is a little tricky. Recent...

A workaround until #4663 is ready. Fixes #4659.