From 20c69ad457fe0669eb883d2bf64bfa0a6e6527f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Pedro?= Date: Tue, 20 Feb 2018 00:13:07 +0000 Subject: [PATCH] Fixes the Z3 build version and the version link of the readme file. --- .travis.yml | 3 ++- readme.md | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 2f60e06..ac59ea6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,7 +1,8 @@ language: c sudo: required install: - - wget https://raw.githubusercontent.com/anmaped/rmtld3synth/dev/.travis-opam.sh + - rm .travis-opam.sh + - wget https://raw.githubusercontent.com/anmaped/rmtld3synth/master/.travis-opam.sh script: - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo unlink /usr/bin/gcc && sudo ln -s /usr/bin/gcc-5 /usr/bin/gcc ; fi diff --git a/readme.md b/readme.md index 163e128..e4c3476 100644 --- a/readme.md +++ b/readme.md @@ -24,7 +24,7 @@ For instance, schedulability analysis of hard real-time systems is possible by s ### Tarball binaries for Windows -Current version is [0.3-alpha1](../../releases/download/v0.3-alpha1/release-0.3.zip?raw=true). +Current version is [0.3-alpha2](../../releases/download/v0.3-alpha2/release-v0.3-alpha2-windows64.zip?raw=true). Old version is [0.2-alpha](../../releases/download/v0.2-alpha/release-0.2.zip?raw=true). Let us begin by overviewing a monitor generation using the rmtld3synth tool. For this example, we adopt the use case one [available here](http://rawgit.com/cistergit/rmtld3synth/master/doc/usecase1.html) and the configuration file [`usecaseone`](/config/usecaseone?raw=true) containing the input formula and some intructions for the rmtld3synth to process. To generate the monitor(s), we just need to type the following command in the command shell.