v1.2.4.5

What's Changed

• [P4Testgen] Add an option to only generate tests which improve coverage. by @fruffy in #4163
• [P4Testgen] Add more trace information to P4Testgen by @fruffy in #4157
• [P4Testgen] Encode more P4Runtime constraints for the behavioral model by @fruffy in #4103
• Simplify the DPDK PTF build and test scripts. by @fruffy in #4168
• Update the dash-pipeline programs. by @fruffy in #4060
• Show annotations in actions' dbprint by @vlstill in #4183
• Run Gauntlet validation, sanitizers, and Ubuntu 18 build/test as nightly actions. by @fruffy in #4105
• Delete top-level dash-pipeline file. by @fruffy in #4187
• [P4Testgen] Do not treat an array index as a symbolic variable and resolve the index in the stepper. by @fruffy in #4186
• Move the solver file from the lib folder to the ir folder. by @fruffy in #4188
• Added support of info messages by @dmatousek in #4184
• Update the Bazel build files by @fruffy-g in #4190
• Update BUILD.bazel by @smolkaj in #4192
• Stop endianess conversion in parser by @komaljai in #4193
• backends/ebpf: Output error if a header is not byte-aligned (#4176). by @thomascalvert-xlnx in #4185
• [P4Testgen] Support string types in the Z3 solver. by @fruffy in #4195
• [P4Testgen] Only look ahead for the else branch when it is not null. by @fruffy-g in #4191
• [P4Testgen] Fixes for the artifact evaluation. by @fruffy in #4199
• Ensured that error messages cannot be demoted to info messages by @dmatousek in #4197
• [P4Testgen] Change Protobuf backend test case file extension to .txtpb by @qobilidop in #4201
• [P4Testgen] Match switch labels directly using string literal expressions by @fruffy in #4161
• ParserUnroll: fix seg. fault for uninitialized variables inside header stack indexes by @VolodymyrPeschanenkoLitSoft in #4200
• [P4Testgen] Add a DPDK-PTF P4Testgen back end and the corresponding test runner by @Hoooao in #4173
• [P4Testgen] Fix another segmentation fault when using the coverable nodes scanner. by @fruffy in #4203
• generic -O option to set optimization level/options by @ChrisDodd in #4206
• Fix P4TC issues by @komaljai in #4209
• [P4Testgen] Fix textproto generation and escape traces properly. by @fruffy in #4207
• [P4Testgen] Add a testgen.p4 file with custom extern definitions by @fruffy in #4214
• [P4Testgen] Clean up small issues with test back ends and plotting scripts. by @fruffy in #4205

New Contributors

• @dmatousek made their first contribution in #4184

Full Changelog: v1.2.4.4...v1.2.4.5