Skip to content

Latest commit

 

History

History
59 lines (41 loc) · 3.6 KB

README.md

File metadata and controls

59 lines (41 loc) · 3.6 KB
Raw

CACTI

This repository holds the code, specific to each compiler, that is necessary to:

  • Test the compilers ability to correctly parse the input source code
  • Test the compilers ability to correctly generate a source file with an identical structure to the one input by the user

About CACTI

CACTI (Compiler Analysis, Comparison & Testing Infrastructure) is a project being developed by four software-engineering students, for the Capstone Project curricular unit.

As the name suggests, CACTI wishes to study and compare the capabilities of different compilers, by collecting/creating several input C and C++ files that represent various functionalities of each language, and by defining and implementing tests for each transpiliation task (parsing, code generation, querying and transformation).

Members

Students

  • Fábio Morais (202008052) - Faculty of Engineering, University of Porto, Portugal
  • Francisco Prada (202004646) - Faculty of Engineering, University of Porto, Portugal
  • Guilherme Sequeira (202004648) - Faculty of Engineering, University of Porto, Portugal
  • Pedro Ramalho (202004715) - Faculty of Engineering, University of Porto, Portugal

Tutors

  • João Bispo - Faculty of Engineering, University of Porto, Portugal
  • Luís Sousa - Faculty of Engineering, University of Porto, Portugal

How to run

In order to launch CACTI, you may run the following command:

$ python3 cacti.py -S <source_path> -T <transpiler_name>

CACTI offers a sample of mandatory arguments (like the ones above, -S and -T), as well as some additional flags, in order to customize the output. Below is an explanation of the current implemented arguments and flags:

  • -S <source_path> - specify the path to the source files which are to be tested
  • -T <transpiler> - the name of the transpiler which is to be tested
  • --vi, --vc - enable verbose idempotency & correctness, respectively
  • --std <CXX> - specify the C/C++ standard to be used
  • --opt <O> - specify the optimization flag that is to be used by Clang's emit_llvm flag (e.g, O0)
  • --it <N> - specify the maximum number of idempotency tries
  • --of <path> - specify the directory where the output should be generated in. Current working directory by default.

Dependencies

In order to run our project some dependencies are required:

  • Python 3.10.6 or above
  • The Progressbar2 pip package
  • The colorama pip package
  • The transpilers that you wish to test (e.g. clava)

Additionally, if you wish to convert the generated LaTeX report to a pdf some additional LaTeX packages may be needed to be installed in your system, such as texlive-core, pdflatex, texlive-bibtex-extra in apt.

Sources

  • cppreference - Most of the source files in this repository were adapted from the example code available here.
  • ChatGPT - Some source files may include code generated by chatGPT.

Exceptionally, other sources are documented on the corresponding file.