Automated Release v1.2.4.9

[github-actions]

Auto-generated pull request for version 1.2.4.9.

Please use Squash and merge to include the changelog in the release message.

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]