Release v1.2.4.14 (#4844)

Signed-off-by: rst0git <[email protected]>

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 <[email protected]>

Version.txt

@@ -1 +1 @@
-1.2.4.13
+1.2.4.14