-
Notifications
You must be signed in to change notification settings - Fork 63
No labels!
There aren’t any labels for this repository quite yet.
52 labels
better-when-documented
better-when-documented
Issues whose root causes include missing or wrong documentation
documentation debt
documentation debt
Documentation tasks previously deferred, postponed, etc.; technical debt in documentation
easy
easy
Issues that are expected to be easy to resolve and might therefore be good for new contributors
maybe fixed
maybe fixed
Issues where there's reason to think they might be fixed but that still requires confirmation
missing cryptol features
missing cryptol features
Issues about features in Cryptol that don't work in SAW
obsolete
obsolete
Issues that involve/depend on deprecated code, such that they are not worth pursuing
PR: keep updated
PR: keep updated
Magic flag for pull requests to ask Mergify to merge head into the PR branch for you
PR: ready to merge
PR: ready to merge
Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run
subsystem: crucible-jvm
subsystem: crucible-jvm
Issues related to Java verification with crucible-jvm
subsystem: crucible-llvm
subsystem: crucible-llvm
Issues related to LLVM bitcode verification with crucible-llvm
subsystem: crucible-mir
subsystem: crucible-mir
Issues related to Rust verification with crucible-mir and/or mir-json
subsystem: crucible-mir-comp
subsystem: crucible-mir-comp
Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp
subsystem: cryptol-saw-core
subsystem: cryptol-saw-core
Issues related to Cryptol -> saw-core translation with cryptol-saw-core
subsystem: heapster
subsystem: heapster
Issues specifically related to memory verification using Heapster
subsystem: MRSolver
subsystem: MRSolver
Issues related to the Mr. Solver monadic-recursive solver in Heapster
subsystem: saw-core
subsystem: saw-core
Issues related to the saw-core representation or the saw-core subsystem
subsystem: saw-core-coq
subsystem: saw-core-coq
Issues related to converting saw-core to Gallina for use with the Coq/Rocq theorem prover