1. How do I download and run Cetus?

Current version of Cetus can be downloaded via the Download page above. Instructions on how to run cetus have been provided in the Cetus 2.0 Release notes and the Readme file accompanying the Cetus download.

2. Having problems compiling Cetus?

The source code for Cetus is located in the /src/ directory of your download version. Several options are provided to compile Cetus, these are provided in the Cetus release notes, and will be made available via the manual that is under development. One of the most important issues to look out for is the java classpath environment variable. While using each of the build scripts provided with the download, please ensure that you are setting the environment variables correctly to point to the locations that contain the libraries. This tutorial on Oracle is a good resource to learn more about PATH and CLASSPATH variables and how to set them.

3. What tools do I require in order to run Cetus? You will need to have the following installed on your computer: – JAVA 2 SDK, SE 1.6.x (or later) – ANTLRv2 (provided with the Cetus distribution) – C development environment (C preprocessor, C standard library, C compiler. – GCC is recommended) Note: We have tested Cetus with OpenJDK version – 11.0.4 (released in 2019), on Ubuntu linux 21.0.4. The command line version has no issues but the GUI version is dysfunctional on Linux and Windows with the Windows Subsystem for Linux. For developers and pass writers, visual studio code would be the best IDE for development.

4. How do I report bugs that I have come across? You can report a bug by raising an issue under the “Issues” tab on the Cetus Github page.

5. What benchmarks can I test Cetus on? You can test Cetus on benchmark codes from the following suites:

  1. NAS Parallel benchmarks from NASA – (C version)
  2. SPEC CPU 2017
  3. SPEC OMP 2012
  4. SuiteSparse benchmark suite
  5. DataRaceBench
  6. Polybench benchmarks