Skip to content

FRET Public release v2.6
Compare
Choose a tag to compare
@anmavrid anmavrid released this 19 Jan 17:25
· 299 commits to master since this release
v2.6.0
7eb83be
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

What is new in FRET v2.6

Requirements language and formalization:

  • Updated display of formalizations in Requirement Editor to include formalizations for infinite traces in Future time.
  • Extended FRETish with "at the next/previous occurrence of p, q".

Requirement editor:

  • Added state machine requirement templates.
  • Improved ext execution mode for running requirement editor as standalone tool that allows easy integration with external tools.

Installation with Docker:

  • Updated installation instructions and added Docker image for Linux users.

Documentation:

  • Updated FRET manual.
  • Updated FRET publication list.
Assets 2
Loading