Skip to content

Issues: NASA-SW-VnV/fret

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 38 Closed
19 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

parent and child requirements navigation
#114 opened Jan 31, 2025 by pcyac21
variable mapping mandatory fields
#113 opened Jan 31, 2025 by pcyac21
realisability checker TypeError
#112 opened Jan 31, 2025 by pcyac21
4
Select rows per page
#111 opened Jan 31, 2025 by pcyac21
Realisability Checker Uncaught Exception
#110 opened Jan 30, 2025 by mluckcuck
6
Realizability Checker UI Tick Boxes
#109 opened Jan 29, 2025 by mluckcuck
1
Docker installation build failure
#108 opened Jan 6, 2025 by shamblett
2
Export of trace from simulation fails silently
#107 opened Dec 18, 2024 by smithdtyler
2
Difficult to return from full screen in Ubuntu
#106 opened Dec 13, 2024 by smithdtyler
FRET does not save selections for realizability engine
#105 opened Dec 13, 2024 by smithdtyler
2
Tooltip on Simulate action does not always get updated
#104 opened Dec 13, 2024 by smithdtyler
1
User Guide should be clearer about installation of LTLSIM
#103 opened Dec 13, 2024 by smithdtyler
3
App Not Responsive Diagnosing Unrealizable Requirements for Liquid Mixer Example
#99 opened Dec 11, 2024 by smithdtyler
4
Single select of requirements in realizability analysis page fails if requirements do not have IDs
#97 opened Dec 11, 2024 by smithdtyler
2
variable and data types
#96 opened Dec 5, 2024 by pcyac21
1
ability to traverse to requirements
#95 opened Dec 5, 2024 by pcyac21
3
configurable "shall"
#93 opened Nov 18, 2024 by rreis
6
Templates Lack Syntax Highlighting and Structure Uneditable
#76 opened Feb 19, 2024 by mluckcuck
4
Repeated Requirements
#33 opened Oct 26, 2021 by abakst
4
ProTip! Find all open issues with in progress development work with linked:pr.