initial commit for README file
test
initial project frame (Hello World template) with an actionSet
very simple input interface
GUI Interface
Merge branch 'master' of ssh://gpu.mystage.me/home/gpu/project
main, InputTerminal and Echo added
empty
clean workspace, frame of the plugin
Dialogbox added
Finish configuration box with correct initialisation location and size. Implemented checkboxes.
Implemented extracting of args and pushed as commands to terminal.
test
Added argument file.
Merge branch 'master' of ssh://gpu.mystage.me/home/gpu/project
radix tree package added
Merge branch 'master' of ssh://gpu.mystage.me/home/gpu/project
Creating GPUVerify Project, Files and Perspective
added text box to config and done recently used
added text box to config and done recently used