Repository navigation
v1.4.0
v1.4.0 (2025-08-28)
This release is published under the BSD-3-Clause License.
Bug Fixes
- Fix linting issues (
b0a926b)
Features
- Add line number field to VarphiLine (
2da259b)
Detailed Changes: v1.3.0...v1.4.0
This release is published under the BSD-3-Clause License.
b0a926b)2da259b)Detailed Changes: v1.3.0...v1.4.0