Commit abc2b598 authored by Maximilien Colange's avatar Maximilien Colange

Merge branch 'packaging'

parents c9ef10bf 0ee6d4c0
TiAMo (Timed Automata Model-checker) TiAMo (Timed Automata Model-checker)
==================================== ====================================
[M. Colange](http://lsv.fr/~colange) [M. Colange](http://lsv.fr/~colange)
[O. Sankur](http://people.irisa.fr/Ocan.Sankur/) [O. Sankur](http://people.irisa.fr/Ocan.Sankur/)
This tool is also based on the DBM library from [Uppaal](http://people.cs.aau.dk/~adavid/UDBM/index.html) (part of the udbml library), TiAMo is also based on the [DBM library from Uppaal](http://people.cs.aau.dk/~adavid/UDBM/index.html) (part of the udbml library),
and on the [timed automata parser library from Uppaal](http://people.cs.aau.dk/~marius/utap/). and on the [timed automata parser library from Uppaal](http://people.cs.aau.dk/~marius/utap/), distributed with TiAMo.
The name of the authors and contributors of these libraries can be found in their The name of the authors and contributors of these libraries can be found in their
respective folders. respective folders.
Both libraries have been adapted by M. Colange (essentially to drop dependency on Boost, Both libraries have been adapted by M. Colange (essentially to drop dependency on Boost,
and to work with C++11). and to work with C++11).
TiAMo is developed and funded by the ERC Project [Equalis](http://www.lsv.ens-cachan.fr/~bouyer/equalis/).
INSTALLATION NOTES
Installation Notes
------------------ ------------------
Requires ocaml and ocamlbuild (you can obtain them through opam). Requires ocaml and ocamlbuild (you can obtain them through opam).
Requires libxml2 (for the parser). Requires libxml2 (for the parser).
Requires a C++11-compatible compiler. Requires a C++11-compatible compiler (successfully tested with gcc-4.7, gcc-4.8, gcc-4.9 and gcc-5.3.0).
Tested (and works fine) with gcc-4.7, gcc-4.8, gcc-4.9 and gcc-5 (5.3.0).
- install [udbml](http://github.com/osankur/udbml.git) - install [udbml](http://github.com/osankur/udbml.git)
- install TiAMo - install TiAMo
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment