Clamp-style integer constructors renamed (
ba502f7)
UInt8.ofNatTruncate is renamed to UInt8.ofNatClamp, matching the newer naming used elsewhere in the library. The old name remains as a deprecated wrapper, so existing code keeps working while users get a clearer API and a consistent migration path.
Scoped environment export handling was generalized (
c8191c5)
ScopedEnvExtension.exportEntry? now works with the new OLeanEntries export format, and the built-in simp/cbv/grind/instance extensions were updated to use it. This is an internal refactor, but it unblocks more precise export behavior for private vs. public declarations and keeps these extensions aligned with the new persistence API.
Other misc changes
- Release tooling and documentation overhaul, including a large rewrite of the release scripts
- CI workflow updated to use a self-hosted runner when available, with fallback handling
- Radar benchmark helper scripts moved into this repo for more control over benchmark execution