Releases: jonaprieto/lean-grip-diagnostics
Releases · jonaprieto/lean-grip-diagnostics
Release list
v0.2.9
Full Changelog: v0.2.8...v0.2.9
v0.2.8
Full Changelog: v0.2.7...v0.2.8
v0.2.6
v0.2.6
This tag was signed with the committer’s verified signature.
What's Changed
- docs: sync related project links by @jonaprieto in #10
- chore(release): set version 0.2.6 by @jonaprieto in #11
Full Changelog: v0.2.5...v0.2.6
Contributors
jonaprieto
Assets 2
v0.2.5
v0.2.5
This tag was signed with the committer’s verified signature.
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #8
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #9
Full Changelog: v0.2.4...v0.2.5
Contributors
jonaprieto
Assets 2
v0.2.3
8d68fd2
This commit was signed with the committer’s verified signature.
Full Changelog: v0.2.2...v0.2.3
grip-diagnostics v0.2.2
a80e84e
This commit was signed with the committer’s verified signature.
Changes
- Updated Grip to v0.1.0.
- Bumped the package to v0.2.2.
grip-diagnostics v0.1.2
731df20
This commit was signed with the committer’s verified signature.
Enable clickable OSC-8 source locations in the interactive demo.
grip-diagnostics v0.1.1
437bd27
This commit was signed with the committer’s verified signature.
Fix demo output to end with a newline.
grip-diagnostics v0.1.0
e23d14e
This commit was signed with the committer’s verified signature.
Changelog
0.1.0 — 2026-08-02
- Added the optional
GripDiagnosticssource-annotated error adapter. - Preserved raw Grip byte offsets while delegating layout and rendering to the termcolor stack.
- Added Unicode, tabs, invalid UTF-8, ASCII fallback, color, OSC-8, executable tests, and proofs.
- Added CI, proof-axiom auditing, README artwork validation, and the initial visual gallery.