Release v1.2.4.5 (#4217)

Changelog:
- Fix textproto generation and escape traces properly. (4207) [Fabian Ruffy]
- Fix P4TC issues (4209) [Komal Jain]
- generic -O option to set optimization level/options (4206) [Chris Dodd]
- Fix another segmentation fault when using the coverable nodes scanner. (4203) [Fabian Ruffy]
- [P4Testgen] Add a DPDK-PTF P4Testgen back end and the corresponding test runner (4173) [Hoooao]
- ParserUnroll: fix seg. fault for uninitialized variables inside header stack indexes (4200) [VolodymyrPeschanenkoLitSoft]
- Match switch labels directly instead of replacing them. Use .action_run return value instead of indirection. (4161) [Fabian Ruffy]
- [P4Testgen] Change Protobuf backend test case file extension to  (4201) [Bili Dong]
- Ensured that error messages cannot be demoted to info messages (4197) [Denis Matousek]
- Fixes for the artifact evaluation. (4199) [Fabian Ruffy]
- Only look ahead for the else branch when it is not null. Check for null in node coverage. (4191) [fruffy-g]
- [P4Testgen] Support string types in the Z3 solver. (4195) [Fabian Ruffy]
- testutils: Fix LogPipe to always record output. [Fabian Ruffy]
- backends/ebpf: Output an error if a header is not byte-aligned (4176). [Thomas Calvert]
- backends/ebpf: Support errors testing. [Thomas Calvert]
- Stop endianess conversion in parser (4193) [Komal Jain]
- Update BUILD.bazel (4192) [Steffen Smolka]
- Update the Bazel build files (4190) [fruffy-g]
- Added support of info messages (4184) [Denis Matousek]
- Move the solver file from the lib folder to the ir folder. (4188) [Fabian Ruffy]
- Do not treat an array index as a purely symbolic variable and resolve the index correctly. (4186) [Fabian Ruffy]
- Delete top-level dash-pipeline file. (4187) [Fabian Ruffy]
- Run Gauntlet validation, sanitizers, and Ubuntu 18 build/test as nightly actions. (4105) [Fabian Ruffy]
- Show annotations in actions' dbprint (4183) [Vladimír Štill]
- Update the dash-pipeline programs. (4060) [Fabian Ruffy]
- Simplify the DPDK PTF build and test scripts.  (4168) [Fabian Ruffy]
- Encode more P4Runtime constraints for the behavioral model. (4103) [Fabian Ruffy]
- [P4Testgen] Add more trace information to P4Testgen (4157) [Fabian Ruffy]
- Add an option to only generate tests which improve coverage. (4163) [Fabian Ruffy]

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

Version.txt

@@ -1 +1 @@
-1.2.4.4
+1.2.4.5