Search results

Bump What4/Crucible/Macaw submodules, adjust to BoolMap changes in What4

Status: Open.

#2223 In GaloisInc/saw-script;

· langston-barrett opened on Feb 12, 2025

Support quantification over the Cryptol # kind

missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAW

needs designTechnical design work is needed for issue to progressTechnical design work is needed for issue to progress

needs testIssues for which we should add a regression testIssues for which we should add a regression test

subsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-core

subsystem: saw-coreIssues related to the saw-core representation or the saw-core subsystemIssues related to the saw-core representation or the saw-core subsystem

topics: error-messagesIssues involving the messages SAW produces on errorIssues involving the messages SAW produces on error

type: feature requestIssues requesting a new feature or capabilityIssues requesting a new feature or capability

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2209 In GaloisInc/saw-script;

· Isweet opened on Jan 31, 2025

 ·  

Someday

SAW doesn't support importing parameteric Cryptol modules

missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAW

needs testIssues for which we should add a regression testIssues for which we should add a regression test

subsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-core

type: feature requestIssues requesting a new feature or capabilityIssues requesting a new feature or capability

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2208 In GaloisInc/saw-script;

· Isweet opened on Jan 31, 2025

 ·  

2025T1

Error message for addsimp on non-equation is vague

needs testIssues for which we should add a regression testIssues for which we should add a regression test

subsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-core

topics: error-handlingIssues involving the way SAW responds to an error conditionIssues involving the way SAW responds to an error condition

topics: error-messagesIssues involving the messages SAW produces on errorIssues involving the messages SAW produces on error

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2207 In GaloisInc/saw-script;

· Isweet opened on Jan 31, 2025

 ·  

2025T1

rec x = x crashes the interpreter

easyIssues that are expected to be easy to resolve and might therefore be good for new contributorsIssues that are expected to be easy to resolve and might therefore be good for new contributors

topics: error-handlingIssues involving the way SAW responds to an error conditionIssues involving the way SAW responds to an error condition

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

Status: Open.

#2203 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 29, 2025

 ·  

2024T3

README and change log for the Python bindings are hard to find, should be merged into the top-level ones

subsystem: saw-pythonRelated to the Python bindings for the RPC SAW serverRelated to the Python bindings for the RPC SAW server

tech debtIssues that document or involve technical debtIssues that document or involve technical debt

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2200 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 28, 2025

 ·  

2025T1

SAW error messages obscure names of LLVM functions that lack implementations

needs testIssues for which we should add a regression testIssues for which we should add a regression test

subsystem: crucible-llvmIssues related to LLVM bitcode verification with crucible-llvmIssues related to LLVM bitcode verification with crucible-llvm

topics: error-messagesIssues involving the messages SAW produces on errorIssues involving the messages SAW produces on error

topics: memory modelIssues that relate to the LLVM and/or Crucible model of pointers and memory blocksIssues that relate to the LLVM and/or Crucible model of pointers and memory blocks

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2198 In GaloisInc/saw-script;

· RyanGlScott opened on Jan 27, 2025

 ·  

2025T1

Deploying SAW's Written Materials

documentationIssues involving documentationIssues involving documentation

documentation debtDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationDocumentation tasks previously deferred, postponed, etc.; technical debt in documentation

tooling: release engineeringIssues involving releases, release processes, or other release engineering concernsIssues involving releases, release processes, or other release engineering concerns

type: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capability

Status: Open.

#2197 In GaloisInc/saw-script;

· ChrisEPhifer opened on Jan 24, 2025

 ·  

2025T1

Importing a Cryptol source file does not respect CRYPTOLPATH

missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAW

needs testIssues for which we should add a regression testIssues for which we should add a regression test

subprojectIssues involving one of the various subprojects SAW depends onIssues involving one of the various subprojects SAW depends on

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

Status: Open.

#2194 In GaloisInc/saw-script;

· Isweet opened on Jan 22, 2025

 ·  

2025T1

Unexpected interaction of comments and Cryptol blocks

tech debtIssues that document or involve technical debtIssues that document or involve technical debt

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2189 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 20, 2025

 ·  

2025T1

Be precise about suggesting enable_experimental and enable_deprecated

needs testIssues for which we should add a regression testIssues for which we should add a regression test

topics: error-messagesIssues involving the messages SAW produces on errorIssues involving the messages SAW produces on error

type: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capability

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2186 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 16, 2025

 ·  

2025T1

Restructure deprecation semantics

documentationIssues involving documentationIssues involving documentation

tech debtIssues that document or involve technical debtIssues that document or involve technical debt

tooling: release engineeringIssues involving releases, release processes, or other release engineering concernsIssues involving releases, release processes, or other release engineering concerns

type: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behavior

usabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and use

Status: Open.

#2184 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 16, 2025

 ·  

2025T1