Skip to content

Issues: GaloisInc/saw-script

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

Clear current search query, filters, and sorts
15 Open 36 Closed
15 Open 36 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

Invalid logic in s2n tls proof tech debt Issues that document or involve technical debt test assets Issues involving test programs or other test assets tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#2169 opened Dec 20, 2024 by sauclovian-g 2025T1
CI is breaking on archaic downloads tech debt Issues that document or involve technical debt test assets Issues involving test programs or other test assets tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#2166 opened Dec 19, 2024 by sauclovian-g 2025T1
2
Generalize/strengthen build.sh needs design Technical design work is needed for issue to progress tooling: build system Issues involving SAW's build system tooling: CI Issues involving CI/CD scripts or processes tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: enhancement Issues describing an improvement to an existing feature or capability
#2063 opened Jul 3, 2024 by sauclovian-g 2025T1
4
Run crux-mir-comp's test suite in CI subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes type: enhancement Issues describing an improvement to an existing feature or capability
#1887 opened Jul 6, 2023 by RyanGlScott 2025T1
Include MIR JSON files for Rust standard libs in SAW bindists subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tooling: CI Issues involving CI/CD scripts or processes
#1868 opened May 10, 2023 by RyanGlScott • Draft
2
openssl_aes example proof hangs performance Issues that involve or include performance problems regression Something that used to work, but now doesn't tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1812 opened Feb 4, 2023 by bboston7 Someday
4
Memory utilization issue in more recent SAW performance Issues that involve or include performance problems regression Something that used to work, but now doesn't tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1805 opened Jan 21, 2023 by pennyannn Someday
3
CI is unpredictably failing tooling: CI Issues involving CI/CD scripts or processes type: enhancement Issues describing an improvement to an existing feature or capability
#1772 opened Dec 4, 2022 by chameco 2025T1
7
Possibly redundant saw-script Dockerfile in s2nTests tech debt Issues that document or involve technical debt tooling: build system Issues involving SAW's build system tooling: CI Issues involving CI/CD scripts or processes tooling: release engineering Issues involving releases, release processes, or other release engineering concerns
#1747 opened Oct 3, 2022 by RyanGlScott 2024T3
1
Haddock failures on GHC 8.10 tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1719 opened Aug 1, 2022 by RyanGlScott 2024T3
1
CI timeout on MacOS tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1699 opened Jul 7, 2022 by robdockins 2025T1
5
Run more resource-intensive regression tests somewhere tooling: CI Issues involving CI/CD scripts or processes type: feature request Issues requesting a new feature or capability
#1623 opened Mar 23, 2022 by chameco 2025T1
@kquick
1
Review of changes to CI and AWS perms to support emitting SAW builds to AWS-owned S3 bucket tooling: build system Issues involving SAW's build system tooling: CI Issues involving CI/CD scripts or processes type: feature request Issues requesting a new feature or capability
#1268 opened Apr 27, 2021 by mattlebeau-galois Someday
1
CI from crucible crux-mir subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: feature request Issues requesting a new feature or capability
#1217 opened Apr 26, 2021 by lisanna-dettwyler Someday
type check python clients (and related tests) subsystem: saw-python Related to the Python bindings for the RPC SAW server tooling: CI Issues involving CI/CD scripts or processes tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: enhancement Issues describing an improvement to an existing feature or capability
#1125 opened Mar 12, 2021 by pnwamk
3 tasks
2025T1
ProTip! no:milestone will show everything without a milestone.