v0.3.0

ReachabilityAnalysis v0.3.0

Diff since v0.1.0

Closed issues:

• Update installation link when registered (#1)
• Register package (#2)
• Fix dim (#31)
• Use LazySets.AbstractDirections in TemplateReachSet (#49)
• Add INT & BOX algorithms to docs (#52)
• Add setrep as type parameter in algorithms? (#67)
• Add tests for ASB07 (#92)
• Duck-typing tspan (#103)
• Releases (#111)

Merged pull requests:

• Add LGG09 algorithm (#90) (@mforets)
• various updates in ASB07 (#91) (@mforets)
• bump LazySets dep (#95) (@mforets)
• Invariant checks for INT algorithm (#96) (@mforets)
• Add tests for dimension (#98) (@mforets)
• Test HACLD1 (#99) (@mforets)
• update docs (#100) (@mforets)
• Various updates in flowpipe structs + docs (#101) (@mforets)
• Update sol docs (#102) (@mforets)
• Update solve tests + tspan duck typing (#104) (@mforets)
• ABS07 test for Linear ODE (#106) (@dfcaporale)
• Support solving split initial conditions (#108) (@mforets)
• Update Project.toml (#109) (@mforets)
• Update flowpipes.jl (#110) (@mforets)
• CompatHelper: bump compat for "IntervalArithmetic" to "0.17" (#112) (@github-actions[bot])
• Add test for NSTEPS + fix args bug (#113) (@mforets)
• Update templates (#115) (@mforets)
• Add threading for distributed initial sets (#116) (@mforets)
• rsetrep to retrieve reach set rep for an algorithm (#117) (@mforets)