Ranking Functions Finder
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs
nodeproperties
partialevaluation
termination
test
.gitignore
.project
.pydevproject
.travis.yml
CFRefinement.py
CHANGES.txt
LICENSE.txt
README.md
irankfinder.py
runexamples.py
setup.py
version.txt

README.md

pyRankFinder

Ranking Functions Finder

pyRankFinder is a python module which try to find Ranking Functions to analyse termination and nontermination of program's loops.

This module has three main python-module dependencies:

  • pyLPi
  • pyParser
  • pplpy

How to Install

Check the installation info here.

How to Use

There are two ways to execute this tool.

The main file is irankfinder.py, you can run this command to get all the information:

$ python irankfinder.py --help

The second way is: including the module termination

import termination
# config must be a dictionary with all the information needed
termination.analyse(algorithms, cfg)
# or for non termination
termination.analyse_nontermination(algorithms, cfg)
# where algorithms is a list of algorithm objects from termination.algorithm

You can also run a concrete algorithm, but it is not recomended.

from termination.algorithm.lrf import PR

lrf_pr = PR()
lrf_pr.run(cfg)

Statically-Linked Binary

Check this url.