Search results

CI: add more comments, pursuant to previous changes

tooling: CIIssues involving CI/CD scripts or processesIssues involving CI/CD scripts or processes

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

Status: Open (in progress).

GaloisInc/saw-scriptnumber 2210

#2210 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 31, 2025

Fix up/update CONTRIBUTING

documentationIssues involving documentationIssues involving documentation

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

subsystem: saw-remote-apiIssues related to the SAW server and its RPC bindingsIssues related to the SAW server and its RPC bindings

tooling: build systemIssues involving SAW's build systemIssues involving SAW's build system

tooling: CIIssues involving CI/CD scripts or processesIssues involving CI/CD scripts or processes

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

tooling: test infrastructureIssues involving test infrastructure or test execution, or making SAW more testableIssues involving test infrastructure or test execution, or making SAW more testable

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

Status: Open (in progress).

GaloisInc/saw-scriptnumber 2201

#2201 In GaloisInc/saw-script;

· sauclovian-g opened on Jan 28, 2025

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

needs administrative reviewRequires administrative reviewRequires administrative review

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.

Task

#2197 In GaloisInc/saw-script;

· ChrisEPhifer opened on Jan 24, 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

Make the warnings introduced by #2162 into errors

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

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

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: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capability

Status: Open.

#2167 In GaloisInc/saw-script;

· sauclovian-g opened on Dec 20, 2024

 ·  

Someday

SAW User Manual Issues and Recommendations

documentationIssues involving documentationIssues involving documentation

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.

#2156 In GaloisInc/saw-script;

· smithdtyler opened on Dec 9, 2024

 ·  

2024T3

Systematize error-issuing and other printing functions

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

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: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capability

Status: Open.

#2129 In GaloisInc/saw-script;

· sauclovian-g opened on Oct 12, 2024

 ·  

2024T3

Clearly specify the behavior of llvm_extract/llvm_compositional_extract with respect to global variables

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

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

Status: Open.

#2093 In GaloisInc/saw-script;

· RyanGlScott opened on Aug 16, 2024

 ·  

2025T1

saw should be repeatable, or have a repeatable mode

tooling: test infrastructureIssues involving test infrastructure or test execution, or making SAW more testableIssues involving test infrastructure or test execution, or making SAW more testable

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

Status: Open.

#2090 In GaloisInc/saw-script;

· sauclovian-g opened on Aug 13, 2024

 ·  

2025T1

Allow sharing abc solver cache entries between OSs

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

Status: Open.

#2080 In GaloisInc/saw-script;

· mrogers67 opened on Jul 30, 2024

 ·  

Someday

Generalize/strengthen build.sh

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

tooling: build systemIssues involving SAW's build systemIssues involving SAW's build system

tooling: CIIssues involving CI/CD scripts or processesIssues involving CI/CD scripts or processes

tooling: test infrastructureIssues involving test infrastructure or test execution, or making SAW more testableIssues involving test infrastructure or test execution, or making SAW more testable

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

Status: Open.

#2063 In GaloisInc/saw-script;

· sauclovian-g opened on Jul 3, 2024

 ·  

2025T1

MIR: Make it easier to write specifications involving Vec

subsystem: crucible-mirIssues related to Rust verification with crucible-mir and/or mir-jsonIssues related to Rust verification with crucible-mir and/or mir-json

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

Status: Open.

#2032 In GaloisInc/saw-script;

· RyanGlScott opened on Feb 23, 2024

 ·  

Someday