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
199 Open 126 Closed
199 Open 126 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

Fix the "good" functionality in the test-and-diff infrastructure tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: bug Issues reporting bugs or unexpected/unwanted behavior
#2171 by sauclovian-g was merged Jan 6, 2025 Loading…
Incorrect/dead links in the tutorials and manual documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors type: bug Issues reporting bugs or unexpected/unwanted behavior
#2168 by ChrisEPhifer was closed Dec 20, 2024
5 tasks done
2024T3
1
@ChrisEPhifer
1
Lower the boom on the mess in the saw-script typechecker tech debt Issues that document or involve technical debt topics: error-handling Issues involving the way SAW responds to an error condition topics: error-messages Issues involving the messages SAW produces on error type: bug Issues reporting bugs or unexpected/unwanted behavior type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#2157 by sauclovian-g was merged Dec 17, 2024 Loading…
74
SAW fails to match LLVM override involving top-level string constants needs test Issues for which we should add a regression test subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: bug Issues reporting bugs or unexpected/unwanted behavior
#2148 by RyanGlScott was closed Nov 11, 2024
1
@RyanGlScott
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
Bump crucible to get the Const_RefRoots fix. PR: submodule bump Pull requests that include a submodule bump subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2107 by sauclovian-g was merged Aug 27, 2024 Loading…
1
6
Use -v0 with cabal list-bin in build.sh. tooling: build system Issues involving SAW's build system type: bug Issues reporting bugs or unexpected/unwanted behavior
#2104 by sauclovian-g was merged Aug 23, 2024 Loading…
1
Remove leftover bashism in build.sh tooling: build system Issues involving SAW's build system type: bug Issues reporting bugs or unexpected/unwanted behavior
#2102 by sauclovian-g was merged Aug 23, 2024 Loading…
1
1
Lack of checking of typedefs tech debt Issues that document or involve technical debt type: bug Issues reporting bugs or unexpected/unwanted behavior
#2077 by sauclovian-g was closed Dec 17, 2024 2025T1
1
MIR override incorrectly rejected when applied to multiple const slice arguments subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2064 by RyanGlScott was closed Aug 27, 2024
1
@sauclovian-g
4
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
SAW MIR override with slice argument fails to match subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2045 by RyanGlScott was closed Mar 28, 2024
1
@RyanGlScott
2
panic, called at src/Cryptol/TypeCheck/TypeOf.hs:65:24 in cryptol-3.1.0-inplace:Cryptol.TypeCheck.TypeOf subproject Issues involving one of the various subprojects SAW depends on type: bug Issues reporting bugs or unexpected/unwanted behavior
#2043 by weaversa was closed Mar 27, 2024
1
4
Transitive SAWScript type synonyms don't work type: bug Issues reporting bugs or unexpected/unwanted behavior
#1985 by qsctr was closed Dec 5, 2023
1
@qsctr
mir_fresh_expanded_value produces value of incorrect type for repr(transparent) structs subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#1973 by RyanGlScott was closed Nov 11, 2023
1
@RyanGlScott
llvm_conditional_points_to in postcondition does not respect condition subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: bug Issues reporting bugs or unexpected/unwanted behavior
#1945 by RyanGlScott was closed Dec 15, 2023
1
1
w4_abc_aiger proves False type: bug Issues reporting bugs or unexpected/unwanted behavior unsoundness Issues that can lead to unsoundness or false verification
#1938 by qsctr was closed Sep 20, 2023
1
@RyanGlScott
3
Incorrect bounds checking for LLVM array functions easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: bug Issues reporting bugs or unexpected/unwanted behavior
#1932 by RyanGlScott was closed Sep 28, 2023
1
SAW panic when using constraint guards with types dependent on module parameters subsystem: cryptol-saw-core Issues related to Cryptol -> saw-core translation with cryptol-saw-core type: bug Issues reporting bugs or unexpected/unwanted behavior
#1923 by bboston7 was closed Sep 2, 2023
1
@bboston7
7
Suspicious code in LLVM.ResolveSetupValue.resolveSAWPred subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm type: bug Issues reporting bugs or unexpected/unwanted behavior
#1910 by RyanGlScott was closed May 15, 2024
1
5
Parse error on \n -> type: bug Issues reporting bugs or unexpected/unwanted behavior
#1894 by qsctr was closed Aug 29, 2023
1
@qsctr
1
Attempted to register the following name twice: cryptol: type: bug Issues reporting bugs or unexpected/unwanted behavior
#1892 by weaversa was closed Aug 24, 2023
1
@qsctr
5
Heapster: Translation of LLVM globals is fragile, depends on getelementptr indices being zero subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm subsystem: heapster Issues specifically related to memory verification using Heapster type: bug Issues reporting bugs or unexpected/unwanted behavior
#1875 by RyanGlScott was closed Jun 2, 2023
[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
ProTip! Mix and match filters to narrow down what you’re looking for.