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

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…
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: 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
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
Fix the way compute-coverage finds the hpc dir in dist-newstyle tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#2116 by sauclovian-g was merged Sep 18, 2024 Loading…
1
27
Compute Coverage CI failing tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#2114 by mccleeary-galois was closed Sep 18, 2024
1 of 3 tasks
1
@sauclovian-g
5
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 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
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
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
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
[CI] Coq release download broken? tooling: CI Issues involving CI/CD scripts or processes
#1909 by m-yac was closed Aug 16, 2023
5
Use solver result caching in CI tooling: CI Issues involving CI/CD scripts or processes
#1908 by m-yac was merged Sep 14, 2023 Loading…
15
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] Prelude.hs does not always rebuild when Prelude.sawcore is changed tooling: CI Issues involving CI/CD scripts or processes type: bug Issues reporting bugs or unexpected/unwanted behavior
#1856 by m-yac was closed Apr 27, 2023
17
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
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
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
Fall back to Z3 4.8.8 on AWSLC/BLST proofs 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
#1775 by RyanGlScott was merged Dec 16, 2022 Loading…
10
Updated solvers tooling: CI Issues involving CI/CD scripts or processes
#1744 by weaversa was closed Nov 22, 2022
1
4
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
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: 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: 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
ProTip! Follow long discussions with comments:>50.