-
Notifications
You must be signed in to change notification settings - Fork 85
OpenSep 8, 2026
Due by September 15, 2026
•Last updated Things we would specifically like to get into release 1.6.
73% complete
List view
0 of 46 selected 0 issues of 46 selected
SAW doesn't know about Cryptol submodule aliases
missing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAWneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coretype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#3368 In GaloisInc/saw-script;Undocumented SAWScript syntax
documentationIssues involving documentationIssues involving documentationdocumentation debtDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#830 In GaloisInc/saw-script;Clean up the repository root directory
tech debtIssues that document or involve technical debtIssues that document or involve technical debttype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#1640 In GaloisInc/saw-script;SAW User Manual Issues and Recommendations
documentationIssues involving documentationIssues involving documentationtype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2156 In GaloisInc/saw-script;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 servertech debtIssues that document or involve technical debtIssues that document or involve technical debttype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2200 In GaloisInc/saw-script;Layout of SAW binary distributions
breakingA change that will break backward compatibilityA change that will break backward compatibilityneeds designTechnical design work is needed for issue to progressTechnical design work is needed for issue to progresstech debtIssues that document or involve technical debtIssues that document or involve technical debttooling: release engineeringIssues involving releases, release processes, or other release engineering concernsIssues involving releases, release processes, or other release engineering concernstype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2478 In GaloisInc/saw-script;Deprecate the SAWScript
mainfeaturesubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontech debtIssues that document or involve technical debtIssues that document or involve technical debttype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#2560 In GaloisInc/saw-script;SAWScript REPL doesn't have help text for colon commands
documentationIssues involving documentationIssues involving documentationtech debtIssues that document or involve technical debtIssues that document or involve technical debttype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2582 In GaloisInc/saw-script;SAWScript REPL doesn't have help text for SAWScript types
documentationIssues involving documentationIssues involving documentationtype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2583 In GaloisInc/saw-script;failspartially rolls back the failure statesubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontech debtIssues that document or involve technical debtIssues that document or involve technical debttopics: error-handlingIssues involving the way SAW responds to an error conditionIssues involving the way SAW responds to an error conditiontype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#2591 In GaloisInc/saw-script;SAWScript REPL doesn't have help for syntactic constructs
needs testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#2600 In GaloisInc/saw-script;saw-remote-api: Replacecryptonitedependency withcryptonsubsystem: saw-remote-apiIssues related to the SAW server and its RPC bindingsIssues related to the SAW server and its RPC bindingstech debtIssues that document or involve technical debtIssues that document or involve technical debttype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#1886 In GaloisInc/saw-script;saw-remote-api version info
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 contributorssubsystem: saw-pythonRelated to the Python bindings for the RPC SAW serverRelated to the Python bindings for the RPC SAW serversubsystem: saw-remote-apiIssues related to the SAW server and its RPC bindingsIssues related to the SAW server and its RPC bindingstype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#1895 In GaloisInc/saw-script;Allow checking if the solver results cache is enabled
type: feature requestIssues requesting a new feature or capabilityIssues requesting a new feature or capabilityStatus: Open.#2624 In GaloisInc/saw-script;x86: Small change to use a total helper function from Macaw
subprojectIssues involving one of the various subprojects SAW depends onIssues involving one of the various subprojects SAW depends onsubsystem: x86Issues related to verifying x86 binaries via MacawIssues related to verifying x86 binaries via Macawtech debtIssues that document or involve technical debtIssues that document or involve technical debttopics: error-handlingIssues involving the way SAW responds to an error conditionIssues involving the way SAW responds to an error conditiontype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#2672 In GaloisInc/saw-script;Add
:cbrowseto print imported Cryptol modulesmissing cryptol featuresIssues about features in Cryptol that don't work in SAWIssues about features in Cryptol that don't work in SAWneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coresubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontype: feature requestIssues requesting a new feature or capabilityIssues requesting a new feature or capabilityusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2680 In GaloisInc/saw-script;Improve the display (show instance) of loaded cryptol modules at the SAWScript command line
subsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coretype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#2700 In GaloisInc/saw-script;Add further documentation regarding imports, scoping, and loading (in SAWScript)
documentationIssues involving documentationIssues involving documentationdocumentation debtDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationsubsystem: cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coreIssues related to Cryptol -> saw-core translation with cryptol-saw-coretype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2701 In GaloisInc/saw-script;:searchshould expand typedefseasyIssues 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 contributorsneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2788 In GaloisInc/saw-script;yosys_importcan create invalid Cryptol field namessubsystem: hardwareIssues related to verification of hardwareIssues related to verification of hardwaretype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#2841 In GaloisInc/saw-script;Difficulty loading generated Haddock html while offline
documentationIssues involving documentationIssues involving documentationtype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#2928 In GaloisInc/saw-script;Update the cabal freeze files
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 contributorstooling: CIIssues involving CI/CD scripts or processesIssues involving CI/CD scripts or processestype: enhancementIssues describing an improvement to an existing feature or capabilityIssues describing an improvement to an existing feature or capabilityStatus: Open.#2945 In GaloisInc/saw-script;MIR tutorial code examples have out of date JSON files
documentationIssues involving documentationIssues involving documentationneeds testIssues for which we should add a regression testIssues for which we should add a regression testregressionSomething that used to work, but now doesn'tSomething that used to work, but now doesn'ttest assetsIssues involving test programs or other test assetsIssues involving test programs or other test assetstype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#3240 In GaloisInc/saw-script;There is no changelog entry for #2684
documentationIssues involving documentationIssues involving documentationdocumentation debtDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationDocumentation tasks previously deferred, postponed, etc.; technical debt in documentationsubsystem: saw-coreIssues related to the saw-core representation or the saw-core subsystemIssues related to the saw-core representation or the saw-core subsystemtype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorStatus: Open.#3344 In GaloisInc/saw-script;include_onceneeds to normalize paths before checking if they're the sameeasyIssues 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 contributorsneeds testIssues for which we should add a regression testIssues for which we should add a regression testsubsystem: saw-scriptIssues related to the SAWScript language and/or its interpretation and executionIssues related to the SAWScript language and/or its interpretation and executiontype: bugIssues reporting bugs or unexpected/unwanted behaviorIssues reporting bugs or unexpected/unwanted behaviorusabilityAn issue that impedes efficient understanding and useAn issue that impedes efficient understanding and useStatus: Open.#3358 In GaloisInc/saw-script;