Skip to content

No labels!

There aren’t any labels for this repository quite yet.

40 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
21
build system
build system
1
C++
C++
4
CI
CI
7
crucible
crucible
38
crucible-concurrency
crucible-concurrency
Issues related to crucible-concurrency or cruces
1
crucible-server
crucible-server
crux
crux
46
dependencies
dependencies
Pull requests that update a dependency file
1
discussion
discussion
3
documentation
documentation
2
duplicate
duplicate
enhancement
enhancement
26
go
go
2
help wanted
help wanted
1
invalid
invalid
jvm
jvm
9
libc
libc
4
llvm
llvm
71
low priority
low priority
3
macOS
macOS
Issues specific to macOS
memory-model
memory-model
14
MIR
MIR
Issues relating to Rust/MIR support
24
on-hold
on-hold
performance
performance
2
poison
poison
Issues touching on the LLVM concept of poison
2
question
question
1
research
research
Closing this may require new research
1
SV-COMP
SV-COMP
Issues related to making crux eligible to participate in SV-COMP.
11
symio
symio
Issues related to the symbolic IO backend
5