Zulip Chat Archive

Stream: nightly-testing

Topic: batteries#1423 adaptations for nightly-2025-09-21

Kim Morrison (Sep 22 2025 at 03:48):

chore: adaptations for nightly-2025-09-21 batteries#1423

Please review this PR. At the end of the month this diff will land in 'main'.

Kim Morrison (Sep 22 2025 at 07:46):

This PR includes many changes to the String lemmas, as the definition is changing underneath.

Kim Morrison (Sep 22 2025 at 13:17):

'd

Last updated: Dec 20 2025 at 21:32 UTC