What's Changed
- Check equality of slprops in prover. by @gebner in #4257
- Print SMT query for failing assertions. by @gebner in #4258
- Pulse: error on binder attributes, they are ignored by @mtzguido in #4255
- Allowing implicit fields in records by @mtzguido in #4260
- Allow SMT patterns in record fields and typeclass methods by @mtzguido in #4261
- Improving error localization in Pulse by @nikswamy in #4247
- Bump version to 2026.05.17 by @dzomo in #4265
Full Changelog: v2026.05.10...v2026.05.17