v0.1.3

Dionysos v0.1.3

Diff since v0.1.2

Merged pull requests:

• JuliaCon paper submission (#343) (@adrienbanse)
• Remove ugly prints during test (#349) (@adrienbanse)
• Update Project.toml (#350) (@DeligneS)
• Remove MeshCat and fix test/optim/test_lazy_ellipsoids_abstraction.jl (#352) (@adrienbanse)
• Fix path example typo (#357) (@johnaoga)
• Use underscore package (#358) (@blegat)
• Use radius branch of IntervalLinearAlgebra (#359) (@blegat)
• Paper reviews implementation (#361) (@adrienbanse)
• Bump version to 0.1.3 (#362) (@adrienbanse)

Closed issues:

• First-order approximation of reachable set (#26)
• Hashing Tuple (#34)
• Growth bound (#66)
• Implement data-driven memory abstractions (#236)
• Can we downgrade MeshCat? (#348)
• Broken doc and CI (#356)

v0.1.2

Dionysos v0.1.2

Diff since v0.1.1

Merged pull requests:

• add bisimilar abstraction (#346) (@JulienCalbert)

v0.1.1

Dionysos v0.1.1

Diff since v0.1.0

Merged pull requests:

• Fix full path planning (#340) (@adrienbanse)
• NaiveAbstraction renaming (#341) (@adrienbanse)
• 0.1.0 -> 0.1.1 (#342) (@adrienbanse)

v0.1.0

Dionysos v0.1.0

Diff since v0.0.1

Merged pull requests:

• remove extra link (#323) (@JulienCalbert)
• CompatHelper: bump compat for IntervalArithmetic to 0.22, (keep existing compat) (#327) (@github-actions[bot])
• Create LICENSE (#329) (@adrienbanse)
• Clarify b1 and b2 in DC-DC example (#330) (@blegat)
• CompatHelper: bump compat for ArnoldiMethod to 0.4, (keep existing compat) (#332) (@github-actions[bot])
• Jc/readme typo (#333) (@JulienCalbert)
• SDPA -> Clarabel (#334) (@adrienbanse)
• v0.0.1 -> v0.0.2 (#335) (@adrienbanse)
• v0.0.2 -> v0.0.1 (revert) (#336) (@adrienbanse)
• v0.0.1 -> 0.1.0 (#338) (@adrienbanse)

Closed issues:

• SDPA on Julia 1.10 (#331)
• Register (#337)

Dionysos v0.0.1

Initial release 🎉