Skip to content

v0.4.0
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Dec 21:30
· 138 commits to master since this release
v0.4.0
85741d4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

ClosedLoopReachability v0.4.0

Diff since v0.3.0

Merged pull requests:

  • Auto-format script (#342) (@schillic)
  • CompatHelper: bump compat for ReachabilityBase to 0.2, (keep existing compat) (#343) (@github-actions[bot])
  • CompatHelper: bump compat for ReachabilityAnalysis to 0.22, (keep existing compat) (#344) (@github-actions[bot])
  • ControllerFormats v0.2 (#345) (@schillic)
  • Bump actions/checkout from 3 to 4 (#347) (@dependabot[bot])
  • Support/use Documenter v1 (#348) (@schillic)
  • Spell check (#349) (@schillic)
  • Add logo (#350) (@schillic)
  • Outsource code to NeuralNetworkReachability.jl (#351) (@schillic)

Contributors

schillic and dependabot
Assets 2
Loading