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
NewSliceLitby @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
receiveexecutable 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
lenfor 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
makeas 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