Skip to content

v0.6.0
Compare
Choose a tag to compare
@mforets mforets released this 16 Jan 18:11
· 57 commits to master since this release
v0.6.0
bb47be2
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.

Announcements

This version is compatible with Julia v1.2.

Breaking changes

  • Added Flowpipe type (#719); this changed the internal interface for algorithms and the result type ReachSolution

Bug fixes

  • Fixed property checking with BFFPSV18 algorithm when N == 1 and using multiple blocks (#721)

Enhancements

  • Restored compatibility with new version of LazySets (#725)
Assets 2
Loading