We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Exclude some GPGPU tests from the test suite, as vercors is missing some features to verify them
Remove usage of blockDim, as it is not yet working properly
Move include to its own line to avoid the clang bug where the include is not expanded if it is preceded by a comment
Add non-nullability, maybe that fixes the errors when running the file
Adjust GPGPU verification to be closer to verifiable code
Updated GPGPU Verification (markdown)
Updated GPGPU (markdown)