• Erwan Jahier's avatar
    lurette 0.64 Fri, 10 May 2002 16:32:32 +0200 by jahier · 458e1508
    Erwan Jahier authored
    Parent-Version:      0.63
    Add support for loop Gauss.
    Fix a bug in the handling of loops where lurette (and ima_exe) was
    stopping whenever the body of a loop contains no satisfiable formula
    whereas the endLoop branch should be taken in that case.
    Project-Description: Lurette
parse_env.ml 18 KB