Skip to content

Tags: Certora/cvldoc_parser

Tags

v2.0.4

Toggle v2.0.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Document tag typing (#37)

v2.0.3

Toggle v2.0.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
String Reading and Path Typing (#35)

* Python .gitignore

* Direcrt string reading and str | Path typing

* Mypy CI

* PR changes