issues
search
mc-imperial
/
gpuverify
GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Data race reported on CAS-lock implementation
#55
teppanyakii
closed
6 months ago
2
Move predication from Boogie to GPUVerify
#54
afd
closed
2 years ago
0
Move predication from Boogie project into GPUVerify
#53
afd
closed
2 years ago
0
Partially expose GPUVerifyErrorReporter
#52
jeroenk
closed
2 years ago
0
Simplify string timming for source locations
#51
jeroenk
closed
2 years ago
0
Fix typo in documentation
#50
jeroenk
closed
2 years ago
0
Changing Access Modifiers
#49
cs17resch01003
closed
2 years ago
4
Minor cleanup
#48
jeroenk
closed
2 years ago
0
Minor clean up in error reporter - Part 2
#47
jeroenk
closed
2 years ago
0
Minor clean up in error reporter
#46
jeroenk
closed
2 years ago
0
Update baseline.pickle
#45
jeroenk
closed
2 years ago
0
Remove dead code
#44
jeroenk
closed
2 years ago
0
Require Python 3
#43
jeroenk
closed
2 years ago
0
Update testsuite pickle
#42
jeroenk
closed
2 years ago
0
Switch from Travis to GitHub actions
#41
jeroenk
closed
2 years ago
1
Adding support for CUDA Cooperative Groups API
#40
cs17resch01003
closed
2 years ago
2
Changing Access Modifiers
#39
cs17resch01003
closed
2 years ago
4
Adding support for CUDA Cooperative Groups API
#38
cs17resch01003
closed
3 years ago
2
Crash after filling up all memory (32GB) by solver
#37
webmaster128
closed
5 years ago
6
Add "Building from source" to README
#36
webmaster128
closed
5 years ago
2
GPUVerify: an internal error has occurred / System.IO.IOException
#35
webmaster128
closed
5 years ago
20
Could not load type 'GPUVerify.GPUVerifyVCGenCommandLineOptions' from assembly
#34
webmaster128
closed
5 years ago
3
Add test cases for proper atomic modelling
#33
jeroenk
closed
6 years ago
0
Add async_work_group_copy test cases for array modelling
#32
jeroenk
closed
5 years ago
1
Speculate that a write of a single constant value in a loop maintains that value
#31
jeroenk
closed
6 years ago
2
Fresh array tests and documenation stub
#30
jeroenk
closed
6 years ago
1
Bugle cannot handle libclc's vstore_half with rounding
#29
jeroenk
opened
6 years ago
0
Add support for warpSize
#28
jeroenk
closed
6 years ago
0
Add additional test cases for the struct simplification pass
#27
jeroenk
closed
6 years ago
0
async_work_group_copy with destination of mixed type not supported
#26
robinchrist
closed
5 years ago
13
Address the second issue in #1
#25
jeroenk
closed
6 years ago
0
Address the first issue from #1
#24
jeroenk
closed
6 years ago
0
accessedOffsetInRangeCTimesLid and accessedOffsetInRangeCTimesGid invariant generation rules never trigger
#23
jeroenk
opened
6 years ago
0
Enable array bounds checking by default
#22
jeroenk
opened
6 years ago
0
Verification plan for invariant generation
#21
jeroenk
opened
6 years ago
0
Access-by-access analysis
#20
jeroenk
opened
6 years ago
0
Investigate incremental analysis
#19
jeroenk
opened
6 years ago
0
Introduce program slicing
#18
jeroenk
opened
6 years ago
0
Support the global barrier concept
#17
jeroenk
closed
2 years ago
1
Support the OpenCL C++ kernel language
#16
jeroenk
opened
6 years ago
0
Support CUDA mixed host/device source files
#15
jeroenk
opened
6 years ago
1
Add support for OpenCL 2
#14
jeroenk
opened
6 years ago
0
Fix power-of-2 invariants for arbitrary bitwidths and speculate relational invariants for 64-bit bitwidths
#13
jeroenk
closed
6 years ago
0
Fix the handling on refined atomics acting on local memory
#12
jeroenk
closed
6 years ago
2
Add StyleCop.Analyzers support
#11
jeroenk
closed
6 years ago
10
Add visitor for simplifying Boolean and bitvector expressions
#10
jeroenk
closed
6 years ago
5
Support for building and testing on TravisCI
#9
jeroenk
closed
6 years ago
0
Check that OpenCL's vload_half and vstore_half still work when we upgrade to LLVM 6.0
#8
jeroenk
closed
6 years ago
1
Method getIncludes on class GPUVerifyInstance maybe have bug.
#7
CrazyUmka
closed
7 years ago
1
fdim is not implemented
#6
VincentSC
closed
8 years ago
3
Next