From 470346565c3560b349c2b7b167474b049f687b98 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 2 Nov 2023 08:04:16 -0400 Subject: [PATCH] Release v1.2.4.5 (#4217) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- Version.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Version.txt b/Version.txt index 274670e7b6..4857081791 100644 --- a/Version.txt +++ b/Version.txt @@ -1 +1 @@ -1.2.4.4 +1.2.4.5