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