VerCors 2.3.0

What's Changed

• Don't try to delete nonexistent preprocessor output if clang fails by @wandernauta in #1236
• VeyMont: lightweight permissions by @bobismijnnaam in #1244
• AutoValue unsoundness, Test Suite runner, Paths with spaces by @superaxander in #1252
• Attempt to fix the test reporting by running the test report on the default branch by @superaxander in #1253
• Update to setup-java@v4 by @superaxander in #1254
• Restrict C++ character literals to a single UTF-8 char by @wandernauta in #1249
• Make contract of free (for C) conditional on ptr being non-null by @wandernauta in #1250
• Encode that malloc may return NULL in C (weaken postcondition) by @wandernauta in #1239
• Fix empty PVL enums causing verification failure by @wandernauta in #1248
• Update VCLLVM (now Pallas) to LLVM 17, update to newest VerCors version, and convert more instructions to COL by @superaxander in #1159
• Add stringToName special case for all-underscores identifier strings by @wandernauta in #1260
• VeyMont: support inline, wrapped, and no stratified permissions, fix some of Wander's issues, update VeyMont pass order. by @bobismijnnaam in #1259
• VeyMont: remove ChorPerm by @bobismijnnaam in #1269
• VeyMont: remove PushInChor by @bobismijnnaam in #1276
• Struct examples by @superaxander in #1270
• Log and exit error if --compile (PVL-to-Java translation) mode fails by @wandernauta in #1278
• Integrate Pallas FunctionContracts by @RobertMensing in #1280
• Fix heap variables with pointer types in C, fixes #1286 by @superaxander in #1288
• Fixed issue #924: context_everywhere was not propagated correctly in run methods. by @OmerSakar in #1297
• Support specification-constructs in Pallas specifications by @RobertMensing in #1289
• Quantifier fix by @sakehl in #1309
• Extend pointer encoding by @superaxander in #1277
• Small fixes by @superaxander in #1314

New Contributors

• @wandernauta made their first contribution in #1236
• @RobertMensing made their first contribution in #1280

Full Changelog: v2.2.0...v2.3.0