v1.0.0

What's Changed

• Update README.md by @henba1 in #106
• Add obtained_labels to VerificationResult - ensuring compatibility wi… by @henba1 in #108
• Describe auto-verify and its use case more concretely by @henba1 in #110
• SDP-CROWN integration by @henba1 in #109

Full Changelog: v0.1.4...v1.0.0

v0.1.4

What's Changed

• Bump actions/checkout from 2 to 3 by @dependabot[bot] in #2
• Bump actions/setup-python from 2 to 4 by @dependabot[bot] in #1
• Update license year by @kw-corne in #6
• Update structure by @kw-corne in #19
• Bump actions/cache from 2 to 3 by @dependabot[bot] in #20
• Pydocstyle lints by @kw-corne in #22
• Publish script by @kw-corne in #23
• Verifier interface by @kw-corne in #24
• cli setup by @kw-corne in #26
• VCS interface + verifier interface changes by @kw-corne in #27
• Toy & Small benchmarks by @kw-corne in #28
• Verifier refactor by @kw-corne in #31
• feat: cli installing setup by @kw-corne in #30
• cli install 2 by @kw-corne in #32
• nnenum installer by @kw-corne in #36
• uninstalling by @kw-corne in #37
• nnenum runner by @kw-corne in #39
• nnenum counterexamples by @kw-corne in #40
• Docker & Integration tests setup by @kw-corne in #43
• CLI: make install not a flag by @kw-corne in #46
• ab-crown installer by @kw-corne in #44
• Refactor Tests by @kw-corne in #47
• Mnbab installer by @kw-corne in #50
• oval-bab by @kw-corne in #51
• AbCrown configspace by @kw-corne in #53
• Portfolio runner by @kw-corne in #55
• mn-bab configspace by @kw-corne in #56
• Bump actions/checkout from 3 to 4 by @dependabot[bot] in #58
• Portfolio Implementation by @kw-corne in #60
• feat: Portfolios by @kw-corne in #61
• 0.1.1 by @kw-corne in #73
• Fix pytest version to 7.3.2 to resolve pytest-lazy-fixture dependency error by @TrisCC in #85
• Fix formatting issues by @TrisCC in #87
• Alpha beta crown update by @Aaron99B in #89
• Freeze and update dependencies by @TrisCC in #97
• Feature/merge fork main: remove default dependence, CLI improvements, verifier version management by @henba1 in #100
• Update README.md by @henba1 in #103
• Update pyproject.toml by @henba1 in #102
• Update README.md by @henba1 in #101
• Fix linting issues. Remove mypy type checking, for faster iteration w… by @henba1 in #105

New Contributors

• @dependabot[bot] made their first contribution in #2
• @TrisCC made their first contribution in #85
• @Aaron99B made their first contribution in #89
• @henba1 made their first contribution in #100

Full Changelog: https://github.com/ADA-research/auto-verify/commits/v0.1.4