Skip to content

v0.1.4

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 05 Jul 11:57
v0.1.4
16c837b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

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)

Contributors

schillic
Assets 2
Loading