Search results

NPEs when checking and diagnosing realizability

bugSomething isn't workingSomething isn't working

Status: Open.

#149 In NASA-SW-VnV/fret;

· fraimondi opened on May 16, 2025

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

enhancementNew feature or requestNew feature or request

Status: Open.

#148 In NASA-SW-VnV/fret;

· psyos10 opened on May 12, 2025

Compatibility Issue with NuSMV 2.7

Status: Open.

#147 In NASA-SW-VnV/fret;

· sasharosca opened on Apr 29, 2025

Issue with the fret-install script

questionFurther information is requestedFurther information is requested

Status: Open.

#145 In NASA-SW-VnV/fret;

· oisinsheridan opened on Apr 17, 2025

Changing Variable Names in Variable Mapping

enhancementNew feature or requestNew feature or request

Status: Open.

#138 In NASA-SW-VnV/fret;

· pcyac21 opened on Mar 24, 2025

Realizability settings should be more visible and sticky

enhancementNew feature or requestNew feature or request

Status: Open.

#132 In NASA-SW-VnV/fret;

· smithdtyler opened on Mar 7, 2025

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

enhancementNew feature or requestNew feature or request

Status: Open.

#130 In NASA-SW-VnV/fret;

· smithdtyler opened on Mar 7, 2025

FRET should detect and reject duplicate requirement identifiers

enhancementNew feature or requestNew feature or request

Status: Open.

#129 In NASA-SW-VnV/fret;

· smithdtyler opened on Mar 7, 2025

FRET should suggest requriement IDs

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#128 In NASA-SW-VnV/fret;

· smithdtyler opened on Mar 7, 2025

Advice on joint FRET development

questionFurther information is requestedFurther information is requested

Status: Open.

Feature

#122 In NASA-SW-VnV/fret;

· kquick opened on Feb 24, 2025

Variable Mappings Disappears when I click "Corresponding Model Element"

bugSomething isn't workingSomething isn't working

Status: Open.

#119 In NASA-SW-VnV/fret;

· smithdtyler opened on Feb 20, 2025

select multiple variables at once

enhancementNew feature or requestNew feature or request

Status: Open.

#115 In NASA-SW-VnV/fret;

· pcyac21 opened on Feb 18, 2025