-
Erwan Jahier authored
Parent-Version: 0.63 Version-Log: 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
458e1508