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)