v0.15.1

ReachabilityAnalysis v0.15.1

Diff since v0.15.0

Closed issues:

• Choose the number of trajectories for simulation (#537)
• include_vertices in simulation does not work (#538)
• Conflict with states (DifferentialEquations and HybridSystems) (#542)
• Use @commutative defined in LazySets (#543)

Merged pull requests:

• update solve.jl (#523) (@mforets)
• Update basics.md (#535) (@mforets)
• Add discretization method from d/dt (#536) (@schillic)
• Fix control of simulation count and name conflict (#539) (@schillic)
• Simulation for hybrid systems (#540) (@schillic)
• Update basics.md (#541) (@pitmonticone)
• #543 - Use commutative macro from LazySets (#544) (@schillic)
• CompatHelper: bump compat for "IntervalArithmetic" to "0.19" (#545) (@github-actions[bot])
• docs update (#546) (@mforets)