Skip to content

v0.1.6

Choose a tag to compare

View all tags
@github-actions github-actions released this 18 Apr 06:15
· 21 commits to master since this release
v0.1.6
6617d60
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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)

Contributors

schillic
Assets 2
Loading