-
Erwan Jahier authored
Parent-Version: 0.69 Version-Log: ima_exe.ml: lurette.ml: env_state.ml: Factoring out code into two new functions, clear_step and clear_all. env_state.ml: Do not use to 2 ranges of indexes (one for atomic formula that depends on pre, one if it is not) but maintain a list a unused indexes instead. Project-Description: Lurette
da43be79