2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00
2018-12-06 16:01:56 +01:00

What are the prerequisites to build altarica_epoch?

On Linux Ubuntu 16.04.1 LTS, the following packages are required to build altarica_epoch: build-essential, flex, bison, cmake, gcc/g++/gfortran 5.4.0, libsuitesparse-dev, libxml-dev, libglib2.0-dev, libsigc++-2.0-dev, libglibmm-2.4-dev, libxml++2.6-dev and pkg-config.

sudo apt install build-essential flex bison cmake gcc-5 g++-5 gfortran-5 libsuitesparse-dev libxml-dev libglib2.0-dev libsigc++-2.0-dev libglibmm-2.4-dev libxml++2.6-dev pkg-config

How to build altarica_epoch?

altarica_epoch uses CMake build system. It can be built with the following commands:

cd altarica_epoch
cmake ./CMakeList.txt
make

How to launch altarica_epoch?

You can get the inline help with:

src/console/epochnogui --help
Description
This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
Readme 4.6 MiB
Languages
C++ 85.3%
C 8.8%
Shell 4.4%
CMake 0.7%
Makefile 0.4%
Other 0.2%