Labels

• better-in-python

  Will be fixed by switching to python frontend
• better-when-documented

  Issues whose root causes include missing or wrong documentation
• breaking

  A change that will break backward compatibility
• documentation

  Issues involving documentation
• documentation debt

  Documentation tasks previously deferred, postponed, etc.; technical debt in documentation
• easy

  Issues that are expected to be easy to resolve and might therefore be good for new contributors
• maybe fixed

  Issues where there's reason to think they might be fixed but that still requires confirmation
• missing cryptol features

  Issues about features in Cryptol that don't work in SAW
• missing python features

  Issues about features in SAWScript that don't work in the Python interface
• needs administrative review

  Requires administrative review
• needs design

  Technical design work is needed for issue to progress
• needs test

  Issues for which we should add a regression test
• obsolete

  Issues that involve/depend on deprecated code, such that they are not worth pursuing
• performance

  Issues that involve or include performance problems
• PR: dependency bump

  Pull requests that update a dependency file
• PR: keep updated

  Magic flag for pull requests to ask Mergify to merge head into the PR branch for you
• PR: ready to merge

  Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run
• PR: submodule bump

  Pull requests that include a submodule bump
• priority

  High-priority issues
• regression

  Something that used to work, but now doesn't
• subproject

  Issues involving one of the various subprojects SAW depends on
• subsystem: crucible-jvm

  Issues related to Java verification with crucible-jvm
• subsystem: crucible-llvm

  Issues related to LLVM bitcode verification with crucible-llvm
• subsystem: crucible-mir

  Issues related to Rust verification with crucible-mir and/or mir-json
• subsystem: crucible-mir-comp

  Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp
• subsystem: cryptol-saw-core

  Issues related to Cryptol -> saw-core translation with cryptol-saw-core
• subsystem: hardware

  Issues related to verification of hardware
• subsystem: heapster

  Issues specifically related to memory verification using Heapster
• subsystem: MRSolver

  Issues related to the Mr. Solver monadic-recursive solver in Heapster
• subsystem: saw-core

  Issues related to the saw-core representation or the saw-core subsystem