mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58 stars 15 forks source link

Support for building and testing on TravisCI #9

Closed jeroenk closed 6 years ago

jeroenk commented 6 years ago

Please comment, but do not merge (my private Github account has been hard coded twice, and this should be fixed before merging)

Note that the gvfindtools file has some XXXs. These lines are only relevant when deploying. I will fix these up once I start working on that.