GitHub - hengsok/gpuv-eclipse-plugin: This is a project done by a group of 5 Imperial College students which made the life of OpenCL developers easier by building an IDE for them. Included is the ability to run GPUVerify, a project by Alastair F. Donaldson(Leader), Adam Betts, Jeroen Ketema, Peter Collingbourne.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 279 Commits
images		images
javascripts		javascripts
nightly_binary_build		nightly_binary_build
stylesheets		stylesheets
workspace		workspace
index.html		index.html
params.json		params.json

About

This is a project done by a group of 5 Imperial College students which made the life of OpenCL developers easier by building an IDE for them. Included is the ability to run GPUVerify, a project by Alastair F. Donaldson(Leader), Adam Betts, Jeroen Ketema, Peter Collingbourne.

hengsok.github.com/gpuv-eclipse-plugin/