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

400 Open 686 Closed
400 Open 686 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Stray ocaml reference in saw-script's CI CI Continuous integration
#2057 opened May 16, 2024 by sauclovian-g
Support for invariants on ghost state design-needed feature request
#2053 opened Apr 24, 2024 by sauclovian-g
Support importing Cryptol enums into SAWCore cryptol-saw-core Related to cryptol-saw-core package feature request
#2052 opened Apr 16, 2024 by RyanGlScott
1
Print more information when displaying counterexamples error-messages feature request
#2051 opened Apr 6, 2024 by sauclovian-g
Override specs are incorrectly adjudged unsat when they just don't match error-messages
#2050 opened Apr 6, 2024 by sauclovian-g
Print SMT array counterexamples more intelligibly error-messages
#2049 opened Apr 2, 2024 by RyanGlScott
saw-core-what4 panic message points to obsolete git repo error-messages
#2048 opened Mar 29, 2024 by sauclovian-g
Parse error on embedded Cryptol with π (or other extended characters) bug
#2042 opened Mar 14, 2024 by WeeknightMVP
1
mir_assert_ghost_value asserts equality of Cryptol objects without Eq instances
#2041 opened Mar 12, 2024 by sauclovian-g
6
Extensions to/limitations of the current ghost state API design-needed feature request
#2040 opened Mar 11, 2024 by sauclovian-g
2
MIR: Enum value panics when payload is a repr(transparent) struct with a type error bug crucible/mir Related to crucible-mir verification
#2036 opened Feb 29, 2024 by RyanGlScott
Overrides fail to notice that fresh variable is reachable via precondition bug
#2035 opened Feb 28, 2024 by RyanGlScott
7
There should be a cryptol_extract_submodule feature request
#2033 opened Feb 26, 2024 by sauclovian-g
MIR: Make it easier to write specifications involving Vec crucible/mir Related to crucible-mir verification enhancement
#2032 opened Feb 23, 2024 by RyanGlScott
3
SAW Style Guide documentation
#2031 opened Feb 16, 2024 by weaversa
--detect-vacuity doesn't work with the MIR backend bug crucible/jvm Related to crucible-jvm verification crucible/mir Related to crucible-mir verification
#2028 opened Feb 12, 2024 by sauclovian-g
2
Heapster translation error for reachability permissions Heapster Issues specifically related to the Heapster sub-system
#2027 opened Feb 10, 2024 by eddywestbrook
Re-implement Heapster Coq Proof Automation Heapster Issues specifically related to the Heapster sub-system
#2026 opened Feb 9, 2024 by eddywestbrook
Incorrect handling of newtype in translation from Cryptol bug
#2019 opened Jan 26, 2024 by yav
Error: posix_spawnp: illegal operation when running saw ffs_llvm.saw documentation
#2002 opened Jan 9, 2024 by banhday
2
Add mir_ref_of/mir_ref_mut_of functions for allocating references directly from values crucible/mir Related to crucible-mir verification enhancement
#1999 opened Dec 19, 2023 by RyanGlScott
Add mir_equal and jvm_equal commands, similar to llvm_equal crucible/jvm Related to crucible-jvm verification crucible/mir Related to crucible-mir verification enhancement
#1998 opened Dec 19, 2023 by RyanGlScott
Support MIR string slices crucible/mir Related to crucible-mir verification enhancement
#1997 opened Dec 19, 2023 by RyanGlScott
1
1
Cryptol newtypes not visible when imported using cryptol_load bug cryptol-saw-core Related to cryptol-saw-core package
#1996 opened Dec 9, 2023 by qsctr
SAWScript: Record lookup on non-record argument error, when function parameter is not explicitly annotated with record type bug error-messages
#1995 opened Dec 9, 2023 by qsctr
1
ProTip! Exclude everything labeled bug with -label:bug.