GaloisInc/saw-script

Issues

• `saw-remote-api`: Add `--version` command-line option

  #2237 opened a month ago by RyanGlScott
  1

• Support implications as rewrite rules

  #2155 opened 4 months ago by mrogers67
  4

• Sawscript panics when nominal types are used in baked in Cryptol libraries.

  #2230 opened 2 months ago by mtullsen
  0

• Make `--version` display commit/branch information

  #2236 opened a month ago by RyanGlScott
  0

• Lexer deficiencies with numbers

  #2177 opened 3 months ago by sauclovian-g
  1

• Position tracking by global variable isn't robust

  #2128 opened 6 months ago by sauclovian-g
  0

• Nonexistent ```java_symexec``` in doc/manual/code

  #2185 opened 2 months ago by sauclovian-g
  0

• Support Bitwuzla

  #2172 opened 2 months ago by RyanGlScott
  0

• Python bindings fail with python 3.13

  #2178 opened 3 months ago by sauclovian-g
  1

• Deprecate llvm_struct()

  #2159 opened 4 months ago by sauclovian-g
  2

• Error message for `addsimp` on non-equation is vague

  #2207 opened 2 months ago by Isweet
  2

• Unexpected interaction of comments and Cryptol blocks

  #2189 opened 3 months ago by sauclovian-g
  2

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

  #2200 opened 2 months ago by sauclovian-g
  2

• Signatures not shown on Downloads Page but mentioned

  #2126 opened 6 months ago by mccleeary-galois
  2

• Reading a static mutable reference crashes with empty mux tree

  #2145 opened 5 months ago by sauclovian-g
  1

• Systematize error-issuing and other printing functions

  #2129 opened 6 months ago by sauclovian-g
  1

• Unhelpful empty counterexample

  #2144 opened 5 months ago by sauclovian-g
  1

• saw-core position reporting doesn't print correctly

  #2140 opened 5 months ago by sauclovian-g
  0

• line editing shortcomings in the repl

  #2238 opened a month ago by sauclovian-g
  1

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

  #2223 opened 2 months ago by langston-barrett
  0

• Support quantification over the Cryptol # kind

  #2209 opened 2 months ago by Isweet
  17

• SAW User Manual Issues and Recommendations

  #2156 opened 4 months ago by smithdtyler
  4

• CI: integration tests with coverage enabled fails on `deploy-pages` step due to `GITHUB_TOKEN` permissions error

  #2216 opened 2 months ago by RyanGlScott
  2

• Deploying SAW's Written Materials

  #2197 opened 2 months ago by ChrisEPhifer
  1

• SAW doesn't support importing parameteric Cryptol modules

  #2208 opened 2 months ago by Isweet
  1

• It's no longer possible to give functions polymorphic type signatures

  #2204 opened 2 months ago by sauclovian-g
  0

• SAW error messages obscure names of LLVM functions that lack implementations

  #2198 opened 2 months ago by RyanGlScott
  2

• rec x = x crashes the interpreter

  #2203 opened 2 months ago by sauclovian-g
  0

• CI is breaking on archaic downloads

  #2166 opened 2 months ago by sauclovian-g
  4

• Importing a Cryptol source file does not respect `CRYPTOLPATH`

  #2194 opened 2 months ago by Isweet
  4

• It should not be possible to comment out comment delimiters

  #2181 opened 2 months ago by sauclovian-g
  0

• Restructure deprecation semantics

  #2184 opened 3 months ago by sauclovian-g
  3

• Be precise about suggesting ```enable_experimental``` and ```enable_deprecated```

  #2186 opened 3 months ago by sauclovian-g
  0

• Oddities of top-level binds

  #2162 opened 3 months ago by sauclovian-g
  1

• SAW <-> Cryptol positions for Cryptol parsing

  #2175 opened 3 months ago by sauclovian-g
  0

• Invalid logic in s2n tls proof

  #2169 opened 4 months ago by sauclovian-g
  2

• Make the warnings introduced by #2162 into errors

  #2167 opened 4 months ago by sauclovian-g
  2

• Incorrect/dead links in the tutorials and manual

  #2168 opened 4 months ago by ChrisEPhifer
  1

• Cannot embed Cryptol newtypes in let {{ }}

  #2164 opened 4 months ago by sauclovian-g
  0

• Builtin vs. hardcoded types

  #2163 opened 4 months ago by sauclovian-g
  0

• add repl command to print the type environment

  #2161 opened 4 months ago by sauclovian-g
  0

• saw-script interpreter typechecks one line at a time

  #2158 opened 4 months ago by sauclovian-g
  1

• `write_goal` only writes the last proof goal to a file, unlike other goal-writing proof scripts

  #2160 opened 4 months ago by RyanGlScott
  2

• SAW fails to match LLVM override involving top-level string constants

  #2148 opened 5 months ago by RyanGlScott
  0

• MIR `bool` arrays are cumbersome to use in SAW

  #2147 opened 5 months ago by RyanGlScott
  3

• Typechecker gap in mir_assert

  #2122 opened 7 months ago by sauclovian-g
  2

• Execution of impossible paths during verification

  #2124 opened 7 months ago by sauclovian-g
  0

• SAW should respond to SIGINFO

  #2143 opened 5 months ago by sauclovian-g
  1

• Change SAW docker entrypoint to bash

  #2130 opened 6 months ago by smithdtyler
  2

• Gracefully print counterexamples involving SMT arrays defined as function mappings

  #2120 opened 7 months ago by RyanGlScott
  1