Release v2.0.3

What's Changed

• Correct declarations by @pickx in #8
• Fixed invariants and types by @pickx in #9
• fixes #13 fixes #14 fixes #15 by @pickx in #16
• add dependency to build workflow by @pickx in #18
• rename to cvldoc, add raw field by @pickx in #19
• Rename to cvldoc by @pickx in #20
• Preserve line endings when parsing by @pickx in #21
• Openzeppelin bugs by @pickx in #23
• Use revamped engine by @pickx in #24
• Panic! in the Display by @pickx in #26
• update syntax for CVL2 changes by @pickx in #28
• feat: support persistent ghosts by @pickx in #30
• Create README.md by @pickx in #31
• CERT-5173 cross-compile to ARM on Linux by @pickx in #32
• CERT-5435 semicolon detection by @pickx in #33
• Github Actions and AWS PyPi Build by @H00N24 in #34
• String Reading and Path Typing by @H00N24 in #35

New Contributors

• @H00N24 made their first contribution in #34

Full Changelog: https://github.com/Certora/cvldoc_parser/commits/v2.0.3