NASA-SW-VnV/fret

Issues

• Unable to build FRET

  #89 opened 3 months ago by sand7000
  2

• Unexpected behavior in the realizability check

  #88 opened 4 months ago by MrDalekCaan
  3

• Installation fails

  #85 opened 6 months ago by dgenin
  4

• Docker build issue for v2.9.0 - import error

  #82 opened 7 months ago by MuvvalaKaran
  4

• Templates Lack Syntax Highlighting and Structure Uneditable

  #76 opened a year ago by mluckcuck
  2

• Requirement Description Text Box Stops Various Keys (and highlighting) from Working

  #63 opened 7 months ago by mluckcuck
  4

• pmLTL and fmLTL don't seem to be equivalent

  #79 opened 9 months ago by SoftPro
  3

• I get this error when I run npm start

  #75 opened 10 months ago by andreaskatis
  9

• Trailing bit of requirement after a colon

  #64 opened a year ago by mluckcuck
  2

• Search Bar Doesn't Respond to Enter Key

  #65 opened a year ago by mluckcuck
  3

• Unable to run executable built with Docker on Ubuntu 22.04

  #61 opened a year ago by Dav-11
  2

• Variable Mapping Import

  #34 opened a year ago by abakst
  5

• Export requirements status field in json format

  #44 opened a year ago by ahmedwaqar
  4

• Bug: All Caps "Immediately" keyword causes blank screen

  #56 opened a year ago by mluckcuck
  4

• Installation on Mac M1 Monterey throwing webpack/native dependency errors

  #53 opened 2 years ago by yunaHwang
  8

• Error on Install: regex.h no such file or directory

  #50 opened 2 years ago by jakeweidokal
  3

• Realizability GUI issue

  #48 opened 2 years ago by andreaskatis
  5

• Broken link in docs

  #49 opened 2 years ago by zutshi
  2

• Electron GPU initialization fails on Ubuntu 22.04

  #46 opened 2 years ago by Baltoli
  6

• could not install fret

  #47 opened 2 years ago by aogrcs
  5

• Error "incompatible architecture (have (x86_64), need (arm64e))" trying to start FRET on an M1 machine

  #43 opened 2 years ago by tflinkow
  3

• How to understand the result of diagnose?

  #41 opened 2 years ago by Dustin-Grandret
  16

• Unsuccessful Installation

  #42 opened 3 years ago by Breeze822
  3

• Verification Problem?

  #38 opened 3 years ago by SoftPro
  9

• Difference between 'at the next time point' and 'for 1 time unit'

  #39 opened 3 years ago by leesoons
  4

• Description of Flashing Light

  #36 opened 3 years ago by leesoons
  3

• How to combine fret and cocosim to a fret-cocosim workflow?

  #35 opened 3 years ago by marious123g
  17

• the path generation

  #31 opened 3 years ago by SoftPro
  8

• Repeated Requirements

  #33 opened 3 years ago by abakst
  4

• Solver Error in Realizability Checking

  #32 opened 3 years ago by abakst
  4

• Suggestions

  #30 opened 3 years ago by baobao1225
  6

• Unsuccessful installation of NuSMV path and the use of realizity use

  #26 opened 3 years ago by baobao1225
  8

• Description of complex requirements

  #27 opened 3 years ago by baobao1225
  12

• Unsucccessful Installation

  #16 opened 4 years ago by jkeilholz
  2