What's Changed
- Add challenge 3 from the verifyThis 2019 challenge by @sakehl in #1167
- Generics for PVL classes by @bobismijnnaam in #1154
- Watch input files by @pieter-bos in #1192
- Add challenge 1 and challenge 2 of verifythis 2024 by @superaxander in #1190
- Parser analysis by @pieter-bos in #1200
- Small fix by @sakehl in #1197
- Prepare formatting rules by @pieter-bos in #1205
- VeyMont: name refactoring, implementation generation, endpoint context, channel invariant partial support by @bobismijnnaam in #1188
- Small debug fixes 2 by @bobismijnnaam in #1048
- Vector support in C, OpenCL and CUDA + Vector ADT in PVL by @sakehl in #1156
- Rasi generator by @PBHTasche in #1208
- Add AutoValue by @superaxander in #1207
- VeyMont: channel invariant, stratified expression containers by @bobismijnnaam in #1209
- Fix build on JDK 21+, resolves #1146 by @superaxander in #1212
- Fix crash that can occur after vercors finishes executing by @superaxander in #1213
- Performance improvements by @pieter-bos in #1218
- Shared predicate node 2 by @pieter-bos in #1220
- Only rewrite with knowledge up to now by @sakehl in #1217
- Rasi generator by @PBHTasche in #1221
- Fix protobuf build on CMake 3.30 by @superaxander in #1223
- Middleware by @pieter-bos in #1224
- VeyMont: stratified permissions by @bobismijnnaam in #1210
- Integrate updates to LangCPPParser from the antlr/grammars-v4 repository by @superaxander in #1226
- Remove unused rewrite pass by @superaxander in #1228
- VeyMont: codegen by @bobismijnnaam in #1225
Full Changelog: v2.1.1...v2.2.0
Contributors
pieter-bos, superaxander, and 3 other contributors