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
14 Open 33 Closed
14 Open 33 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

Include mir-json in Docker images subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tooling: CI Issues involving CI/CD scripts or processes
#2067 opened Jul 15, 2024 by RyanGlScott
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
4
Stray ocaml reference in saw-script's CI tooling: CI Issues involving CI/CD scripts or processes
#2057 opened May 16, 2024 by sauclovian-g
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
#1887 opened Jul 6, 2023 by RyanGlScott
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
CI is unpredictably failing tooling: CI Issues involving CI/CD scripts or processes
#1772 opened Dec 4, 2022 by chameco
1
Possibly redundant saw-script Dockerfile in s2nTests tooling: CI Issues involving CI/CD scripts or processes
#1747 opened Oct 3, 2022 by RyanGlScott
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
CI timeout on MacOS tooling: CI Issues involving CI/CD scripts or processes
#1699 opened Jul 7, 2022 by robdockins
5
Run more resource-intensive regression tests somewhere tooling: CI Issues involving CI/CD scripts or processes
#1623 opened Mar 23, 2022 by chameco
@kquick
1
Avoid use of git:// URLs in submodules PR: submodule bump Pull requests that include a submodule bump tech debt Issues that document or involve technical debt tooling: CI Issues involving CI/CD scripts or processes
#1620 opened Mar 17, 2022 by RyanGlScott
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! Exclude everything labeled bug with -label:bug.