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

Integration tests fail on macos-latest and windows-latest tooling: CI Issues involving CI/CD scripts or processes
#1135 by lisanna-dettwyler was closed Sep 22, 2021
1 task
CI: Use Galois GPG keys to sign SAW binaries tooling: CI Issues involving CI/CD scripts or processes
#1668 by RyanGlScott was closed May 19, 2022
1
Duplicate SAW artifacts uploaded in CI tooling: CI Issues involving CI/CD scripts or processes
#1726 by RyanGlScott was closed Sep 19, 2022
1
CI: Upgrade the Ubuntu versions used for binary distributions tooling: CI Issues involving CI/CD scripts or processes
#1741 by RyanGlScott was closed Nov 22, 2022
1
Nondeterministic CI failures due to Makefile recompliation checking in heapster-tests tooling: CI Issues involving CI/CD scripts or processes
#1801 by RyanGlScott was closed Jan 18, 2023
1
Put solver bindists into different artifacts than non-solver bindists tooling: CI Issues involving CI/CD scripts or processes
#1884 by RyanGlScott was closed Jun 30, 2023
1
CI fails due to upload-artifact@v2 deprecation tooling: CI Issues involving CI/CD scripts or processes
#2117 by RyanGlScott was closed Sep 9, 2024
1
Stray ocaml reference in saw-script's CI tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#2057 by sauclovian-g was closed Nov 15, 2024 2024T3
1
@sauclovian-g
CI: Upgrade {upload,download}-artifact actions to v4 tooling: CI Issues involving CI/CD scripts or processes
#2118 by RyanGlScott was merged Sep 9, 2024 Loading…
1
Bump the entree-specs version used by heapster-tests again PR: dependency bump Pull requests that update a dependency file subsystem: heapster Issues specifically related to memory verification using Heapster tooling: CI Issues involving CI/CD scripts or processes
#2134 by sauclovian-g was merged Oct 18, 2024 Loading…
Bump the entree-specs version used by heapster-tests PR: dependency bump Pull requests that update a dependency file subsystem: heapster Issues specifically related to memory verification using Heapster tooling: CI Issues involving CI/CD scripts or processes
#2132 by sauclovian-g was merged Oct 15, 2024 Loading…
CI: Signing improvements PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run tooling: CI Issues involving CI/CD scripts or processes
#1671 by RyanGlScott was merged May 19, 2022 Loading…
2
CI: Switch from macos-12 to macos-13 tooling: CI Issues involving CI/CD scripts or processes
#2154 by RyanGlScott was merged Nov 19, 2024 Loading…
Integration tests not being run in CI priority High-priority issues tooling: CI Issues involving CI/CD scripts or processes
#996 by robdockins was closed Jan 8, 2021
1
SIKE proofs cannot be reproduced locally priority High-priority issues 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
#738 by robdockins was closed Apr 25, 2022
1
CI broken due to GitHub Actions moving from Docker Compose v1 to v2 tooling: CI Issues involving CI/CD scripts or processes
#2086 by RyanGlScott was closed Aug 8, 2024
1
1
CI: heapster-tests take a mysteriously long time to complete performance Issues that involve or include performance problems subsystem: heapster Issues specifically related to memory verification using Heapster tooling: CI Issues involving CI/CD scripts or processes
#1843 by RyanGlScott was closed Sep 2, 2023
1
Make the CI more robust w.r.t. the test_comp_bisim job PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run tooling: CI Issues involving CI/CD scripts or processes
#2024 by RyanGlScott was merged Feb 2, 2024 Loading…
1
Add saw-remote-api tests to CI subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings tooling: CI Issues involving CI/CD scripts or processes
#962 by pnwamk was closed Mar 25, 2021 0.8
@pnwamk
2
Run tests as part of nightly builds tooling: CI Issues involving CI/CD scripts or processes
#1033 by atomb was closed Jun 29, 2021
2
CI times out on satackey/action-docker-layer-caching step tooling: CI Issues involving CI/CD scripts or processes
#1834 by RyanGlScott was closed Mar 24, 2023
@RyanGlScott
2
Investigate ghc.exe: getMBlocks: VirtualAlloc MEM_COMMIT failed: The paging file is too small for this operation to complete CI failures performance Issues that involve or include performance problems tooling: CI Issues involving CI/CD scripts or processes
#1961 by RyanGlScott was closed Oct 16, 2023
1
2
Fix blst-verification regression test and update pinned commit tooling: CI Issues involving CI/CD scripts or processes
#1622 by chameco was merged Mar 23, 2022 Loading…
2
CI: Use Docker Compose v2 tooling: CI Issues involving CI/CD scripts or processes
#2087 by RyanGlScott was merged Aug 8, 2024 Loading…
1
2
CI should run cryptol-saw-core test suite tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1101 by brianhuffman was closed Apr 6, 2021
1
@lisanna-dettwyler
3
ProTip! Find all open issues with in progress development work with linked:pr.