feat: Use semver4j to parse Dafny version and ignore build metadata#13
Merged
robin-aws merged 4 commits intodafny-lang:mainfrom robin-aws:ignore-build-metadata-in-dafny-versionDec 10, 2024
+26-26
Commits
Commits on Dec 10, 2024
- committed
- committed
- committed
- committed
