v25.09.1

Full Changelog: v25.09...v25.09.1

v25.09

What's Changed

• Add --conditionalizePermissions by @jcp19 in #17
• add mce on demand by @jcp19 in #18
• add support for --requireTriggers by @jcp19 in #21
• Add support for checking for overflows by @jcp19 in #22
• Add test for overflow checking by @jcp19 in #23
• fix parse error by @jcp19 in #24
• Add flag for z3api by @jcp19 in #25
• Add option disableNL by @jcp19 in #26
• add flags for optimizations by @jcp19 in #27
• more flexible moreJoins by @jcp19 in #28
• Increase Xss by @jcp19 in #29
• Upgrade deprecated dependency by @jcp19 in #30
• Add option for respectFunctionPrePermAmounts by @jcp19 in #31
• Add friend clauses by @jcp19 in #32

Full Changelog: v23.02...v25.09

v23.02

What's Changed

• add test to see if line annotations work by @Dspil in #15
• More gobra flags by @Dspil in #16

New Contributors

• @Dspil made their first contribution in #15

Full Changelog: v22.10...v23.02

v22.10.2

Full Changelog: v22.10.1...v22.10.2

v22.10.1

What's Changed

• Fix package timeouts by @jcp19 in #13
• Delete packageTimeout because it is unreliable by @jcp19 in #14

Full Changelog: v22.07...v22.10.1

v22.10

What's Changed

• Add checkConsistency flag to CI by @jcp19 in #10
• Fix uploading stats by @jcp19 in #12
• Fix package timeouts by @jcp19 in #13
• Delete packageTimeout because it is unreliable by @jcp19 in #14

Full Changelog: v22.05.2...v22.10

v22.07

What's Changed

• Update action.yml by @jcp19 in #9
• Add checkConsistency flag to CI by @jcp19 in #10
• Fix uploading stats by @jcp19 in #12

Full Changelog: v22.05.1...v22.07

v22.05.1

Fix imageVersion

v22.05.2

Update action.yml (#9)