We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated package-lock dependency files.
Finalized undo operation in requirement editor and introduced redo op… …eration.
CLI: Improved output message when diagnosis fails due to UNKNOWN resu… …lts.
Removed executables since they are no longer compatible with current … …FRET version.
Minor rewrites in LTLSIM documentation and logging clean up.
Update installationInstructions.md
test id change for select all button
Added copyright in new files
FTP as a predefined constant and unreplace_special_chars in the simul… …ator
Added Python version in installation instructions