v0.7.7

ReachabilityAnalysis v0.7.7

Diff since v0.7.6

Closed issues:

• Add disease model to the Applications section in the docs (#51)
• A simple SEIR model (#195)
• Wrong title in Lorenz example in documentation (#299)

Merged pull requests:

• Add spacecraft example (#281) (@SebastianGuadalupe)
• add HPolyhedron constructor (#282) (@mforets)
• Add platooning example (#283) (@SebastianGuadalupe)
• Add MT to docs deps (#284) (@mforets)
• Add building example (#285) (@SebastianGuadalupe)
• #195 - Add SEIR model (#286) (@SebastianGuadalupe)
• Add quadrotor example (#288) (@SebastianGuadalupe)
• Add Lotka-Volterra example (#289) (@SebastianGuadalupe)
• Add Lorenz example (#290) (@SebastianGuadalupe)
• Adds ISS benchmark to documentation (#291) (@dfcaporale)
• cleanup MT code (#293) (@mforets)
• cleanup zontope splitting methods (#294) (@mforets)
• Add production-destruction model (#296) (@mforets)
• concrete project - methods for TemplateReachSet and implementation in… (#297) (@dfcaporale)
• update docs (#301) (@mforets)
• ISS is not an ODE (#302) (@mforets)
• op-amp from scratch (#303) (@dfcaporale)
• Update Vanderpol example (#305) (@SebastianGuadalupe)
• impove generic apply method (#306) (@mforets)
• bump julia version (#308) (@mforets)