Commit dc1d10bc authored by Point Gerald's avatar Point Gerald
Browse files

chg: last fixes before releasing 1.7

parent dbb480bd
......@@ -4,6 +4,10 @@ This file is a brief description of changes in this new release of ARC.
Details can be found in the ChangeLog file.
* arc 1.7.0
** New Features
- Move gitub.u-bordeaux.fr
- Add a docker image that permits to run altarica-studio
** Bug fixed/Improvements
- fixes from 1.6 version
* arc 1.6.2
......
......@@ -12,7 +12,7 @@
@include macros.texi
@copying
This document is the manual for the ARC tool version 1.6.@*
This document is the manual for the ARC tool version 1.7.@*
Permission is granted to copy and/or distribute this document.
@sp 1
LaBRI - CNRS UMR 5800 - Université Bordeaux@*
......@@ -23,7 +23,7 @@ FRANCE
@titlepage
@title AltaRica Checker Handbook
@subtitle user-guide for ARC 1.6
@subtitle user-guide for ARC 1.7
@subtitle @today{}
@flushright
@image{altarica,4cm,,,.png}
......
doc/labri.png

1.9 KB | W: | H:

doc/labri.png

28.2 KB | W: | H:

doc/labri.png
doc/labri.png
doc/labri.png
doc/labri.png
  • 2-up
  • Swipe
  • Onion skin
......@@ -2,4 +2,3 @@ Property is not satisfied by initial configurations.
A counterexample of the property is:
s = false, f = false
s = false, f = false belongs to 'not ([s = true])'
node A
node A
flow f : bool;
state s : bool; init s := false;
assert f => s; s => f;
edon
......
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