Releases: Certora/cvlr
Releases · Certora/cvlr
v0.4.1
What's Changed
- Refactor and add macos compilation test by @ozcodes in #15
- Improvements to log and cvlr-fixed by @1arie1 in #16
- chore: update README with reference to documentation and prerequisites by @phreppo in #18
- feat: rules have source location information by @phreppo in #17
- fix: clippy identation warnings by @1arie1 in #19
- Arie/log scope by @1arie1 in #20
New Contributors
Full Changelog: v0.4.0...v0.4.1
Release v0.4.0
What's Changed
Full Changelog: v0.3.2...v0.4.0
v0.3.2
What's Changed
- feat(jump-to-source): add location to cvlr_satisfy by @phreppo in #1
- feat: log_u64_as_fp by @1arie1 in #2
- refactor: run cargo fmt by @phreppo in #3
- refactor: clippy fixes by @phreppo in #4
- chore: add link to SolanaExamples repo in README by @phreppo in #5
- Run cargo-fmt on each PR by @1arie1 in #8
- chore: add link to Sunbeam tutorial in the README by @chandrakananandi in #9
- ci: add clippy by @phreppo in #11
- Prepare for a release on crates.io by @1arie1 in #13
- ci: run tests by @phreppo in #14
New Contributors
- @phreppo made their first contribution in #1
- @1arie1 made their first contribution in #2
- @chandrakananandi made their first contribution in #9
Full Changelog: https://github.com/Certora/cvlr/commits/v0.3.2