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)