Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/saw-script issues and pull requests

#2116 - Fix the way compute-coverage finds the hpc dir in dist-newstyle

Pull Request - State: open - Opened by sauclovian-g 29 days ago - 4 comments
Labels: bug, CI

#2115 - Explicitly pin the `mir-json` version that SAW requires

Pull Request - State: open - Opened by RyanGlScott 30 days ago
Labels: documentation, crucible/mir

#2114 - Compute Coverage CI failing

Issue - State: open - Opened by mccleeary-galois about 1 month ago - 5 comments
Labels: bug, CI

#2113 - Prepare release v1.2

Pull Request - State: closed - Opened by mccleeary-galois about 1 month ago - 2 comments

#2112 - Prepare release 1.2

Pull Request - State: closed - Opened by mccleeary-galois about 1 month ago - 2 comments

#2111 - Better synchronize SAW with the `mir-json` version it depends on

Issue - State: open - Opened by weaversa about 1 month ago - 4 comments
Labels: bug, priority, upstream, crucible/mir

#2110 - Fix printing of arrays when they appear in counterexamples.

Pull Request - State: closed - Opened by sauclovian-g about 1 month ago - 7 comments
Labels: error-messages, needs test, usability, tech-debt, error-handling

#2109 - The repository README should mention the docker images

Issue - State: open - Opened by sauclovian-g about 1 month ago
Labels: documentation

#2108 - Bogus stack trace with MIR verification and wrong return type

Issue - State: open - Opened by sauclovian-g about 1 month ago - 1 comment
Labels: bug, error-messages, error-handling

#2107 - Bump crucible to get the Const_RefRoots fix.

Pull Request - State: closed - Opened by sauclovian-g about 1 month ago - 6 comments
Labels: bug, submodule bump, crucible/mir

#2106 - Internal errors are not just impossible executions

Issue - State: open - Opened by sauclovian-g about 1 month ago - 2 comments
Labels: error-messages, usability, tech-debt, error-handling

#2105 - Typechecker gap with record argument types

Issue - State: open - Opened by sauclovian-g about 1 month ago - 1 comment
Labels: bug, error-messages, testing, unsoundness, tech-debt, error-handling

#2104 - Use -v0 with cabal list-bin in build.sh.

Pull Request - State: closed - Opened by sauclovian-g about 1 month ago
Labels: bug, build system

#2103 - build.sh tries to copy git output text

Issue - State: closed - Opened by sauclovian-g about 1 month ago - 1 comment

#2102 - Remove leftover bashism in build.sh

Pull Request - State: closed - Opened by sauclovian-g about 1 month ago
Labels: bug, build system

#2101 - Update pypi to use latest cryptol python package

Issue - State: closed - Opened by weaversa about 1 month ago - 5 comments
Labels: priority

#2100 - `build.sh` script fails with `dash` (`Syntax error: "(" unexpected`)

Issue - State: closed - Opened by RyanGlScott about 1 month ago
Labels: build system

#2099 - Verifying C written with C11 features using SAW

Issue - State: open - Opened by pennyannn about 1 month ago - 3 comments

#2098 - Support building with GHC 9.8

Pull Request - State: closed - Opened by RyanGlScott about 1 month ago

#2095 - Bump `lmdb` submodule to bring in GaloisInc/lmdb#5

Pull Request - State: closed - Opened by RyanGlScott about 1 month ago

#2094 - Rework the position tracking for types.

Pull Request - State: closed - Opened by sauclovian-g about 2 months ago - 1 comment
Labels: error-messages, tech-debt, error-handling

#2093 - Clearly specify the behavior of `llvm_extract`/`llvm_compositional_extract` with respect to global variables

Issue - State: open - Opened by RyanGlScott about 2 months ago
Labels: enhancement, crucible/llvm

#2092 - Support `llvm_extract`, `llvm_compositional_extract`, `jvm_extract`, etc. in the Python bindings

Issue - State: open - Opened by RyanGlScott about 2 months ago
Labels: crucible/jvm, crucible/llvm, saw-remote-api, feature request

#2091 - `llvm_compositional_extract`: surprising lack of return type detection

Issue - State: open - Opened by RyanGlScott about 2 months ago
Labels: bug, crucible/llvm

#2090 - saw should be repeatable, or have a repeatable mode

Issue - State: open - Opened by sauclovian-g about 2 months ago
Labels: testing

#2089 - Reduce the use of the `fix` function in the Cryptol->SAWCore translation

Issue - State: open - Opened by RyanGlScott about 2 months ago - 1 comment
Labels: enhancement, feature request

#2088 - Make `summarize_verification` report whether definitions depend on unsafe primitives or axioms (e.g., `fix`)

Issue - State: open - Opened by RyanGlScott about 2 months ago
Labels: enhancement, feature request

#2087 - CI: Use Docker Compose v2

Pull Request - State: closed - Opened by RyanGlScott about 2 months ago
Labels: CI

#2086 - CI broken due to GitHub Actions moving from Docker Compose v1 to v2

Issue - State: closed - Opened by RyanGlScott about 2 months ago - 1 comment
Labels: CI

#2085 - MIR counterparts to `llvm_extract` and `llvm_compositional_extract`

Issue - State: open - Opened by RyanGlScott about 2 months ago
Labels: enhancement, feature request, crucible/mir

#2084 - Mac ARM build issue (ld error in libHSlmdb-0.2.5-inplace.a)

Issue - State: closed - Opened by Torrencem 2 months ago - 14 comments

#2083 - Define a `map` function (like `for`, but non-monadic)

Issue - State: open - Opened by RyanGlScott 2 months ago - 1 comment
Labels: feature request

#2082 - saw inappropriately expands symbolic links

Issue - State: open - Opened by sauclovian-g 2 months ago
Labels: bug, error-messages, testing, usability

#2081 - There should be a way to clean the test suite

Issue - State: open - Opened by sauclovian-g 2 months ago
Labels: testing, tech-debt, build system

#2080 - Allow sharing abc solver cache entries between OSs

Issue - State: open - Opened by mrogers67 2 months ago - 1 comment
Labels: enhancement

#2079 - Bump to latest `cryptol` submodule commit

Pull Request - State: closed - Opened by RyanGlScott 3 months ago

#2078 - Bump submodules to bring in changes from GaloisInc/crucible#1225

Pull Request - State: closed - Opened by RyanGlScott 3 months ago - 3 comments
Labels: submodule bump

#2077 - Lack of checking of typedefs

Issue - State: open - Opened by sauclovian-g 3 months ago
Labels: bug, needs test, tech-debt

#2076 - Improve AST-level source position tracking.

Pull Request - State: closed - Opened by sauclovian-g 3 months ago - 5 comments
Labels: error-messages, usability, tech-debt, error-handling

#2075 - Tests for error messages

Issue - State: open - Opened by sauclovian-g 3 months ago - 2 comments
Labels: error-messages, testing, usability

#2074 - Handle plain ":t" in the repl better

Pull Request - State: closed - Opened by sauclovian-g 3 months ago - 2 comments
Labels: error-messages, error-handling

#2073 - Simplify some somewhat silly code in the repl logic

Pull Request - State: closed - Opened by sauclovian-g 3 months ago

#2072 - Incorrect/inadequate tilde expansion in repl

Issue - State: open - Opened by sauclovian-g 3 months ago - 3 comments
Labels: bug, easy

#2071 - Improve AST-level source position tracking

Issue - State: open - Opened by sauclovian-g 3 months ago - 1 comment
Labels: error-messages, tech-debt, error-handling

#2070 - Retire the type alias Bind from src/SAWScript/AST.hs

Pull Request - State: closed - Opened by sauclovian-g 3 months ago

#2068 - saw MIR hello world script error

Issue - State: open - Opened by Torrencem 3 months ago - 4 comments

#2067 - Include `mir-json` in Docker images

Issue - State: open - Opened by RyanGlScott 3 months ago
Labels: CI, crucible/mir

#2066 - Improvements to build.sh.

Pull Request - State: closed - Opened by sauclovian-g 3 months ago - 1 comment
Labels: build system

#2065 - Cycle in submodule deps

Issue - State: open - Opened by TomMD 3 months ago - 1 comment

#2064 - MIR override incorrectly rejected when applied to multiple `const` slice arguments

Issue - State: closed - Opened by RyanGlScott 3 months ago - 4 comments
Labels: bug, crucible/mir

#2063 - Generalize/strengthen build.sh

Issue - State: open - Opened by sauclovian-g 3 months ago - 4 comments
Labels: testing, design-needed, build system, CI

#2062 - build.sh doesn't stop on error

Issue - State: closed - Opened by sauclovian-g 3 months ago - 1 comment
Labels: build system

#2061 - Build crux-mir-comp by default in build.sh.

Pull Request - State: closed - Opened by sauclovian-g 3 months ago - 1 comment
Labels: build system, crucible/mir-comp

#2060 - Build crux-mir-comp by default

Issue - State: closed - Opened by sauclovian-g 3 months ago - 5 comments
Labels: build system, crucible/mir-comp

#2059 - Update llvm-pretty submodule target

Pull Request - State: closed - Opened by glguy 4 months ago - 1 comment

#2058 - llvm-pretty has been migrated to GaloisInc

Issue - State: closed - Opened by mccleeary-galois 4 months ago

#2057 - Stray ocaml reference in saw-script's CI

Issue - State: open - Opened by sauclovian-g 5 months ago
Labels: CI

#2056 - Rem/issue#2055

Pull Request - State: closed - Opened by mccleeary-galois 5 months ago

#2055 - Add support for Python 3.12 to saw-remote-api

Issue - State: closed - Opened by mccleeary-galois 5 months ago
Labels: saw-remote-api

#2053 - Support for invariants on ghost state

Issue - State: open - Opened by sauclovian-g 5 months ago
Labels: design-needed, feature request

#2052 - Support importing Cryptol enums into SAWCore

Issue - State: open - Opened by RyanGlScott 6 months ago - 1 comment
Labels: feature request, cryptol-saw-core

#2049 - Print SMT array counterexamples more intelligibly

Issue - State: closed - Opened by RyanGlScott 6 months ago
Labels: error-messages

#2046 - Adjust how type errors are printed.

Pull Request - State: closed - Opened by sauclovian-g 6 months ago - 6 comments

#2037 - SyGuS, find SMT array write of a fixed size

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#2025 - MIR string slices

Pull Request - State: closed - Opened by RyanGlScott 8 months ago
Labels: crucible/mir

#2018 - Inv subst

Pull Request - State: closed - Opened by andreistefanescu 8 months ago - 3 comments

#2016 - Sygus2

Pull Request - State: closed - Opened by andreistefanescu 8 months ago - 1 comment

#1997 - Support MIR string slices

Issue - State: closed - Opened by RyanGlScott 10 months ago - 1 comment
Labels: enhancement, crucible/mir

#1990 - `crux-mir-comp`: Support enums

Issue - State: open - Opened by RyanGlScott 11 months ago
Labels: enhancement, crucible/mir-comp

#1984 - Surprising order-dependence with ghost state

Issue - State: open - Opened by RyanGlScott 11 months ago - 1 comment
Labels: bug

#1910 - Suspicious code in `LLVM.ResolveSetupValue.resolveSAWPred`

Issue - State: closed - Opened by RyanGlScott about 1 year ago - 5 comments
Labels: bug, crucible/llvm

#1762 - Find SMT array write of a fixed size.

Pull Request - State: closed - Opened by andreistefanescu almost 2 years ago - 5 comments

#1226 - Construct a complete type checker for SharedTerm

Issue - State: closed - Opened by atomb about 9 years ago - 1 comment
Labels: saw-core

#1225 - SAWCore parser hangs on .sawcore files with unterminated block comments

Issue - State: open - Opened by brianhuffman over 9 years ago
Labels: bug, saw-core

#1224 - Make type constructors strict

Issue - State: closed - Opened by robdockins over 9 years ago - 1 comment
Labels: saw-core

#1223 - Abstract interface to SharedTerms

Issue - State: open - Opened by robdockins over 9 years ago
Labels: saw-core

#1222 - Ensure we have Haskell functions for constructing all primitives

Issue - State: open - Opened by robdockins over 9 years ago - 2 comments
Labels: saw-core

#1221 - Ensure we have SAWCore primitives to cover all the SMT-Lib AUFBV theory

Issue - State: open - Opened by robdockins over 9 years ago
Labels: saw-core

#1220 - annotation of side conditions

Issue - State: open - Opened by robdockins over 9 years ago - 3 comments
Labels: saw-core

#1157 - Record the provenance of binary test artefacts

Issue - State: open - Opened by RyanGlScott over 3 years ago - 4 comments
Labels: crucible/llvm, testing, crucible/mir

#93 - SAWCore terms are not printed in the current number base

Issue - State: closed - Opened by brianhuffman over 8 years ago
Labels: easy

#92 - Proof tactics for applying introduction rules

Issue - State: closed - Opened by brianhuffman over 8 years ago - 1 comment
Labels: enhancement

#91 - Operations on `Theorem`s for forward-reasoning

Issue - State: open - Opened by brianhuffman over 8 years ago - 1 comment
Labels: enhancement, design-needed

#90 - llvm_extract support for functions that call other functions

Issue - State: closed - Opened by brianhuffman over 8 years ago - 5 comments
Labels: enhancement, obsolete

#89 - A more precise alternative to `abstract_symbolic`

Issue - State: closed - Opened by brianhuffman over 8 years ago
Labels: enhancement

#88 - Integer and Nat types in specifications

Issue - State: closed - Opened by brianhuffman over 8 years ago - 1 comment
Labels: enhancement

#87 - Signed bitvector primitives in specifications

Issue - State: closed - Opened by brianhuffman over 8 years ago - 8 comments
Labels: enhancement

#86 - Include galois.jar in distribution

Issue - State: closed - Opened by atomb over 8 years ago
Labels: easy

#85 - Idea: Replace `build-sandbox.sh` with Repo tool?

Issue - State: closed - Opened by weaversa over 8 years ago - 3 comments
Labels: enhancement

#84 - "user error (Bitcode parsing of ffs-rust.bc failed" with Rust byte code

Issue - State: closed - Opened by ttaubert over 8 years ago - 8 comments
Labels: next

#83 - "unknown record code: 2" with ffs.c and clang 7.0.2

Issue - State: closed - Opened by ttaubert over 8 years ago - 10 comments
Labels: next

#81 - java_verify happily uses method overrides with the wrong types

Issue - State: closed - Opened by brianhuffman almost 9 years ago
Labels: wontfix, obsolete

#80 - Iblumenfeld changes

Pull Request - State: closed - Opened by iblumenfeld almost 9 years ago - 1 comment

#79 - java_verify produces unsound proof obligations

Issue - State: closed - Opened by brianhuffman almost 9 years ago
Labels: unsoundness

#78 - SAW should look for files relative to the SAW file being processed

Issue - State: closed - Opened by jpziegler almost 9 years ago - 1 comment
Labels: easy