Vladimír Štill
Vladimír Štill
However, `minSizeInBits` is currently not considered a constant also where it should be according to this spec: ```p4 typedef int T; int fn(inout bit data) { int v = 42;...
Thank you. Maybe something like this? > Note that the labels match on the kind of action executed, no matter if the action run due to table hit or due...
Do we need a concrete version of boost that is newer then what is available on supported OSes? If not, I don't see a big reason to fetch boost ourselves....
> The problem with `string(JSON...)` is that it requires CMake3.19+ and we are still working with CMake3.16. Note: We (= P4C) are currently supporting Ubuntu 20.04 which has 3.16 in...
> Do you know a user-friendly, local way to install CMake with a more recent version? That is my main concern. ``` python3 -m pip install --user cmake==3.29.3 ``` seems...
> Do you know a user-friendly, local way to install CMake with a more recent version? That is my main concern. > > It might be worthwhile to consider [Conan](https://docs.conan.io/2/tutorial/consuming_packages/build_simple_cmake_project.html)...
The P4C *is* the tool to get P4 AST. The P4 IR that we have in the compiler is a form of AST. It is in C++ so to access...
I suggest we go with https://github.com/p4lang/p4c/pull/4660 and fix https://github.com/p4lang/p4c/issues/3622 differently. I suggest we add a specific validation for that that runs even before constant folder. It cant be in `ValidateParsedProgram`...
In reply to @ChrisDodd, https://github.com/p4lang/p4c/pull/4633#issuecomment-2070871201: > > These changes are increasingly showing that the current frontend/midend split is not really working. Indeed even which frontend optiomizations disabled, it does actually...
> The [Petr4](https://dl.acm.org/doi/10.1145/3434322) paper claims the type-inference algorithm of P4C does not need to be as complicated as it currently is (_Section 4 - Type Checker_). Thanks for pointing this...