Skip to content

v0.9.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@slivingston slivingston released this 01 Dec 05:09
· 410 commits to main since this release
v0.9.0
ba5ceb9

Binary distributions are available at http://vehicles.caltech.edu/snapshots
Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows.

  • Begin including a CHANGELOG, mostly following the style of Debian packages. Changes here are relative to the release version 0.7.4
  • The deprecated output format tulip0 is not available from the command-line tools. This may break compatibility with old versions of TuLiP.
  • The default output format is now "json" rather than "tulip". This may break compatibility with old versions of TuLiP.
  • Introduction of tool "autman" for working with gr1c aut files.
  • Capability to generate models in Spin Promela.
  • More documentation, including how to verify a strategy with Spin.
  • README and other plaintext files now use Markdown formatting rather than reStructuredText.
  • Various bugfixes, notably #14 "System liveness fails when environment has forced transition leading out of env liveness" #14. Please consult the discussion on that issue page for instructions about checking whether it affects you.
Assets 2
Loading