Skip to content

Issues: GaloisInc/VERSE-OpenSUT

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

45 Open 38 Closed
45 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

[FEATURE] Verify / test MKM module
#139 opened Nov 26, 2024 by septract
4 tasks
@septract
[FEATURE] Run valgrind on OpenSUT code enhancement New feature or request SoW TA2.1.2.A Build assurance case for the Open SUT.
#138 opened Nov 26, 2024 by podhrmic Next PI meeting
@podhrmic
1
[FEATURE] Rosetta Code AI experiments enhancement New feature or request SoW TA2.1.1.C Develop CN specifications for components with rich code-level specifications.
#137 opened Nov 26, 2024 by podhrmic MVP 1.0
@podhrmic
[FEATURE] CSmith / cn-reduce experiment enhancement New feature or request SoW TA2.1.2.B Apply Verse Development Environment (VDE) to provide qualitative and quantitative feedback.
#136 opened Nov 26, 2024 by podhrmic MVP 1.0
@podhrmic
[FEATURE] AI experiment with CN enhancement New feature or request SoW TA2.1.1.C Develop CN specifications for components with rich code-level specifications.
#135 opened Nov 26, 2024 by podhrmic Next PI meeting
1
@podhrmic
[FEATURE] Use the CN test generation for MKM and logging components application software application software components SoW TA2.1.2.A Build assurance case for the Open SUT.
#134 opened Nov 18, 2024 by podhrmic Next PI meeting
@podhrmic
[FEATURE] Change event 2: Add network functionality to MPS application software application software components SoW TA2.1.2.D Support two Phase 1 continuous integration events.
#126 opened Oct 23, 2024 by podhrmic Next PI meeting
[FEATURE] Change event 1: Change SHA to XMSS in Secure boot application software application software components SoW TA2.1.2.D Support two Phase 1 continuous integration events.
#125 opened Oct 23, 2024 by podhrmic Next PI meeting
Autopilot MAVLink proxy/filter
#121 opened Oct 2, 2024 by spernsteiner MVP 1.0
@spernsteiner
Logging component
#120 opened Oct 2, 2024 by spernsteiner MVP 1.0
@spernsteiner
1
MPS: read sensor values from I2C device
#119 opened Oct 2, 2024 by spernsteiner Someday
@spernsteiner
Connect JSBSim temperature/pressure values to emulated I2C sensors
#118 opened Oct 2, 2024 by spernsteiner Someday
@spernsteiner
[FEATURE] Test drive the test generation example for OpenSUT enhancement New feature or request SoW TA2.1.1.C Develop CN specifications for components with rich code-level specifications.
#117 opened Sep 27, 2024 by podhrmic
1 of 5 tasks
MVP 1.0
@podhrmic
[FEATURE] TA2 properties of interest documentation Improvements or additions to documentation SoW TA2.1.1.B Specify entire OpenSUT architecture with SysML,a subset of components with AADL,
#115 opened Sep 25, 2024 by podhrmic
9 of 12 tasks
MVP 1.0
@podhrmic @thatplguy
7
[FEATURE] CN for encoding abstract state machines (ASMs) enhancement New feature or request SoW TA2.1.2.A Build assurance case for the Open SUT.
#114 opened Sep 25, 2024 by podhrmic
5 tasks
MVP 1.0
@podhrmic @thatplguy
[FEATURE] Rust FFI & C verification boundary enhancement New feature or request SoW TA2.1.1.C Develop CN specifications for components with rich code-level specifications.
#113 opened Sep 25, 2024 by podhrmic
4 tasks
MVP 1.0
@podhrmic @thatplguy
2
[FEATURE] Label CN specs with property class
#107 opened Aug 28, 2024 by thatplguy
2 tasks
MVP 1.0
@peterohanley
1
[FEATURE] Clean up PR template documentation Improvements or additions to documentation
#102 opened Aug 2, 2024 by podhrmic MVP 1.0
@podhrmic
[FEATURE] Implement Mission Key Management (MKM) component application software application software components SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#98 opened Jul 22, 2024 by podhrmic
2 tasks
MVP 1.0
@spernsteiner
2
[FEATURE] Autopilot component application software application software components SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#97 opened Jul 22, 2024 by podhrmic
3 of 4 tasks
MVP 1.0
@podhrmic @spernsteiner
10
[FEATURE] Startup script for OpenSUT enhancement New feature or request SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#96 opened Jul 22, 2024 by podhrmic
2 tasks
MVP 1.0
@podhrmic
[FEATURE] Component Ground Control Stattion application software application software components enhancement New feature or request SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#95 opened Jul 22, 2024 by podhrmic
2 tasks
MVP 1.0
[FEATURE] Write CN specs for selected Lynx code application software application software components SoW TA2.1.1.C Develop CN specifications for components with rich code-level specifications.
#93 opened Jul 18, 2024 by podhrmic MVP 1.0
@peterohanley
1
[FEATURE] Document relation between requirements specification languages and code documentation Improvements or additions to documentation SoW TA2.1.1.B Specify entire OpenSUT architecture with SysML,a subset of components with AADL,
#91 opened Jul 10, 2024 by podhrmic
3 tasks
MVP 1.0
@peterohanley
4
[FEATURE] System infographics documentation Improvements or additions to documentation SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#90 opened Jul 10, 2024 by podhrmic
3 tasks
Someday
@podhrmic
ProTip! Exclude everything labeled bug with -label:bug.