Skip to content

v0.3.0
Compare
Choose a tag to compare
@mforets mforets released this 05 Sep 19:03
· 125 commits to master since this release
v0.3.0
0a69108
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.

Breaking changes

  • Removed symbol arguments for the overapproximation option with template directions (e.g., :box) (#633)

Features

  • Accept AffineContinuousSystem (resp. AffineDiscreteSystem) in the continuous post (#625)
  • Added a decomposed hybrid algorithm (#641, #660)

Bug fixes

  • Fixed a case where the :overapproximation option was ignored by the LazyDiscretePost operator (#633)
  • Fixed operator norm usage in discretization (#644)
  • Fixed a namespace conflict with function update! (#667)

Enhancements

  • Allow using template directions for overapproximation in the discrete post operator (#627)
  • Dropped the Compat dependency (#666)

Other

  • Ported validated_integ from TaylorModels to Reachability (#614)
  • Return taylor model in validated_integ of TMJets (#634)
  • Added Project file (#642)
Assets 2
Loading