Releases: AndPuQing/leo3
Releases · AndPuQing/leo3
v0.2.2
Highlights
- Fix Windows container symbol resolution and related Windows meta/runtime behavior.
- Improve Lean runtime semantics, container support, docs/contracts, and feature-gated API surface.
- Stabilize CI/test coverage across macOS, sanitizer, docs, and compatibility jobs.
- Refresh dependencies including
libcandtokioupdates.
Validation
cargo test -q