Hello everyone,
Please find here a new version of CLAIRE: v3.3.26.
It fixes the bug reported by Sylvain (safety 1 => seg fault) and
includes a few goodies, since it turns out that I will not produce a
v3.4 soon:
(1) print_in_string can be called recursively, with no limits!
(2) MAX_INTEGER is defined
(3) the -os option is added to modify compiler.safety in the command
line
I also took Sylvain's correction for RANDOM on unix
Enjoy,