No description, website, or topics provided.
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.
ConvertImitator2Uppaal
benchmark
qbc
svm
._benchmark.xlsx
.gitignore
LICENSE
README.md
benchmark.xlsx
benchmark~.xlsx

README.md

PTA-LEARN Setup Guide

pre-requirement

  • git
  • cmake version 2.8 or later
  • "make" and otherLLVM essential building tools, you can add if needed

set up the directory

mkdir timed-automata
cd timed-automata

installation

> sudo apt-get install g++ m4 ocaml libextlib-ocaml libextlib-ocaml-dev libgmp-dev libgmp-ocaml libgmp-ocaml-dev libppl-dev openmpi-bin openmpi-common libopenmpi-dev oasis graphviz plotutils

ppl

> wget http://bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz
> tar -xvJf ppl-1.2.tar.xz
> cd ppl-1.2
> ./configure --prefix=/usr
> cd interfaces/OCaml/
> make
> sudo make install
> cd ../../..

imitator no later than Jun 12th, 2016

> git clone https://github.com/etienneandre/imitator.git imitator-git
> cd imitator-git
> git checkout 2a45bb9
> sudo cp METAS/* /usr/lib/ocaml/METAS/
> sh compile.sh
> cd ..
> ln -s imitator-git/bin/imitator imitator

install pta-learn and test

git clone https://github.com/lijiaying/pta-Learn.git
cd pta-learn/svm
./run.sh test/coffee.xml