Minor mistake in section 3.5.2 about acsl-by-example HOT 7 CLOSED

Yes, you are right. We will fix this. Thanks a lot!

from acsl-by-example.

You are welcome. Another very minor thing: Under Listing 3.23, it reads: "The loop invariant not_foundis ... ". It needs a space between 'not_found' and 'is'.

I plan to go through the whole book but it will take me a while because I can only do it in my spare time. If the source code of the pdf is in latex and you make it available, I could submit patches if I run into anything else.

from acsl-by-example.

Again thanks a lot. I fixed it in our development version. We will provide a new release soon.
So you shouldn't be surprised when your gtihub handle appears in he changes section!-)

I hope it doesn't bother your that we do not put the latex source on GitHub...

from acsl-by-example.

Regarding "EqualRanges": This problem occurred because we had a command "\equalrange" that expands to something like "equal_range" and a command "\equalranges" that expanded to "EqualRanges".
We have change the latter command (and similar commands) to "\EqualRanges" to avoid this confusion in future.

from acsl-by-example.

No worries. If you guys don't want to publish the latex source, that's fine. This is a great book and a great introduction to ACSL. The first time I tried Frama-C/ACSL was many years ago and I did not get very far. I think it will be a lot easier this time around because I can use your book as a reference. Thank you guys at Fraunhofer for putting it together.

from acsl-by-example.

Thank you for your nice comments. If you have time I would like to know more about your interest in Frama-C/ACSL. Perhaps, it's better when you write me an email: [email protected]

from acsl-by-example.

I see that the problem was fixed in 15.1.2. Therefore, I am closing this issue. Cheers

from acsl-by-example.