-
Erwan Jahier authored
Parent-Version: 0.57 Version-Log: Clean up Makefiles for lurette and ima_exe. Make sure that gen_stubs does not recompile the fake oracle (always_true.lus) if it is not necessary. Project-Description: Lurette
03ffa20e
Parent-Version: 0.57 Version-Log: Clean up Makefiles for lurette and ima_exe. Make sure that gen_stubs does not recompile the fake oracle (always_true.lus) if it is not necessary. Project-Description: Lurette