machinery v0.3.5

Full Changelog: v0.3.4...v0.3.5

machinery v0.3.4

Full Changelog: v0.3.3...v0.3.4

machinery v0.3.3

Full Changelog: v0.3.2...v0.3.3

machinery v0.3.2

Full Changelog: v0.3.1...v0.3.2

machinery v0.3.1

Full Changelog: v0.3.0...v0.3.1

machinery v0.3.0

Full Changelog: v0.2.0...v0.3.0

machinery v0.2.0

Full Changelog: v0.1.9...v0.2.0

machinery v0.1.9

What's Changed

• Harden relational proofs and add rebuild transition contracts by @RamXX in #4
• ci: bump the github-actions group across 1 directory with 10 updates by @dependabot[bot] in #3
• deps: bump github.com/spf13/cobra from 1.8.1 to 1.10.2 in the go-dependencies group by @dependabot[bot] in #2
• deps: bump golang.org/x/crypto from 0.53.0 to 0.54.0 in /examples/go-crm/impl in the go-dependencies group by @dependabot[bot] in #1

New Contributors

• @RamXX made their first contribution in #4
• @dependabot[bot] made their first contribution in #3

Full Changelog: v0.1.7...v0.1.9

machinery v0.1.7

Full Changelog: v0.1.6...v0.1.7

machinery v0.1.6

Full Changelog: v0.1.5...v0.1.6