Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Semantics for CUDA-C in K.
OCaml Perl C Objective-C Shell
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
examples
parser
scripts
semantics
LICENSE
Makefile
README
README-C

README

This is a semantics of Nvidia's CUDA-C implemented using the K framework term
rewriting system.

It's a fork of Chucky Ellison's C semantics with changes and additions to
support various features of Nvidia's "nvcc" compiler. In addition to the
special kernel launch syntax ("<<< >>>") and various attributes ("__device__",
"__shared__", etc.), many functions from the CUDA Runtime API are at least
partially supported. See semantics/includes/cuda.h for some clues about the
current state of things.

Installation and build instructions can be found in the README from Chucky's C
semantics ("README-C"), although we've renamed the frontend to the generated
interpreter to "cudak" (from "kcc") and made some other minor changes to the
build system to avoid conflict or confusion with the vanilla-C semantics. As
mentioned in README-C, make sure to download the K Framework version 2.7 and
not the latest version.

Race checking and other properties of the semantics can be configured in
semantics/cuda-properties.k.

Chris Hathhorn, chathhorn@gmail.com
Something went wrong with that request. Please try again.