v23.02

What's Changed

• Fix lazy generation of the string domain by @jcp19 in #547
• Update Submodules by @viper-admin in #549
• Improving the Import of Termination Axioms by @ArquintL in #548
• Fixes Pure Function Calls whose Result is Unused by @ArquintL in #550
• Range by @Dspil in #551
• Update Submodules by @viper-admin in #552
• Skip Termination Checks for Imported (Pure) Functions & Methods by @ArquintL in #546
• Fix issue 553 by @jcp19 in #557
• Allow BaseConfig to skip verification by @ArquintL in #559
• Update Submodules by @viper-admin in #561
• Disable problematic tests by @jcp19 in #563
• Update Submodules by @viper-admin in #562
• Add distinction between shared and exclusive global variables by @jcp19 in #560
• Update Submodules by @viper-admin in #564
• Update Submodules by @viper-admin in #566
• Simplify encoding of NewSliceLit by @jcp19 in #567
• Made field names more specific by @Felalolf in #568
• Optimize map encoding by @jcp19 in #570
• Fix issue 573 by @jcp19 in #574
• reduce the exhale permissions from maps in range by @Dspil in #575
• Fix 576 by @jcp19 in #577
• Make receive executable by @jcp19 in #578
• Update Submodules by @viper-admin in #579
• Update Submodules by @viper-admin in #581
• Adts by @Felalolf in #580
• Remove sneaky heap-dependent triggers by @jcp19 in #582
• Fix comparability issues with builtin functions... by @jcp19 in #583
• Update Submodules by @viper-admin in #584
• Update Submodules by @viper-admin in #585
• Update Submodules by @viper-admin in #586
• Update Submodules by @viper-admin in #587
• Streaming errors by @Dspil in #590
• Update CI Dependencies by @ArquintL in #592
• Introduce len for ADTs to be used as a termination measure by @jcp19 in #591
• Fix --debug flag by @jcp19 in #593
• More precise triggers for smake by @jcp19 in #594
• Update Submodules by @viper-admin in #598
• QoL improvements by @jcp19 in #599
• print early errors that don't go through the streaming reporter by @Dspil in #597
• Allow non-side-effectful conversions in spec by @jcp19 in #600
• weaker error contract by @Dspil in #602
• Better error spec by @jcp19 in #604
• Update Submodules by @viper-admin in #605
• Update Submodules by @viper-admin in #608
• Encode slice make as a method call by @jcp19 in #607
• Update Submodules by @viper-admin in #611
• Use ghost equality in the generated invariants for range loops over slices by @jcp19 in #613
• add missing termination measures in box/unbox functions by @jcp19 in #614
• Undo #607 due to bug observable in SCION by @jcp19 in #616
• let expression support by @Dspil in #618
• Fix issue 621 by @jcp19 in #622

Full Changelog: v22.10...v23.02