Commit fd18f7e4 authored by Martin Clochard's avatar Martin Clochard

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3

Conflicts:
	examples/verifythis_2015_relaxed_prefix/why3session.xml
	examples/verifythis_2015_relaxed_prefix/why3shapes.gz
parents 2e81e82d 97ca55d8
......@@ -147,6 +147,10 @@ end
(* TODO / TO DISCUSS
- add set
s[i <- v] = s when i < 0 || i >= length s?
- what about s[i..j] when i..j is not a valid range?
left undefined? empty sequence?
......
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