Release v1.2.4
Changelog:
- [P4Testgen] Open up P4Testgen interface. (4014) [fruffy-bfn]
- [P4Testgen] Create abstract execution state with utility functions - move copy-in/out to control/parser blocks. (4011) [Fabian Ruffy]
- cmake: Fix include search for Z3 in testgen library (4012) [Vladimír Štill]
- [P4Testgen] Move some table code into helper functions, move gen_eq to "common" folder (4010) [Fabian Ruffy]
- Properly track indices when removing parser value sets from the select cases (4008) [fruffy-bfn]
- Open up ResolutionContext interface a bit (4009) [Chris Dodd]
- Add a simple PSA test program and STF test to verify parser_error ope… (2571) [Andy Fingerhut]
- lib/crash.cpp: : calls in initializations fixed. (3298) [DoctorNoobingstoneIPresume]
- [P4Testgen] More P4Tools refactoring work. (4005) [Fabian Ruffy]
- [P4Testgen] Fix small issues with metadata test backend. Add more functions to IR utilities. Merge default value function. (4004) [fruffy-bfn]
- [P4Testgen] Also include table entries in the coverage set. (3999) [Fabian Ruffy]
- Allowing local_copyprop to propagate MethodCallExpression into table … (4003) [Han Wang]
- [P4Testgen] Fix include paths (3997) [Fabian Ruffy]
- [P4Testgen] More StateVariable refactoring. Allow PathExpression to be state variables. (3990) [Fabian Ruffy]
- Make P4_16 the default parser option. (4002) [Fabian Ruffy]
- misc helper functions (3995) [Chris Dodd]
- NVFMSA-2399 Fix initialization-order-fiasco of P4CoreLibrary instance (3994) [Chris Dodd]
- [P4Testgen] Implement meter support for the BMv2 V1model PTF test back end (3974) [Fabian Ruffy]
