Commit 5dae10c2 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

upgrade to ltl3dra 0.3.0

parent 7dc21dab
Pipeline #5071 failed with stage
in 24 seconds
......@@ -32,14 +32,14 @@ For convenience, the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.2.8 (GPL 2)
- ltl3dra 0.3.0 (GPL 3)
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
- Seminator 1.2.0 (GPL 3)
- Owl 18.06 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1)
- spin @SPINVERSION@ (BSD 3-clause)
- divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2)
- divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2)
- spins 1.1 (Apache license 2.0)
All of these can interact with the shell commands or Python bindings
......
......@@ -34,7 +34,7 @@ cd ..
rm -rf ltl3ba-$V ltl3ba-$V.tar.gz
# LTL3DRA
V=0.2.8
V=0.3.0
wget https://github.com/xblahoud/ltl3dra/archive/v$V.tar.gz -O ltl3dra-$V.tar.gz
tar xvf ltl3dra-$V.tar.gz
cd ltl3dra-$V
......
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