Issues

• fret-install throws an Invalid Property "devEngines.node" error

  NASA-SW-VnV/fret#169 · Filter by author cds-internationalist opened on Sep 26, 2026

• LLM function enable

  enhancement
  NASA-SW-VnV/fret#168 · Filter by author wygasdaf opened on Aug 17, 2026
  1

• Variable Mappings Deleted if Model Component is None

  enhancement
  NASA-SW-VnV/fret#167 · Filter by author mluckcuck opened on Jul 8, 2026
  1

• CREATE Button in misleading positinon

  enhancement
  NASA-SW-VnV/fret#166 · Filter by author mluckcuck opened on Jul 8, 2026
  1

• Very old deprecation messages during installation, and a failure

  NASA-SW-VnV/fret#165 · Filter by author alxx opened on Mar 19, 2026
  3

• Missing /Documents/fret-db directory on Fret 3 Install (via WSL)

  NASA-SW-VnV/fret#162 · Filter by author dbahu opened on Jan 6, 2026
  8

• After I performed the operation of Import project FSM by selecting the down arrow on the left and navigating to fret/caseStudies/FiniteStateMachine/FSM_reqts_and_vars.json, I cannot find the FSM project in the Projects pull-down menu at this step.

  NASA-SW-VnV/fret#158 · Filter by author zarrorapier opened on Sep 15, 2025
  3

• NPEs when checking and diagnosing realizability

  bug
  NASA-SW-VnV/fret#149 · Filter by author fraimondi opened on May 16, 2025
  6

• FRET incorrectly displays that Jkind engine option is not enabled (Realizability)

  enhancement
  NASA-SW-VnV/fret#148 · Filter by author psyos10 opened on May 12, 2025

• Compatibility Issue with NuSMV 2.7

  NASA-SW-VnV/fret#147 · Filter by author sasharosca opened on Apr 29, 2025
  4

• Issue with the fret-install script

  question
  NASA-SW-VnV/fret#145 · Filter by author oisinsheridan opened on Apr 17, 2025
  3

• Changing Variable Names in Variable Mapping

  enhancement
  NASA-SW-VnV/fret#138 · Filter by author pcyac21 opened on Mar 24, 2025

• Realizability settings should be more visible and sticky

  enhancement
  NASA-SW-VnV/fret#132 · Filter by author smithdtyler opened on Mar 7, 2025

• When you select realizability analysis, fret should auto-select the first compontent in your project

  enhancement
  NASA-SW-VnV/fret#130 · Filter by author smithdtyler opened on Mar 7, 2025
  3

• FRET should detect and reject duplicate requirement identifiers

  enhancement
  NASA-SW-VnV/fret#129 · Filter by author smithdtyler opened on Mar 7, 2025
  1

• FRET should suggest requriement IDs

  enhancement
  Feature

  NASA-SW-VnV/fret#128 · Filter by author smithdtyler opened on Mar 7, 2025

• Advice on joint FRET development

  question
  Feature

  NASA-SW-VnV/fret#122 · Filter by author kquick opened on Feb 24, 2025
  3

• Variable Mappings Disappears when I click "Corresponding Model Element"

  bug
  NASA-SW-VnV/fret#119 · Filter by author smithdtyler opened on Feb 20, 2025
  2

• select multiple variables at once

  enhancement
  NASA-SW-VnV/fret#115 · Filter by author pcyac21 opened on Feb 18, 2025
  1

• parent and child requirements navigation

  enhancement
  NASA-SW-VnV/fret#114 · Filter by author pcyac21 opened on Jan 31, 2025
  4

• Select rows per page

  enhancement
  NASA-SW-VnV/fret#111 · Filter by author pcyac21 opened on Jan 31, 2025
  3

• FRET does not save selections for realizability engine

  enhancement
  NASA-SW-VnV/fret#105 · Filter by author smithdtyler opened on Dec 13, 2024
  2

• Single select of requirements in realizability analysis page fails if requirements do not have IDs

  bug
  NASA-SW-VnV/fret#97 · Filter by author smithdtyler opened on Dec 11, 2024
  2

• variable and data types

  enhancement
  NASA-SW-VnV/fret#96 · Filter by author pcyac21 opened on Dec 5, 2024
  1

• ability to traverse to requirements

  enhancement
  NASA-SW-VnV/fret#95 · Filter by author pcyac21 opened on Dec 5, 2024
  3