Automated Release v1.2.4.14

[github-actions]

Auto-generated pull request for version 1.2.4.14.

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

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]