-
Notifications
You must be signed in to change notification settings - Fork 69
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#165 In NASA-SW-VnV/fret;
- Status: Open.#162 In NASA-SW-VnV/fret;
- Status: Open.#158 In NASA-SW-VnV/fret;
NPEs when checking and diagnosing realizability
bugSomething isn't workingSomething isn't workingStatus: Open.#149 In NASA-SW-VnV/fret;FRET incorrectly displays that Jkind engine option is not enabled (Realizability)
enhancementNew feature or requestNew feature or requestStatus: Open.#148 In NASA-SW-VnV/fret;- Status: Open.#147 In NASA-SW-VnV/fret;
Issue with the fret-install script
questionFurther information is requestedFurther information is requestedStatus: Open.#145 In NASA-SW-VnV/fret;Changing Variable Names in Variable Mapping
enhancementNew feature or requestNew feature or requestStatus: Open.#138 In NASA-SW-VnV/fret;Realizability settings should be more visible and sticky
enhancementNew feature or requestNew feature or requestStatus: Open.#132 In NASA-SW-VnV/fret;When you select realizability analysis, fret should auto-select the first compontent in your project
enhancementNew feature or requestNew feature or requestStatus: Open.#130 In NASA-SW-VnV/fret;FRET should detect and reject duplicate requirement identifiers
enhancementNew feature or requestNew feature or requestStatus: Open.#129 In NASA-SW-VnV/fret;FRET should suggest requriement IDs
enhancementNew feature or requestNew feature or requestStatus: Open.#128 In NASA-SW-VnV/fret;