8000 Labels · p-org/PSharp · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Aug 26, 2022. It is now read-only.

No labels!

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

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
usability
usability
Issue or update regarding usability
6
bug
bug
Something isn't working
6
tools
tools
Request or feature related to the tools
5
controlled-testing
controlled-testing
Feature related to controlled testing
5
compiler
compiler
Feature related to the compiler
5
language-design
language-design
Feature related to the language design
4
runtime
runtime
Feture related to the runtime
3
documentation
documentation
New or updated documentation
1
wontfix
wontfix
This will not be worked on
tests
tests
Additions or updates in the tests
samples
samples
Additions or updates in the samples
question
question
Further information is requested
performance
performance
Issue or update related to performance
help wanted
help wanted
Extra attention is needed
duplicate
duplicate
This issue or pull request already exists
cleanup
cleanup
Cleaning up the codebase
0