Fabian Ruffy

Results 266 comments of Fabian Ruffy

Thanks for checking, @jafingerhut! p4c, however, does not complain if a runtime index could potentially be out of range, right? So, I actually have a question on the validity of...

``` If any of these kinds of writes are performed: a write to a field in a currently invalid header, either a regular header or an element of a header...

How much work would it be to implement this? We are currently running into crashes when using Z3 with BDWGC because they are using https://github.com/Z3Prover/z3/pull/6321. I do not quite understand...

> I agree with Steffen, Additionally, in the short term you might find what you need in the IR JSON output. I have seen cases where someone parsed that to...

>I tend to agree with @smolkaj, it would be good to know more about the use case. My use case is a little special, I am not sure whether it...

> @fruffy See above, would you like to proceed with an implementation? I can implement the default action generation in P4C at least. https://github.com/p4lang/p4c/issues/4662

We have updated P4C to C++17 a while ago. I think requiring C++17 at minimum is fair.

> Hello , > > I would like to take this up as my very first contribution to get into open source. I've never done this before and would really...

> I've made the changes to the build system and documentation to reflect this update. Could you please guide me on the best practices for testing these changes? Specifically, I...

In general, I would clean up the original PRs before we can even start to make suggestions on how to break them down. This means removing nanomsg and thrift.