v0.1.8

NeuralNetworkReachability v0.1.8

Diff since v0.1.7

Merged pull requests:

• Bump actions/checkout from 5 to 6 (#61) (@dependabot[bot])
• Adapt tests to changes in LazySets (#62) (@schillic)
• Fix PolyZonoForward algorithm (#63) (@schillic)
• v0.1.8 (#64) (@schillic)

v0.1.7

NeuralNetworkReachability v0.1.7

Diff since v0.1.6

Merged pull requests:

• Fix creation of tagged docs versions (#54) (@schillic)
• Bump actions/checkout from 4 to 5 (#55) (@dependabot[bot])
• Trigger docs building for new tags (#56) (@schillic)
• Increase test coverage (#57) (@schillic)
• Allow LazySets v5 (#60) (@schillic)

v0.1.6

NeuralNetworkReachability v0.1.6

Diff since v0.1.5

Merged pull requests:

• Count invalidations on latest Julia version (#43) (@schillic)
• Allow Polyhedra v0.8 and CDDLib v0.10 in tests (#47) (@schillic)
• Use DocumenterCitations for bibliography (#48) (@schillic)
• Use old JuliaFormatter version (#49) (@schillic)
• Allow LazySets v4 & ReachabilityAnalysis v0.28 (#53) (@schillic)

v0.1.5

NeuralNetworkReachability v0.1.5

Diff since v0.1.4

Merged pull requests:

• Bump peter-evans/create-pull-request from 6 to 7 (#35) (@dependabot[bot])
• Aqua v0.8.9 tests only for local ambiguities (#36) (@schillic)
• Fix invalidations CI run (#37) (@schillic)
• Add commits since last release to README (#38) (@schillic)
• Bump codecov/codecov-action from 4 to 5 (#39) (@dependabot[bot])
• Use LazySets v3 (#42) (@schillic)

v0.1.4

NeuralNetworkReachability v0.1.4

Diff since v0.1.3

Merged pull requests:

• Add option for shorter tests and use in PkgEval (#33) (@schillic)
• Unify BoxForward for monotonic activations (#34) (@schillic)

v0.1.3

NeuralNetworkReachability v0.1.3

Diff since v0.1.2

Merged pull requests:

• Allow ReachabilityAnalysis v0.26 (#29) (@schillic)
• Add JuliaHub and PkgEval badges (#30) (@schillic)
• Use LazySets v2.14 and allow ReachabilityBase v0.3 (#32) (@schillic)

v0.1.2

NeuralNetworkReachability v0.1.2

Diff since v0.1.1

Merged pull requests:

• Run Aqua in tests and fix problems (#16) (@schillic)
• Define backward for singletons and invertible activations; fix: ReLU is not invertible (#17) (@schillic)
• Fix Codecov (#18) (@schillic)
• Test backward with Singleton output (#19) (@schillic)
• Use eachindex instead of 1:length (#20) (@schillic)
• Move using code (#21) (@schillic)
• Bump julia-actions/setup-julia from 1 to 2 (#22) (@dependabot[bot])
• ReachabilityAnalysis v0.25.0 (#24) (@schillic)
• Bump julia-actions/cache from 1 to 2 (#25) (@dependabot[bot])
• Add partial PolyZonoForward algorithm (#26) (@schillic)
• Add partial AI2 algorithm (#27) (@schillic)
• Format code and v0.1.2 (#28) (@schillic)

v0.1.1

NeuralNetworkReachability v0.1.1

Diff since v0.1.0

Merged pull requests:

• Support ReachabilityAnalysis v0.23 (#10) (@schillic)
• Revise CI scripts (#13) (@schillic)
• Support ReachabilityAnalysis v0.24 (#15) (@schillic)

v0.1.0

NeuralNetworkReachability v0.1.0

Merged pull requests:

• Bump actions/checkout from 3 to 4 (#1) (@dependabot[bot])
• Add first version (#2) (@schillic)