Skip to content

No labels!

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

aarch32
aarch32
bug
bug
Something isn't working
cond. equivalence
cond. equivalence
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
equivalence
equivalence
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
memory model
memory model
ppc32
ppc32
PowerPC (32 bit) issues
presentation
presentation
Related to making verifier output understandable
question
question
Further information is requested
refine abstraction level
refine abstraction level
Abstraction level too high
semantics
semantics
stale
stale
Review - close as 'wontfix' or integrate into other ticket
Strongest Postcondition Verifier
Strongest Postcondition Verifier
testing
testing
Tests or related to testing infrastructure
wontfix
wontfix
This will not be worked on