v1.2.5.0

What's Changed

🎉The Tofino compiler is now open-source and available as a P4C back end (#4964). 🎉

Breaking Changes 🛠

• Add abseil string helpers by @asl in #4971
• Remove IR::Annotations and make IAnnotated to carry annotations inline by @asl in #4992

P4 Specification Implementation

• Bump Compiler Version to 1.2.5.0. by @fruffy in #5005

Changes to the Compiler Core

• Fix broken Tofino build. by @fruffy in #5004

Changes to the BMv2 Back Ends

• Enable handling of arbitrary if statements within actions for BMv2 back end by @jafingerhut in #4999

Changes to the TC Back End

• Small TC fixes by @vbnogueira in #5002

Changes to the P4Tools Back End

• [P4Testgen] Replace absl::btree_map with the P4::flat_map implementation by @fruffy in #4713

Changes to the Tofino Back End

• Miscellaneous small Tofino fixes for compilation. by @fruffy in #4996
• Remove superfluous Tofino include. Make Tofino include paths fully qualified. by @fruffy in #4998
• Try to unbreak Tofino backend due to recent annotations changes by @asl in #5015

Other Changes

• Remove CMAKE_BUILD_TYPE values that do not work when building Z3 by @jafingerhut in #4997
• Try to fix clang compilation failures with the -fsized-deallocation option. by @fruffy in #4995
• Docs : Changelogs release update for v1.2.4.16 & v1.2.4.17 by @AdarshRawat1 in #5003

Full Changelog: v1.2.4.17...v1.2.5.0