#################################################################################
# Copyright (c) 2012 Brandon Gibson
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
#################################################################################


# "featureName" property - name of the feature
featureName=PTP Graphical Inquisitor of GPU Programs (GIG)

# "providerName" property - name of the company that provides the feature
providerName=Eclipse PTP

# "description" property - description of the feature
description=Integrates the Gauss Research Group's tool (called GKLEE) that does a formal verification of CUDA programs.

# copyright
copyright=\
Copyright (c) 2012 Brandon Gibson\n\
All rights reserved. This program and the accompanying materials\n\
are made available under the terms of the Eclipse Public License v1.0\n\
which accompanies this distribution, and is available at\n\
http://www.eclipse.org/legal/epl-v10.html\n