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

32 Open 51 Closed
32 Open 51 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] 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 Someday
@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 Someday
@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 Someday
@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 MVP 1.0
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] 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
8
[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
Someday
@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 Someday
@podhrmic
[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
1
@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 Someday
@peterohanley
2
[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
Refactor CI jobs into separate workflows infrastructure Build infrastructure and CI/CD SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#83 opened Jul 2, 2024 by spernsteiner Someday
[FEATURE] Run pipeline jobs only when underlying code changed enhancement New feature or request
#74 opened Jun 19, 2024 by podhrmic Someday
@podhrmic
[FEATURE] Change request for MPS application software application software components change request pertaining to change requests implementation SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#43 opened May 21, 2024 by podhrmic
6 tasks
MVP 1.0
2
[FEATURE] Export AIR AADL to configuration file enhancement New feature or request SoW TA2.1.1.B Specify entire OpenSUT architecture with SysML,a subset of components with AADL,
#41 opened May 21, 2024 by podhrmic
2 tasks
Someday
[FEATURE] Configuration file format for OpenSUT assembly enhancement New feature or request SoW TA2.1.1.B Specify entire OpenSUT architecture with SysML,a subset of components with AADL,
#40 opened May 21, 2024 by podhrmic
3 tasks
Someday
Implement externally-controlled I2C device for QEMU SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#33 opened May 13, 2024 by spernsteiner Someday
@spernsteiner
Investigate GPIO and I2C emulation in QEMU hardware SUT hardware (real/emulated/simulated) SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#25 opened Apr 29, 2024 by spernsteiner
1 of 2 tasks
Someday
@spernsteiner
4
Explore options for non-Linux guest VMs SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#20 opened Apr 19, 2024 by spernsteiner
2 tasks
Someday
@spernsteiner
1
ProTip! Follow long discussions with comments:>50.