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)