Skip to content

FRET public release v2.7.0

Choose a tag to compare

View all tags
@anmavrid anmavrid released this 30 Aug 22:20
v2.7.0
c2a390b

Core FRET:

  • Redesigned code to support client server architecture. New architecture allows easier integration of third party code.
  • Added import/export functionality for variables.
  • Added functionality to choose input database before starting FRET.

Support of analysis tools:

  • Updated Kind 2 exit code handling for realizability checking to support Kind 2 v.1.9.0 or later.
  • Updated Matlab/Simulink script for FRET glossary generation.

Documentation:

  • Updated Windows installation guide.
  • Updated manual and FRET publication list.
Assets 2
Loading