--- rpl/ChangeLog 2013/03/21 14:13:54 1.163 +++ rpl/ChangeLog 2013/03/23 16:14:39 1.164 @@ -1,4 +1,6 @@ * Tue Dec 18 2012 BERTRAND Joël rpl-4.1.13 (RPL/2) +- major bug (segfault) is fixed in liste_variables(). It only occurs +when this function is called with shared variables; - all internal data are now stored in 64 bits wide integers (even is 32 bits ABI is selected); - major bug is fixed in recherche_instruction_suivante(). In some