The Intl. Termination Competition 2014 http://termination-portal.org/wiki/Termination_Competition_2014 will be run on http://www.starexec.org .
Our Web App will provide these extra features:
- computation and display of results per category, and medalists per meta-category
- flexible 2-dimensional results tables (x-axis: solver, y-axis: benchmark) (with filters for rows and columns, sorters, etc.)
- caching (and permanent storage) of results (we intend to include also results of earlier competitions)
This branch is running at the moment here.
git clone https://github.com/jwaldmann/star-exec-presenter
make install
You also need Graphviz on your system.
make create-db
Please create the file '.star_exec' in your home directory with your starexec account credentials. This file must contain the following line:
Login ">login<" ">password<"
make run
clear db:
sudo -u postgres dropdb yesod
access db:
sudo -u postgres psql -d yesod
how to build documentation (locally)
stack haddock --haddock-arguments="--hyperlinked-source --ignore-all-exports" --haddock-deps