Hello everyone,
I have been quiet for a long time ... for 2 reasons:
(a) No nasty bugs were reported :-)
(b) I was writing a book this summer
Anyway, I have returned to my PC, solved 4 pending bugs and included
some improvements proposed by Sylvain Benilan.
You may now find (in the Files section) CLAIRE v3.3.36:
- solves a gc protection overflow problem that may occur with break
(...) inside a while
- uses a new set of tests for float alignment which is supposed to
be more portable (let me know :-))
- fixes a bug with but(s,x) found by FXJ
- the C++ name for error is now ClaireError
- a gc_protection bug found by Sylvain (l := list(...) inside a
GCLOOP) is solved.
Cheers,
-- Yves Caseau