Search results

Invalid logic in s2n tls proof

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

test assetsIssues involving test programs or other test assetsIssues involving test programs or other test assets

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

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

Status: Open.

#2169 In GaloisInc/saw-script;

· sauclovian-g opened on Dec 20, 2024

 ·  

2025T1

CI is breaking on archaic downloads

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

test assetsIssues involving test programs or other test assetsIssues involving test programs or other test assets

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

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

Status: Open.

#2166 In GaloisInc/saw-script;

· sauclovian-g opened on Dec 19, 2024

 ·  

Yesterday

Generalize/strengthen build.sh

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

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

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

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

Run crux-mir-comp's test suite in CI

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

subsystem: crucible-mir-compIssues related to compositional Rust verification with crucible-mir-comp or crux-mir-compIssues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp

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.

#1887 In GaloisInc/saw-script;

· RyanGlScott opened on Jul 6, 2023

 ·  

2025T1

Include MIR JSON files for Rust standard libs in SAW bindists

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

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

Status: Draft (not ready).

GaloisInc/saw-scriptnumber 1868

#1868 In GaloisInc/saw-script;

· RyanGlScott opened on May 10, 2023

openssl_aes example proof hangs

performanceIssues that involve or include performance problemsIssues that involve or include performance problems

regressionSomething that used to work, but now doesn'tSomething that used to work, but now doesn't

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

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

Status: Open.

#1812 In GaloisInc/saw-script;

· bboston7 opened on Feb 4, 2023

 ·  

Someday

Memory utilization issue in more recent SAW

performanceIssues that involve or include performance problemsIssues that involve or include performance problems

regressionSomething that used to work, but now doesn'tSomething that used to work, but now doesn't

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

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

Status: Open.

#1805 In GaloisInc/saw-script;

· pennyannn opened on Jan 21, 2023

 ·  

Someday

CI is unpredictably failing

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.

#1772 In GaloisInc/saw-script;

· chameco opened on Dec 4, 2022

 ·  

2025T1

Possibly redundant saw-script Dockerfile in s2nTests

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

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

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

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

Status: Open.

#1747 In GaloisInc/saw-script;

· RyanGlScott opened on Oct 3, 2022

 ·  

2024T3

Haddock failures on GHC 8.10

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

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

Status: Open.

#1719 In GaloisInc/saw-script;

· RyanGlScott opened on Aug 1, 2022

 ·  

2024T3

CI timeout on MacOS

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

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

Status: Open.

#1699 In GaloisInc/saw-script;

· robdockins opened on Jul 7, 2022

 ·  

2025T1

Run more resource-intensive regression tests somewhere

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

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

Status: Open.

#1623 In GaloisInc/saw-script;

· chameco opened on Mar 23, 2022

 ·  

2025T1