Skip to content

v0.8.0

Compare
Choose a tag to compare
@github-actions github-actions released this 31 Aug 20:11
· 1172 commits to master since this release
ea1b948

ReachabilityAnalysis v0.8.0

Diff since v0.7.7

Closed issues:

  • GLGM06 with OctDirections in Platooning model fails (#244)

Merged pull requests: