This package is part of the Tyrolean Complexity Tool (TcT) and provides automatic complexity analysis of Jinja Bytecode (JBC).
This repository provides the tct-jbc library as well as the tct-jbc executable.
Executables:
Other packages
The tool is only tested under GNU/Linux.
We recommend using stack with the accompanied stack-XXX.yaml file.
To build and install the package run following command:
stack install tct-jbc
The installation provides an executable tct-jbc.
tct-jbc examples/minsort.raml.trs
For full options, run tct-jbc --help.