ctools

Comparison of source code verification tools. Online availble at ctools.exida.pl, pass exidademo

Compilation

From the project directory, execute:

$ make all

To launch|stop the framework, execute:

./ctools.sh start

or

./ctools.sh stop

ctools framework will be launched at the port 8000.

To log in and view the data, use password: exidademo.

Provide a description of required tools to be installed.
Provide additional installation procedures for scripts wrapping those tools usage

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
data		data
site		site
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
ctools.sh.in		ctools.sh.in
mnesia.patch		mnesia.patch
nitrogen_deps.patch		nitrogen_deps.patch