• Checklist
• Getting CUBA
• Input Syntax
• Tutorial
• Benchmarks

1. Download

The artifact is up on Github. You can use the following command to check it out:

git clone -b pldi https://github.com/lpzun/cuba.git

Note: The above command clones the pldi branch.

2. Installation

We have

• source code on GitHub or in the src directory if you checked out the whole artifact (for installation, see below).


• executable binaries for the following platforms (unzip using unzip):
  

x86 Linux	x64 Linux	x64 Mac OSX
cuba-1.0-linux-x86.zip	cuba-1.0-linux-x64.zip	cuba-1.0-mac-osx.zip

Note: CUBA is being developed in C++11. Make sure that your compiler supports C++11 or above. CUBA has been successfully compiled with g++, clang and cygwin.

2.1 Install from source

The following assumes you have checked out the source code from GitHub.

make
cd bin
./cuba -h

You can use make clean to remove the object files. For a thorough cleanup, which also removes the executable, use make distclean.

2.2 Using the binaries

• Unpack the CUBA binary for your architecture from the .zip file above. This will produce a single file, the executable for the platform you chose.
• Run it.

The Tutorial tab contains more details about running the tool.

See here for the off-the-shelf programmer's guide in html format.

Generate programmer's guide

The documentation is automatically generated using doxygen. To (re-)generate the documentation, you must have doxygen installed on your machine. Assuming you have checked out the Artifact submission and entered the top-level directory,

1. cd doc

2. make

To remove the documentation, use

make clean