Release v1.2.4.17 (#4990)

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

Changelog:
- Fix warning about delete not matching new (4989) [Chris Dodd]
- Build Z3 from source instead of downloading precompiled binaries. (4697) [Fabian Ruffy]
- Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. (4986) [Fabian Ruffy]
- Run typechecking after front and mid end. (4834) [Fabian Ruffy]
- Clean up BMv2's run-stf-test script and integrate it with testutils (4981) [Fabian Ruffy]
- Remove Tofino-specific Python packages from requirements.txt (4984) [Fabian Ruffy]
- Contributing Intel Tofino compiler backend to p4c (4964) [Han Wang]
- P4TC - Implementation of Hash Extern (4980) [Komal Jain]
- [P4fmt]: attaching comments to IR Nodes (4845) [Nitish Kumar]
- Support for 128 bit operations (4952) [Sosutha]
- Require the driver binary as a test input instead of trying to find it via hardcoded paths. (4977) [Fabian Ruffy]
- bump up grpcio version to fix mac m1 ci issue (4976) [Han Wang]
- Add a couple of missing ENABLE_* flags to README (4968) [Andy Fingerhut]
- Handle pna_main_parser_input_metadata_t fields in the tc backend's parser (4955) [vbnogueira]
- wrap <64bit types properly in loop unrolling (4967) [Chris Dodd]
- Make number of masks default to 1 for exact tables  (4954) [vbnogueira]
- minor improvements (4963) [Kyle Cripps]
- Fix Fedora CI build. (4957) [Fabian Ruffy]
- Fix a recently introduced typo (4960) [Andy Fingerhut]
- Do not print confusing warning when a parser state contains an assignment to an l-value slice (4948) [Kyle Cripps]
- set PathExpression type in ExpandLookahead (4959) [Glen Gibb]
- Add instructions on Github CI tests, including triggering optional ones (4956) [Andy Fingerhut]
- Remove ReferenceMap from top-level frontend passes (4947) [Anton Korobeynikov]
- Add utilities for running modifications inside nested IR nodes (4940) [Vladimír Štill]
- Add LOGGING_FEATURE macro (4953) [Vladimír Štill]
- Change tc template define (4949) [vbnogueira]
- Reorder subdirectory additions in CMakeLists.txt (4938) [Han Wang]
- Ignore brew dependency installation to fix breakages on MacOS CI. (4950) [Fabian Ruffy]
- extend type checking to mark extern function call that returns enum a… (4941) [Han Wang]
- Add Vector::dbprint (4943) [Vladimír Štill]
- [P4Testgen] Move newline stripping from trace to TestFramework (4946) [Vladimír Štill]
- Remove reference map from another set of midend passes (4939) [Anton Korobeynikov]
- Fix parser symbolic interpreter to evaluate StringLiteral (4937) [Jiri Havranek]
- Support for [lsb+:width] slices (4917) [Chris Dodd]
- Remove ReferenceMap from majority of midend passes (4936) [Anton Korobeynikov]

Co-authored-by: rst0git <[email protected]>

Version.txt

@@ -1 +1 @@
-1.2.4.16
+1.2.4.17