Automatic complexity analysis tool for Jinja bytecode
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/Tct
tct-jbc
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
stack.dev.yaml
stack.yaml
tct-jbc.cabal

README.md

##tct-jbc 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.

##Requirements

Executables:

Other packages

The tool is only tested under GNU/Linux.

###Installation

####Using Stack We recommend using stack with the accompanied stack.yaml file. To build and install the package run following command:

stack install tct-jbc

###Example Usage The installation provides an executable tct-jbc.

tct-jbc examples/minsort.raml.trs

For full options, run tct-jbc --help.