Skip to content

Issues: GaloisInc/HARDENS

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

24 Open 56 Closed
24 Open 56 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

Changes in SysML-v2 language specification
#149 opened Dec 4, 2024 by stevevestal
update SysML in report documentation Issues that relate to documentation about the system, including user and developer docs, source code
#142 opened May 29, 2024 by podhrmic Second Polishing Release
drop back in missing requirements from the FRET specs
#139 opened Feb 21, 2023 by kiniry Second Polishing Release
Two sets of FRET requirements BUG Something isn't working
#131 opened Nov 14, 2022 by podhrmic Second Polishing Release
@kiniry
1
runtime verification test failure: test case 273 of scenario normal_4 assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. BUG Something isn't working To Do
#130 opened Nov 2, 2022 by kiniry Second Polishing Release
3
update GitHub CI/CD/CV CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. On Deck Q/A Quality assurance issue; validation, testing, and formal assurance.
#128 opened Nov 2, 2022 by kiniry Second Polishing Release
@kiniry
ensuring model-based test bench is still operational assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request Q/A Quality assurance issue; validation, testing, and formal assurance. verification WiP
#127 opened Nov 1, 2022 by kiniry Second Polishing Release
@kiniry
1
add FRET tool back to Docker image and document its use docker Docker-related issues. ENHANCEMENT New feature or request FEATURE Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#124 opened Oct 27, 2022 by kiniry Second Polishing Release
6
merge HARDENS "classic" docker image with Simon's new docker image and publish to DockerHub docker Docker-related issues. ENHANCEMENT New feature or request On Deck
#122 opened Sep 23, 2022 by kiniry Second Polishing Release
2
@podhrmic @SimplisticCode
5
UVM testbench assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. cryptol Issues related to our Cryptol specifications, or use thereof. ENHANCEMENT New feature or request FEATURE hardware Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. suggestion verification
#110 opened Mar 30, 2022 by kiniry Assurance
FPGA utilization hardware software Someday Issues that are not required by our current contract, but we'd like to attend to someday. WiP
#98 opened Mar 4, 2022 by podhrmic FPGA
@podhrmic
1
create new top-level Makefile that drives all system builds and V&V assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. build system Issues that relate to our build system, both on development systems as well as in continuous integra ENHANCEMENT New feature or request feature model On Deck Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#95 opened Mar 1, 2022 by kiniry Second Polishing Release
build and run our system in software simulation using non-Verilator hardware simulators ENHANCEMENT New feature or request hardware Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#89 opened Feb 18, 2022 by kiniry
3 tasks
Second Polishing Release
measure code coverage of runtime verification assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#88 opened Feb 18, 2022 by kiniry
12 tasks
Assurance
Cryptol property to implementation property coverage ACSL Matters related to ACSL specifications and/or the use of Frama-C. assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. cryptol Issues related to our Cryptol specifications, or use thereof. documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request On Deck Q/A Quality assurance issue; validation, testing, and formal assurance. software Someday Issues that are not required by our current contract, but we'd like to attend to someday. source code Issues that relate to source code implementation. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. verification
#87 opened Feb 18, 2022 by kiniry
3 tasks
Assurance
measure Cryptol model coverage assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. cryptol Issues related to our Cryptol specifications, or use thereof. ENHANCEMENT New feature or request Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#86 opened Feb 18, 2022 by kiniry Assurance
Cryptol Model: Replace magic constants with variables cryptol Issues related to our Cryptol specifications, or use thereof. ENHANCEMENT New feature or request Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#69 opened Jan 19, 2022 by abakst Second Polishing Release
1
write and check Bluecheck properties on SoC assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request hardware Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. verification
#60 opened Jan 5, 2022 by kiniry SoC
build a potentially executable (down the road) SysML model of these behavioral specs using Individuals and Snapshots. assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday. SysML Issues related to our SysML specifications, or use thereof. verification
#56 opened Jan 5, 2022 by kiniry SysML
get all NERV SoC smoketests (single core and three core) up and running reliably BLOCKED This issue is blocked on some other task, issue, merge request, or person. BUG Something isn't working build system Issues that relate to our build system, both on development systems as well as in continuous integra feature model hardware Lando/Lobot Issues related to our Lando or Lobot specifications. Someday Issues that are not required by our current contract, but we'd like to attend to someday. WiP
#55 opened Jan 5, 2022 by kiniry
2 tasks
SoC
@podhrmic
5
setup build system to cross-compile application to the NERV build and ensure that the build rules align with the feature model's spec of product variants. build system Issues that relate to our build system, both on development systems as well as in continuous integra ENHANCEMENT New feature or request feature model On Deck software Someday Issues that are not required by our current contract, but we'd like to attend to someday.
#51 opened Jan 5, 2022 by kiniry SoC
@podhrmic
revise events specifications to reflect final system under V&V architecture documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request Lando/Lobot Issues related to our Lando or Lobot specifications. On Deck Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. SysML Issues related to our SysML specifications, or use thereof.
#44 opened Dec 18, 2021 by kiniry SysML
@kiniry
3
handle all outstanding @todo annotations in Lando model documentation Issues that relate to documentation about the system, including user and developer docs, source code Lando/Lobot Issues related to our Lando or Lobot specifications. Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise.
#40 opened Dec 18, 2021 by kiniry
6 tasks done
Second Polishing Release
@kiniry
3
revise and extend SysML specification ACSL Matters related to ACSL specifications and/or the use of Frama-C. architecture assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. cryptol Issues related to our Cryptol specifications, or use thereof. documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request feature model FEATURE Lando/Lobot Issues related to our Lando or Lobot specifications. Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. SysML Issues related to our SysML specifications, or use thereof. verification
#30 opened Nov 9, 2021 by kiniry
3 of 18 tasks
SysML
@kiniry
6
ProTip! Find all open issues with in progress development work with linked:pr.