Skip to content

dio4ev/ctrl

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Welcome to CTRL.

Before compiling, check if you have at least
 - ocaml 4.05
 - camlidl 1.05

The following things may already be available on your machine:
 - gcc-c++ (provides g++ 4.4.4)
 - zlib-devel 
 - glibc-static 2.12-1(if you compile static)
 - libxslt-devel
 - libxml-devel

To compile, type

 $ make

To run the tool, type
 
 $ ./ctrl <file>

After successful compilation you can type

 $ make clean

to clean up compiled sources.

The website of the tool is http://cl-informatik.uibk.ac.at/software/ctrl/
You can contact the author at [email protected]
The supplied smt-solver is Z3, and can be downloaded (including source) at http://z3.codeplex.com/
It is also called by the script external, which may be modified accordingly.

Note:
In case you have an earlier Ocaml version, it might help to drop the Expand
constructor in the type Arg.spec (currently, lines 140 in util.mli and 46 of
argx.ml in the src/util/src directory).

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 98.1%
  • Other 1.9%