Skip to content

ComputationWithBoundedResources/tct-hoca

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

tct-hoca

This executable is part of the Tyrolean Complexity Tool (TcT) and provides automatic complexity analysis of higher-order-systems. It bundles

Requirements

The tool is only tested under GNU/Linux.

Install

For building, you need ghc and stack. Execute stack build.

Usage

The installation provides an executable tct-hoca. For full options, run tct-hoca --help.

About

Automatic complexity analysis tool for higher-order systems

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published