v0.8

Full Changelog: v0.7...v0.8

v0.7

Release 0.7

Release 0.6

Full Changelog: v0.5...v0.6

v0.5

What's Changed

• Add maxLength Methods to StringContracts

• Bump checker.framework.version from 3.42.0 to 3.43.0 by @dependabot in #10

• Bump org.apache.maven.plugins:maven-compiler-plugin from 3.12.1 to 3.13.0 by @dependabot in #4

• Bump org.apache.maven.plugins:maven-source-plugin from 3.3.0 to 3.3.1 by @dependabot in #6

• Bump org.apache.maven.plugins:maven-gpg-plugin from 3.1.0 to 3.2.4 by @dependabot in #8

• Bump org.apache.maven.plugins:maven-deploy-plugin from 3.1.1 to 3.1.2 by @dependabot in #9

Full Changelog: v0.4...v0.5

v0.4

New

• StringContracts to check preconditions, state and postconditions on strings

v0.3

Added first version of CollectionContracts