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)