NASA-SW-VnV / fret

A framework for the elicitation, specification, formalization and understanding of requirements.

NASA-SW-VnV/fret Issues

I get this error when I run npm start
Closed 5 months ago9
Templates Lack Syntax Highlighting and Structure Uneditable
Updated 5 months ago1
Requirement Description Text Box Stops Various Keys (and highlighting) from Working
Updated 5 months ago3
Trailing bit of requirement after a colon
Closed 7 months ago2
Search Bar Doesn't Respond to Enter Key
Closed 8 months ago3
Unable to run executable built with Docker on Ubuntu 22.04
Closed 9 months ago2
Variable Mapping Import
Closed a year ago5
Export requirements status field in json format
Closed a year ago4
Bug: All Caps "Immediately" keyword causes blank screen
Closed a year ago4
Installation on Mac M1 Monterey throwing webpack/native dependency errors
Closed a year ago8
Error on Install: regex.h no such file or directory
Closed a year ago3
Realizability GUI issue
Closed a year ago5
Broken link in docs
Closed a year ago2
Electron GPU initialization fails on Ubuntu 22.04
Closed 2 years ago6
could not install fret
Closed 2 years ago5
Error "incompatible architecture (have (x86_64), need (arm64e))" trying to start FRET on an M1 machine
Closed 2 years ago3
How to understand the result of diagnose?
Closed 2 years ago16
Unsuccessful Installation
Closed 2 years ago3
Verification Problem?
Closed 2 years ago9
Difference between 'at the next time point' and 'for 1 time unit'
Closed 2 years ago4
Description of Flashing Light
Closed 3 years ago3
How to combine fret and cocosim to a fret-cocosim workflow?
Closed 3 years ago17
the path generation
Closed 3 years ago8
Repeated Requirements
Updated 3 years ago4
Solver Error in Realizability Checking
Closed 3 years ago4
Suggestions
Closed 3 years ago6
Unsuccessful installation of NuSMV path and the use of realizity use
Closed 3 years ago8
Description of complex requirements
Closed 3 years ago12
Unsucccessful Installation
Closed 4 years ago2