Skip to content

FRET public release v2.2
Compare
Choose a tag to compare
@anmavrid anmavrid released this 29 Jul 00:23
· 396 commits to master since this release
v2.2
c8fa16e
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.2

Requirement semantics:

  • Extended the requirements assistant to display multiple formalizations.

Installation & Infrastructure:

  • Updated dependencies: FRET now works with both Python 2.x and 3.x.
  • Upgraded node to v16.

Regression testing:

  • Added support for testing with the playwright framework.
Assets 2
Loading