Giters
GaloisInc
/
saw-script
The SAW scripting language.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
433
Watchers:
34
Issues:
1086
Forks:
63
GaloisInc/saw-script Issues
Surprising order-dependence with ghost state
Updated
16 days ago
Comments count
1
llvm-pretty has been migrated to GaloisInc
Closed
a month ago
Stray ocaml reference in saw-script's CI
Updated
a month ago
Add support for Python 3.12 to saw-remote-api
Closed
a month ago
Support for invariants on ghost state
Updated
2 months ago
Error when running BLST-Verification
Closed
2 months ago
Comments count
5
Support importing Cryptol enums into SAWCore
Updated
2 months ago
Comments count
1
Allow more MIR types to be "flexibly" embedded into Cryptol
Updated
2 months ago
Comments count
2
Print more information when displaying counterexamples
Updated
2 months ago
Override specs are incorrectly adjudged unsat when they just don't match
Updated
2 months ago
MIR: Make it easier to write specifications involving `Vec`
Updated
2 months ago
Comments count
3
Print SMT array counterexamples more intelligibly
Updated
3 months ago
Overrides fail to notice that fresh variable is reachable via precondition
Updated
3 months ago
Comments count
7
saw-core-what4 panic message points to obsolete git repo
Updated
3 months ago
SAW MIR override with slice argument fails to match
Closed
3 months ago
Comments count
2
panic, called at src/Cryptol/TypeCheck/TypeOf.hs:65:24 in cryptol-3.1.0-inplace:Cryptol.TypeCheck.TypeOf
Closed
3 months ago
Comments count
4
Add `mir_mux_values` command for muxing two MIR values
Closed
3 months ago
Parse error on embedded Cryptol with `π` (or other extended characters)
Updated
3 months ago
Comments count
1
Extensions to/limitations of the current ghost state API
Updated
3 months ago
Comments count
2
There should be a cryptol_extract_submodule
Updated
3 months ago
mir_assert_ghost_value asserts equality of Cryptol objects without Eq instances
Updated
3 months ago
Comments count
6
Nonexistent types in function arguments aren't detected
Closed
4 months ago
Comments count
6
MIR: Enum value panics when payload is a `repr(transparent)` struct with a type error
Updated
4 months ago
SAW Style Guide
Updated
4 months ago
--detect-vacuity doesn't work with the MIR backend
Updated
4 months ago
Comments count
2
Re-implement Heapster Coq Proof Automation
Updated
4 months ago
Heapster translation error for reachability permissions
Updated
4 months ago
Incorrect handling of `newtype` in translation from Cryptol
Updated
5 months ago
Add `mir_lifetime` combinator for looking up types with lifetime substitutions
Closed
5 months ago
Support MIR string slices
Updated
5 months ago
Comments count
1
Error: posix_spawnp: illegal operation when running saw ffs_llvm.saw
Updated
5 months ago
Comments count
2
SAW Rust tutorial requires `rotate_left` override, which isn't included in `crucible-mir` submodule
Closed
5 months ago
`mir_elem_{ref,value}` and `mir_field_{ref,value}`
Updated
6 months ago
Comments count
1
Add `mir_ref_of`/`mir_ref_mut_of` functions for allocating references directly from values
Updated
6 months ago
Add `mir_equal` and `jvm_equal` commands, similar to `llvm_equal`
Updated
6 months ago
SAWScript: `Record lookup on non-record argument` error, when function parameter is not explicitly annotated with record type
Updated
6 months ago
Comments count
1
Cryptol newtypes not visible when imported using `cryptol_load`
Updated
6 months ago
SAWScript: Function types in record types need to be parenthesized
Updated
6 months ago
Transitive SAWScript type synonyms don't work
Closed
6 months ago
`crux-mir-comp`: Support enums
Updated
7 months ago
`saw-core-what4`: `arrayUpdate` panics when sequence literal passed as argument
Updated
7 months ago
Comments count
1
`saw-core-what4`: Support SMT arrays with record/tuple elements
Updated
7 months ago
MIR: Add `mir_alloc_static` command to better track mutable statics
Updated
7 months ago
Add command to print out all names in a MIR JSON file
Updated
7 months ago
MIR: Provide utility functions for looking up full identifiers
Updated
7 months ago
MIR: Suggest alternate name identifiers when lookup fails
Updated
7 months ago
SAW error message index
Updated
7 months ago
MIR: Support raw pointer types
Updated
7 months ago
Handle reference types in `mir_fresh_expanded_value`
Updated
7 months ago
`mir_fresh_expanded_value` produces value of incorrect type for `repr(transparent)` structs
Closed
7 months ago
Previous
Next