Release v1.2.4.15 (#4893)

Signed-off-by: rst0git <9142901+rst0git@users.noreply.github.com>

Changelog:
- Make isSystemFile() part of the parser options file. (4888) [Fabian Ruffy]
- Remove a stray print in the smith code. (4891) [Fabian Ruffy]
- simplifyDefUse: Report the specific uninitialized struct field (4892) [Chris Dodd]
- Remove 4 tests that are completely identical to other tests that remain (4890) [Andy Fingerhut]
- Add operator< to some compiler classes (4851) [Fabian Ruffy]
- Update BDWGC. (4868) [Fabian Ruffy]
- Pass to reduce added flags from RemoveReturn (4878) [Chris Dodd]
- Trim overlong source fragments in error messages (4885) [Chris Dodd]
- [P4Tools] Clean up the P4Tools GTest infrastructure. (4841) [Fabian Ruffy]
- Remove priority field from ternary table's action (4879) [vbnogueira]
- Reduce extern parameters size to 64 bytes (4880) [vbnogueira]
- Set the initial default action for tables when generating a P4Info. (4773) [Fabian Ruffy]
- Reenable compilation tests for P4Smith. (4791) [zzmic]
- Fix linter complaints in the validateStringAnnotations pass and enable -werror for MacOS. (4881) [Fabian Ruffy]
- Docs:Content Organization & Add 'Frontend' and 'Midend' Sections (4876) [Adarsh Rawat]
- [p4fmt]: Add a pretty printer for p4fmt.  (4862) [Nitish Kumar]
- Allow concatenation of string literals at compile time (4856) [Vladimír Štill]
- Support of is_net_port and is_host_port externs. (4873) [Komal Jain]
- Docs : Content Organization and Documentation Updates (4850) [Adarsh Rawat]
- Promote  to be THE project-wise top-level namespace (4825) [Bili Dong]
- Ensure we are finding proper  during debug printing (4860) [Anton Korobeynikov]
- Fix ASAN issue in lib/cstring. (4865) [Matthew Lam]
- Represent bits of width zero as an empty string. (4852) [Fabian Ruffy]
- Bump actions/github-script from 6 to 7 (4864) [dependabot[bot]]
- Fixup/cleanup IR::Type::width_bits() (4858) [Chris Dodd]
- Bump Documentation build workflow action from Doxygen  to  (4861) [Adarsh Rawat]
- Fix: PR Preview URL to Use Base Repository (4855) [Adarsh Rawat]
- Support of Digest extern in P4TC (4842) [Komal Jain]
- Ensure correct overload for diagnose() is called even in Transform context. (4830) [Anton Korobeynikov]
- Feat: PR Preview Workflow via GitHub Pages (4848) [Adarsh Rawat]
- Docs : Changelogs release update for v1.2.4.14 (4849) [Adarsh Rawat]
- Fix incorrect BMv2 include. (4843) [Fabian Ruffy]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Release v1.2.4.14 (#4844)

Signed-off-by: rst0git <9142901+rst0git@users.noreply.github.com>

Changelog:
- Replace boost::container::flat_map with absl::btree_map in P4Tools. (4768) [Fabian Ruffy]
- Make SymbolicVariable part of the core IR. (4840) [Fabian Ruffy]
- [P4Testgen] Fix problems with the reachability pass. (4789) [Fabian Ruffy]
- Add skeleton implementation for BMv2 PNA Backend (4729) [rupesh-chiluka-marvell]
- [P4Testgen] Hotfix for failing P4Testgen benchmark test. (4839) [Fabian Ruffy]
- Pass compiler options as argument instead of retrieving them from the context. (4833) [Fabian Ruffy]
- Truncate shifts to the maximum constant bit-width in the constant folding pass. (4836) [Fabian Ruffy]
- Add string literal support in constant folding. (4837) [Fabian Ruffy]
- Forbid case-after-default, tweak error messages (4831) [Vladimír Štill]
- [P4Testgen] Initialize the testgen targets when invoking the library API (4706) [Fabian Ruffy]
- Make don't care args action-local when used in actions (4817) [Kyle Cripps]
- Remove multimap usage from  (4821) [Anton Korobeynikov]
- Minor Fix: links in P4Smith page (4828) [Adarsh Rawat]
- misc fixes/additions (4820) [Chris Dodd]
- Fix: Links in Generated Documentation (4793) [Adarsh Rawat]
- Store exact type, not one of the base class to inhibit assertion (4818) [Anton Korobeynikov]
- Update README.md instructions for running doxygen (4807) [Andy Fingerhut]
- Map written s to program locations () instead of s (4797) [Kyle Cripps]
- Add tests from issue 4507 (4816) [Kyle Cripps]
- Add test program to verify compile-time error if no type in for-in loop (4812) [Andy Fingerhut]
- [NFC] Split TypeInference (4814) [Anton Korobeynikov]
- [P4Testgen] Refactor the P4Testgen extern implementation. (4728) [Fabian Ruffy]
- Extend & fix FunctionInliner (4801) [Anton Korobeynikov]
- Make preprocess and getIncludePath const functions. (4785) [Fabian Ruffy]
- Update the PINS programs. (4799) [Fabian Ruffy]
- Require type decl in for..in loops (4808) [Chris Dodd]
- Add UnrollLoops::Policy to control unrolling per backend (4809) [Chris Dodd]
- Introduce string map class and switch to it (4774) [Anton Korobeynikov]
- Fix loc_t operator< when parent is nullptr (4798) [Kyle Cripps]
- [4661] Do not unconditionally mark extern method calls as compile-time constants. (4726) [Kyle Cripps]
- Unbreak tc backend in the mainline (4794) [Fabian Ruffy]
- P4Fmt reference checker (4778) [Nitish Kumar]
- P4C Options cleanup (4790) [Fabian Ruffy]
- Docs :  Add Home page for documentation  (4764) [Adarsh Rawat]
- Make HasTableApply a resolution context, so it could resolve declarations on its own if desired (4781) [Anton Korobeynikov]
- Add release notes for v1.2.4.13 (4788) [Adarsh Rawat]
- Implementation of InternetChecksum in P4TC (4782) [Komal Jain]
- Move ProgramStructure out the BMv2 folder such that it can be used in other back ends. (4770) [Fabian Ruffy]
- Fix loop unrolling bugs related to issue4739 (4783) [Chris Dodd]
- For-loop and for-in-loop support for P4Smith (4772) [zzmic]
- Improve cstring cache internals (4780) [Anton Korobeynikov]
- P4Testgen logging cleanups. (4684) [Fabian Ruffy]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Release v1.2.4.13 (#4767)

Changelog:
- Add DCO description to the contribution guidelines. (4743) [Fabian Ruffy]
- Fix naming of CMake Release configuration. (4765) [Fabian Ruffy]
- Clean up dependabot label generation. (4766) [Fabian Ruffy]
- Remove ReferenceMap recalculation (almost) everywhere and switch to more fine-grained solutions (4757) [Anton Korobeynikov]
- Create empty SetOfLocations for don't care arguments passed as action out args. (4762) [Kyle Cripps]
- Docs: Update compiler file structure (4761) [Adarsh Rawat]
- Docs: Initial sequence of pages in Documentation (4758) [Adarsh Rawat]
- Add back in heading for P4Smith README file (4756) [Andy Fingerhut]
- Docs: Add theme dependency and instructions (4747) [Adarsh Rawat]
- Docs: Fixing diagram paths in generated docs (4755) [Adarsh Rawat]
- Fix broken links in Smith README (4754) [Fabian Ruffy]
- Bump docker/build-push-action from 5 to 6 (4751) [dependabot[bot]]
- Make different Markdown files have different titles in Doxygen output (4745) [Andy Fingerhut]
- Make sure compiler_meta__->drop starts out false (4722) [vbnogueira]
- Fix spurious P4Testgen failure. (4750) [Fabian Ruffy]
- Fix: Back end Graph rendering (4749) [Adarsh Rawat]
- Docs : Configuring Doxygen Awesome CSS (4737) [Adarsh Rawat]
- Emit true and false instead of 1 and 0 for BoolLiteral dbprint. (4741) [Fabian Ruffy]
- Use std::string_view in some cstring APIs. Use some abseil implementations while there. (4716) [Anton Korobeynikov]
- [Docs] Add initial CHANGELOG.md with changelogs from previous release (4708) [Adarsh Rawat]
- Get rid of custom implementation of Utils::PathName (4721) [Anton Korobeynikov]
- Docs : Update community link from Slack to Zulip (4735) [Adarsh Rawat]
- Implemented Counter extern in p4tc (4734) [Komal Jain]
- Fix : Compatibility issues with Doxygen version in runner and configuration  (4732) [Adarsh Rawat]
- [4006] Remove confusing warning when the same header is extracted multiple times in a parse path (4725) [Kyle Cripps]
- Add a constant folding pass after inlining (4727) [Mihai Budiu]
- Docs : Configure Doxygen and GitHub pages deploy Action (4702) [Adarsh Rawat]
- Fix up the Bazel sed command. (4720) [Fabian Ruffy]
- Test building P4C with  in CI (4719) [Bili Dong]
- Fix: Invalid include in  (4718) [Nitish Kumar]
- P4TC - Support for  DirectCounter extern (4711) [Komal Jain]
- Format-related string fixes and refactorings (4704) [Anton Korobeynikov]
- Add a formatter binary skeleton as P4C back end (4710) [Nitish Kumar]
- Add P4Smith, a random program generator to the P4Tools framework (4182) [Fabian Ruffy]
- Get rid of implicit char* => cstring conversions (4694) [Anton Korobeynikov]
- Fix a nullptr access in the DPDK back end. (4712) [Fabian Ruffy]
- Update some stale DPDK reference files. Make sure that the dpdk test runner throws an error when the reference file is stale. (4705) [Fabian Ruffy]
- More compilation fixes for C++20: hvec_map and copy_bitref  (4703) [Fabian Ruffy]
- Configure: DOXYGEN for documentation generation (4701) [Adarsh Rawat]
- Add freestanding RTTI::to, RTTI::is, RTTI::isAny (4696) [Vladimír Štill]
- Refactor error_helper and around (4686) [Anton Korobeynikov]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Release v1.2.4.12 (#4699)

Changelog:
- Add support for new platform property annotations for P4Runtime. (4611) [Jonathan DiLorenzo]
- Fix extern pipeline name in template file (4675) [Komal Jain]
- Add a release template to the compiler. (4692) [Fabian Ruffy]
- irgen: Generate explicit instantiations (4681) [Chris Dodd]
- Workaround for gcc-11.4/draft 2x spec flaw (4679) [Chris Dodd]
- Remove no-longer-used *.p4info.txt files (4687) [Andy Fingerhut]
- Improve  internals (4678) [Anton Korobeynikov]
- Make the new operator protected for some IR types. (4670) [Fabian Ruffy]
- Set type for LAnd, LOr, LNot to be Type_Boolean if unknown. (4612) [Fabian Ruffy]
- Facilitate inheritance from RenameSymbols pass, deduplicate code (4682) [Vladimír Štill]
- Add string_view and string conversion operators and functions to cstring (4676) [Vladimír Štill]
- Generalization & minor refactoring in RenameMap (4677) [Vladimír Štill]
- Added changes for default hit actions for tc backend (4673) [Sosutha]
- Support for Register Extern in P4TC (4671) [Komal Jain]
- Aggressively clean up the Protobuf CMake dependency. (4543) [Fabian Ruffy]
- RemoveUnusedDeclarations - make helpers protected (4668) [Chris Dodd]
- Replace IR::getBitType with IR::Type_Bits::get. (4669) [Fabian Ruffy]
- Only emit the warning on EXPORT_COMPILE_COMMANDS when there are clang-tidy files to lint. (4665) [Fabian Ruffy]
- Explicitly include hash for Ubuntu 18.04. (4664) [Fabian Ruffy]
- Changes for for loops (4562) [Chris Dodd]
- [4656] Explicitly delay constant folding of only action enum   expressions, instead of delaying constant folding of all  expressions (4657) [Kyle Cripps]
- Link against the Boehm-Demers-Weiser Garbage Collector using FetchContent. (3930) [Fabian Ruffy]
- Merge TestgenCompilerTarget into TestgenTarget. (4650) [Fabian Ruffy]
- Add support for a clang-tidy linter. Add a files utility function. (4254) [Fabian Ruffy]
- Fixes to lib/hash and lib/big_int_util. (4655) [Fabian Ruffy]
- Change parameter for kfunc 'bpf_p4tc_entry_create_on_miss' (4637) [Komal Jain]
- Fix missing declaration of custom externs in the generated eBPF/uBPF header file. (4644) [Fabian Ruffy]
- Improve error message when shifting int by non-const (4653) [Vladimír Štill]
- Move IRUtils Literal get functions to the respective IR members. Add stringliteral get function.  (4623) [Fabian Ruffy]
- Use check_include_file_cxx instead of check_include_file to find mm_malloc.h (4649) [Fabian Ruffy]

Co-authored-by: fruffy <fruffy@nyu.edu>

Release v1.2.4.11 (#4646)

Changelog:
- Add -mbmi flag to Abseil for GCC versions greater than 14.  (4638) [Fabian Ruffy]
- Rename reused-counter.p4 as reused-counter-bmv2.p4 so a test is created for it (4636) [Andy Fingerhut]
- Fix: Outdated links (4618) [Adarsh Rawat]
- Update MacOS brew version. (4642) [Fabian Ruffy]
- Contribute DiagnosticCountInPassHook (4629) [Vladimír Štill]
- allow disabling of subtraction transform (4633) [Glen Gibb]
- P4TC - Emit 'NoAction' in table actions list in template file (4622) [Komal Jain]
- Update graphs comment formatting. (4630) [sumit7754]
- [Docs]  capitalize "GCC" acronym in docs and comment (4632) [Adarsh Rawat]
- [4625] Prune s if child  resolves to a compile-time constant. (4627) [Kyle Cripps]
- [4614] Unconditionally copy  p4include files to the binary directory (4615) [Kyle Cripps]
- Update ebpf comment format (4624) [sumit7754]
- Call PassManager's debug hook even after a failing pass (4626) [Vladimír Štill]
- Ensure we take compiler-provided declaration of posix_memalign (4609) [Anton Korobeynikov]
- Use  everywhere instead of hard-coding  annotation name (4628) [Kyle Cripps]
- [Docs] Non-Breaking change of "p4c" to "P4C" (4620) [Adarsh Rawat]
- P4TC - Add permission annotations to tables  (4610) [Komal Jain]
- Update the Commenting Style in the DPDK backend (4619) [sumit7754]
- Force black to use pytoml as config. (4588) [Fabian Ruffy]
- Fix missing override. (4621) [Fabian Ruffy]
- Miscellaneous cleanups for P4Testgen. (4613) [Fabian Ruffy]
- Format: Documentation dependency command (4616) [Adarsh Rawat]
- clear done/visit_in_progress when revisiting node (4608) [Glen Gibb]
- Add missing <iterator> include to map.h (4607) [Steffen Smolka]
- Add option to build with dynamic libc and c++, but static other dependencies; change static option name (4597) [Vladimír Štill]
- Fix a warning emerging from a testsuite in GTest on newer versions of Clang.  (4605) [Fabian Ruffy]
- Change kfunc definition for bpf_p4tc_tbl_read, xdp_p4tc_tbl_read, (4604) [Komal Jain]
- Update Commenting Style in Bmv2 Backend (4603) [sumit7754]
- Update the dash programs. (4593) [Fabian Ruffy]
- Update the comment format of common (4602) [sumit7754]
- Make the tree cloner also clone Member(TypeNameExpression) to ensure the result is a DAG (4539) [Mihai Budiu]
- restore missing parentheses (4600) [Glen Gibb]
- Do not swallow the test output when checking for the static binary functionality. (4601) [Fabian Ruffy]
- [Docs] Add Table of Content (4590) [Adarsh Rawat]
- allow disabling of p4 input count check (4446) [Glen Gibb]
- Improve & Move "How to contribute" section to Top level readme  (4580) [Adarsh Rawat]
- Fix spurious failure when two tests try to remove  at the same time. (4591) [Fabian Ruffy]
- [DOCS][Refactor] Replace direct links with word links (4577) [Adarsh Rawat]
- Revert using Abseil system includes. (4594) [Fabian Ruffy]
- Create CONTRIBUTING.md (4581) [Adarsh Rawat]
- Handle Arithmetic operations for fields which are in network order (4566) [Komal Jain]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Release v1.2.4.10 (#4587)

Changelog:
- [Fix] Resource links in Additional documentation (4565) [Adarsh Rawat]
- Fix broken Debian CI test badge in the README. Add Fedora and MacOS CI badge.  (4569) [Abhinav kumar]
- Small build fixes. (4564) [fruffy-g]
- Added default action code for tc backend (4561) [Sosutha]
- Add p4tc_filter_fields in add_entry (4559) [Komal Jain]
- Suppress Abseil warnings. (4556) [Fabian Ruffy]
- Add a missing nullopt check. (4560) [fruffy-g]
- [P4Testgen] Clean up the direct extern map implementation for BMv2. (4546) [fruffy-g]
- Support new ActionProfile annotations for P4Runtime. (4533) [Jonathan DiLorenzo]
- Add width to parameters in const entries template definition. (4557) [Komal Jain]
- Implict cast fix (4399) [Chris Dodd]
- Corrected version in README.md (4555) [sumit7754]
- Refactor Util::Enumerator (4513) [Anton Korobeynikov]
- Add more CRC checksum variants to lib/nethash (4550) [Vladimír Štill]
- Bump black from 24.2.0 to 24.3.0 (4551) [dependabot[bot]]
- P4TC - Support add_on_miss, add entry externs (4522) [Komal Jain]
- Allow constructing an IR::ID from a std::string (4549) [Chris Dodd]
- Move the network hashes implementation from Bmv2 testgen to lib/ (4526) [Vladimír Štill]
- Fix a warning on missing override in def use class. (4547) [fruffy-g]
- Add policy controlling RemoveUnusedDeclarations (4528) [Chris Dodd]
- Use Abseil system includes (4511) [Fabian Ruffy]
- Bump softprops/action-gh-release from 1 to 2 (4545) [dependabot[bot]]
- [documentation] Add hyperlinks to the actual directory in the README file (4531) [Adarsh Rawat]
- Remove obsolete . (4541) [Tiago Quelhas]
- [P4Testgen] Fix append and prepend invocation. (4306) [Fabian Ruffy]
- Clean up P4Tools and control-plane linking. (4520) [Fabian Ruffy]
- Midend def-use pass (4489) [Glen Gibb]
- [docs] Sync Directory structure of P4tools  (4516) [Adarsh Rawat]
- Preserve annotations on functions properly (4532) [Chris Dodd]
- Add ninja as a default build system for some runners. (4491) [Fabian Ruffy]
- Extend parser to allow parentheses in lvalues (4530) [Nate Foster]
- tc_may_override annotation implementation (4529) [Sosutha]
- tc struct fields addition and memory initialization (4524) [Sosutha]
- Allow annotations on functions (4452) [Chris Dodd]
- Add 4 digit uid to dump file names (4509) [Chris Dodd]
- help compiler folding for divideFloor/moduloFloor (4512) [Glen Gibb]
- gc: implement posix_memalign. (4508) [Chris Dodd]
- [docs] subdirectories and description for control plane (4506) [Sanket Teli]
- Bump softprops/action-gh-release from 1 to 2 (4518) [dependabot[bot]]
-  YAML formatting from Redhead YAML language server. (4521) [Fabian Ruffy]
- [Docs] Added tools to directory structure (4504) [Adarsh Rawat]
-  [docs] Add Backend to directory structure (4503) [Adarsh Rawat]
- Fix broken MacOS and Ubuntu18.04 runs.  (4517) [Fabian Ruffy]
- Update formatters (clang-format, isort, black) (4515) [Fabian Ruffy]
- HalfOpenRange/ClosedRange classes (4496) [Glen Gibb]
- Link bazel badge to the bazel build ci (4505) [Sanket Teli]
- Build P4Testgen on MacOS. (4492) [Fabian Ruffy]
- Replace boost string algorithms with their abseil counterparts (4482) [Anton Korobeynikov]
- Move CI Mac and Fedora tests to separate test runs. (4495) [Fabian Ruffy]
- Open up the Z3 api. (4322) [Fabian Ruffy]
- fix comment typo (4498) [Kyle Cripps]
- restore underscore after DISABLED in test name (4497) [Glen Gibb]
- warn on unused controls/parsers (4440) [Glen Gibb]
- [P4Testgen] Add a rudimentary P4Testgen benchmark with via GTest. (4475) [Fabian Ruffy]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>

Release v1.2.4.9 (#4490)

Changelog:
- Use abseil maps even more (4473) [Anton Korobeynikov]
- Fetch latest brew formulae (4488) [Anton Korobeynikov]
- Generalize get in map utils (4483) [Anton Korobeynikov]
- Distinguish runner OS. (4487) [fruffy-g]
- Fixes from static analysis (4442) [Vladimír Štill]
- Add missing Bazel targets. (4486) [fruffy-g]
- Update MacOS runner to Ventura, add MacOS Sonoma (M1) runner (4393) [Fabian Ruffy]
- [P4Testgen] Add an option to selectively ignore control plane elements.  (4417) [Fabian Ruffy]
- backends/tc: Fix issues reported in 4327 (4484) [Thomas Calvert]
- Fix for default_action (4485) [Sosutha]
- * Removed pipeline id from template for tc backend (4480) [Sosutha]
- Try to clean up the Protobuf includes. (4474) [Fabian Ruffy]
- Use better maps to store visitor state (4459) [Anton Korobeynikov]
- [P4Testgen] Implement a library for common control-plane symbolic variables. (4398) [Fabian Ruffy]
- Dowload pre-built Z3 on Macs as well (4476) [Anton Korobeynikov]
- Bump protobuf version and add Abseil as compiler dependency.  (4463) [Anton Korobeynikov]
- Try to speed up the CI build process (4470) [Fabian Ruffy]
- Add some more global operator new / delete overrides (4465) [Anton Korobeynikov]
- Add support for parser errors in tc backend (4443) [vbnogueira]
- Bump docker/build-push-action from 3 to 5 (4467) [dependabot[bot]]
- Bump actions/setup-python from 4 to 5 (4466) [dependabot[bot]]
- Fix hvec_map insert/emplace (4458) [Chris Dodd]
- Remove some unused boost headers and switch from boost code to alternatives (4464) [Anton Korobeynikov]
- Handle value suffixes in the asserts parser. (4450) [fruffy-g]
- Add more API options to the P4Testgen api. (4451) [fruffy-g]
- Add merge group label to relevant branches. (4462) [Fabian Ruffy]
- Refactor ReferenceResolver to use native C++-enumerators in some places (4432) [Anton Korobeynikov]
- Bump actions/checkout from 3 to 4 (4457) [dependabot[bot]]
- Bump actions/cache from 2 to 4 (4456) [dependabot[bot]]
- Bump docker/setup-buildx-action from 2 to 3 (4455) [dependabot[bot]]
- Bump peter-evans/create-pull-request from 5 to 6 (4454) [dependabot[bot]]
- Bump docker/login-action from 2 to 3 (4453) [dependabot[bot]]
- Refactor some visitor internals (4447) [Anton Korobeynikov]
- Create a dependabot.yml for Github actions (4405) [Fabian Ruffy]
- Fix comment (4449) [Kyle Cripps]
- Change minimum key struct alignment to 8 (4426) [vbnogueira]
- P4TC - CRC32 Initialisation (4427) [Komal Jain]
- Avoid to-after-is double calls to RTTI in type checker (4441) [Vladimír Štill]
- add missing srcInfo to ParserState (4438) [Glen Gibb]
- Move information logging to toplevel. (4436) [Fabian Ruffy]
- Clean up Python linters. (4437) [Fabian Ruffy]
- -lldb arg run run lldb on the compiler in tests (4435) [Chris Dodd]
- Don't apply defaultArguments in table action lists (4434) [Chris Dodd]
- Error casting bool const to other than bit<1> (4419) [Chris Dodd]
- Provide better hash functions and boilerplate (4424) [Anton Korobeynikov]
- allow json output format to be modified (4407) [Glen Gibb]
- Pass FrontEndPolicy to unit tests (4433) [Vladimír Štill]
- Basic support for  and . (4363) [fruffy-g]
- Add a missing build rule to Bazel. (4429) [fruffy-g]
- [P4Testgen] Add an option to only generate tests with dropped packets.  (4416) [Fabian Ruffy]
- [P4Testgen] Look up the alias in the P4Info instead of using the fully qualified control plane name for Protobuf IR tests. (4425) [fruffy-g]
- frontend policy fix: missed ConstantFolding (4423) [Glen Gibb]
- gtest include: quotes -> angled brackets (4422) [Glen Gibb]
- test for ContantFolding + policy (4421) [Glen Gibb]
- Add IR::inlineBlock utility that helps with return of multiple statements from Transform (4414) [Vladimír Štill]
- Emit a reasonable error if someone uses type in place where expression is exprected (4411) [Vladimír Štill]
- Introduce a frontend policy as a customization point for frontend (4406) [Vladimír Štill]
- Add a P4Testgen library API. (4374) [Fabian Ruffy]
- Implement lightweight RTTI for (not only) IR::Node class hierarchies (4377) [Anton Korobeynikov]
- Add buildifier to Bazel workspace and run it on the bazel build files. (4413) [Fabian Ruffy]
- Memoize & improve name lookup in   (4376) [Kyle Cripps]
- Stop when an error is throwing in the P4Runtime serializer. Make stop on error explicit in pass manager. (4408) [Fabian Ruffy]
- Do not check for shadowing repeatedly in inlining passes. (4396) [Kyle Cripps]
- Add an option to override the test name. (4401) [Fabian Ruffy]
- Add a silent mode to P4Tools. Add performance counting at the top level. (4369) [Fabian Ruffy]
- Introduce a configuration structure for the test back ends. (4372) [Fabian Ruffy]
- Implement copy assignment operator for hvec_map (4388) [Anton Korobeynikov]
- [P4Testgen] Fix generation of specific fields in the Protobuf IR back end. Move hex separator utility to common class. (4400) [fruffy-g]
- Improve diagnostics for  (4354) [Kyle Cripps]
- Step 4: Use the P4Runtime API in the Protobuf back end. (4303) [Fabian Ruffy]
- Fix failing P4Testgen gtest. (4397) [Fabian Ruffy]
- Dpdk backend:Explicitly use method toString() while moving isValid() Methodcall used as table key, to metadata. (4383) [Usha Gupta]
- [4365] Do not allow  or  to demote errors. Allow  to work for s that can be both warnings and errors. (4366) [Kyle Cripps]
- Rename eBPF section names for tc backend (4361) [vbnogueira]
- Fixes from static analysis (4391) [Vladimír Štill]
- [P4Testgen] Hotfixes and improvements to the P4Constraints parsers. (4387) [Fabian Ruffy]
- backends/ebpf: Track header offset in bytes rather than bits. (4327) [Thomas Calvert]
- backends/tc: Honour P4TEST_REPLACE environment variable like other backends. (4395) [Thomas Calvert]
- Use proper Github actions syntax. (4394) [Fabian Ruffy]
- Allow one more round of type inference after specialization (4291) [Mihai Budiu]

Co-authored-by: rst0git <9142901+rst0git@users.noreply.github.com>
Co-authored-by: Fabian Ruffy <5960321+fruffy@users.noreply.github.com>

Release v1.2.4.8 (#4386)

Changelog:
- Tweak optional CI run execution. (4380) [Fabian Ruffy]
- Remove unused parser declarations and unused parser type declarations that result from  pass. (4368) [Kyle Cripps]
- Remove redundant protobuf installation. (4379) [Fabian Ruffy]
- Remove XDP code generated for TC (4349) [vbnogueira]
- Use std::allocator_traits::rebind_alloc instead of std::allocator::rebind (4373) [Vladimír Štill]
- Support ebpf Hash and Checksum (4378) [Komal Jain]
- P4TC - Support const entries (4329) [Komal Jain]
- Fixes for MacOS/macports. (4375) [Chris Dodd]
- Fix compiler stdin. (4367) [Fabian Ruffy]
- Add missing equiv implementation to Type_Any. (4336) [Fabian Ruffy]
- Remove options from gtest binary. (4334) [Fabian Ruffy]
- Provide hints on how to fix CI complaints. (4355) [Fabian Ruffy]
- Improve diagnostics for AssignmentStatement (4360) [Kyle Cripps]
- Improve diagnostics for  (4358) [Kyle Cripps]
- Improve diagnostics for  (4357) [Kyle Cripps]
- [P4Testgen] Introduce a compiler target for P4Testgen. Move computation from the ProgramInfo to the midend. (4292) [Fabian Ruffy]
-  Deprecate .txt, support in favour of .txtpb.  (4352) [Fabian Ruffy]
- [P4Testgen] Introduce the option to produce lowercase hex for the formatting library. (4340) [fruffy-g]
- Trigger CI workflows based on assigned label. (4348) [Fabian Ruffy]
- Emit the Protobuf header with the P4 entries and runtime files. (4350) [Fabian Ruffy]
- DoConstantFolding: make typeMap param const (4346) [Glen Gibb]
- Repair the static DPDK PTF tests. (4210) [Fabian Ruffy]
- Documentation & testfix follow-up to 4160 (4328) [Thomas Calvert]
- cstring: Add string literal suffix, add toLower (4342) [Vladimír Štill]
- Allow unknown fields when parsing P4Info files (4341) [Andy Fingerhut]
- Convert deparser header to 'inout' and address casting for functions with control block parameters  (4338) [Komal Jain]
- Step 2: Refactor ProgramInfo to be initialized with CompilerResult instead of a IR::P4Program. (4324) [Fabian Ruffy]
- Ignore clang-tidy complaints about macro do-while loops. (4332) [Fabian Ruffy]
- Fix build with system Protobuf (4321) [jkhsjdhjs]
- [P4Testgen] Extend the CompilerTarget runProgram function with data structures which can pass on more information. (4323) [Fabian Ruffy]
- Update status badges (4330) [fruffy-g]
- Allow constant-folding of arbitrary-precision integer casts (4325) [Vladimír Štill]
- Rename --with-output-packet to --output-packet-only. (4314) [fruffy-g]
- Make sure P4 expression optimization does not strip away types (4300) [Vladimír Štill]
- Respect ENABLE_LTO even for static build, but keep LTO default for static (4320) [Vladimír Štill]
- Allow constructing PassRepeated from a PassManager (4319) [Vladimír Štill]
- keep P4Control->body->srcInfo during init move (4317) [Glen Gibb]
- [P4Testgen] Implement coverage tracking of actions (4307) [Vladimír Štill]

Co-authored-by: rst0git <rst0git@users.noreply.github.com>

Release v1.2.4.7 (#4312)

Changelog:
- [P4Testgen] Add support for @Format annotations in P4 programs for protobuf-ir tests (4276) [fruffy-g]
- Remove -static and rename static build appropriately. (4284) [Fabian Ruffy]
- Fix incorrect field extraction arithmetic when multiple non-byte aligned header fields are combined into single byte aligned field (4301) [Usha Gupta]
- [P4Testgen] Fix stringliteral conversion. Value must be a literal, NOT a constant (4298) [Fabian Ruffy]
- Remove uses of . (4299) [John Cater]
- Fix initialization order in gtest helper (4296) [Vladimír Štill]
- [P4Testgen] Fix behavior of coverage on edge cases with no nodes to cover (4275) [Vladimír Štill]
- Add validation of constant enum values fitting (4287) [Vladimír Štill]
- Do not toggle BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP in CMakelists.txt (4181) [Fabian Ruffy]
- P4TC - Support for set_entry_timer extern (4269) [Komal Jain]
- Try to fix some issues with slowness in the MacOS build. (4280) [Fabian Ruffy]
- Move P4Testgen's logging function into the common library. (4279) [Fabian Ruffy]
- Remove deprecated inheritance. (4283) [Fabian Ruffy]
- [P4Testgen] Fix accidental system file categorization. (4278) [Fabian Ruffy]
- Fix problem with bpftool in PTF tests (4277) [Jan Palimąka]
- [P4Testgen] Move static helpers from TestgenTarget and ProgramInfo to common/lib/utils (4268) [Vladimír Štill]
- [P4Testgen] Resolve method call arguments before stepping into an extern - preserve InOut references (4255) [Fabian Ruffy]

Co-authored-by: rst0git <rst0git@users.noreply.github.com>

Release v1.2.4.6 (#4271)

Changelog:
- Remove stale XFail. (4270) [Fabian Ruffy]
- [P4Testgen] Introduce a new Protobuf backend which uses P4 PDPI instead of P4Runtime  (4221) [Fabian Ruffy]
- [P4Testgen]  Add struct and header expressions as a first-class expression to P4Testgen.  (4231) [Fabian Ruffy]
- P4tc Runtime issue fix (4263) [Komal Jain]
- Fix clang-tidy config file. (4253) [Fabian Ruffy]
- More code improvements based on static analysis (4258) [Vladimír Štill]
- [P4Testgen] Flatten the genEq function and support struct expressions. (4225) [Fabian Ruffy]
- [P4Testgen] Add a compiler pass to resolve Type_Name in StructExpressions. (4215) [Fabian Ruffy]
- Rename TF to TestFramework (4247) [Fabian Ruffy]
- [P4Testgen] Generate NoMatch for selects without default (4250) [Vladimír Štill]
- [P4Testgen] Fix argument names in GenericDescription trace event (4257) [Vladimír Štill]
- [P4Testgen] Add --assert-min-coverage option to check coverage of generated test cases (4251) [Vladimír Štill]
- [P4Testgen] Change crash message (4252) [Piotr Sawicki]
- Added range check of error codes (4249) [Denis Matousek]
- Fixed ebpf_packetOffsetInBits field in parser and control_block C file (4233) [Komal Jain]
- Ensure accurate typing for functions that work with references. (4223) [Fabian Ruffy]
- Allow non-cast checkedTo cast. (4243) [Fabian Ruffy]
- Allow custom usage in backends (4244) [Jiri Havranek]
- Fix some problems and suggestions found by clang-tidy (4237) [Vladimír Štill]
- [P4Testgen] Add EliminateInvalidHeaders midend pass (4239) [Vladimír Štill]
- Report offending node in the type-checker immutability check (4238) [Vladimír Štill]
- Allow method calls in index expressions in hsIndexSimplify (4240) [Vladimír Štill]
- Simplify jsonAssignment in ParserConverter and ActionConverter (4232) [Antonin Bas]
- Fix build for latest Fedora version (4241) [Antonin Bas]
- Disable DPDK PTF tests. Remove the deprecated travis.yml file. (4228) [Fabian Ruffy]
- improved bootstrap.sh. (4227) [Chris Dodd]
- [P4Testgen] Move common code of BMv2 test back ends into a common class. (4220) [Fabian Ruffy]
- Flatten nesting of test backends and rename the folder appropriately. (4219) [Fabian Ruffy]
- noconstructor should also include the json loader constructor (4216) [Fabian Ruffy]
- Fix some issues found by static analysis (4213) [Vladimír Štill]
- Ignore flaky test in P4Testgen eBPF back end. (4224) [Fabian Ruffy]
- Still parse STF files, even when BMv2 model is not present in system. (4222) [Fabian Ruffy]

Co-authored-by: rst0git <rst0git@users.noreply.github.com>