troufflard f4e780d194 modif scripts verifier_exeHZ.pl et Perl/test.pl : gestion de l interruption ctrl+c en cours de batterie (desormais, l interruption est bien maitrisee avec verifier_exeHZ.pl. Avec verifier_exeHZ.zsh, ca fonctionne grace aux modifs de Perl/test.pl mais le script verifier_exeHZ.zsh ne contient en lui-meme aucune modif pour gerer ctrl+c, donc pas fiable); Doc utilisateur : modif de la section 4 qui est maintenant divisee en 2 sous-sections (l une pour expliquer le lancement de la batterie et l autre pour faire quelques commentaires sur l interruption ctrl+c)		2016-03-11 16:47:39 +00:00
..
genere_catalogue_tests.pl	modif script Perl/genere_catalogue_tests.pl : meilleure gestion des pb de compilation pdflatex	2016-02-12 15:02:51 +00:00
genere_rapport.pl	1) comparaison maple : maintenant les grandeurs sont arrondies a 1e-12 pres (pour gerer le cas de nombres tres petits. Par exemple : 1e-31 par rapport 1e-15 va generer un ecart relatif enorme, donc un ECHEC, ce qui n est pas logique); 2) petites corrections et ameliorations mineures (voir detail des modifs dans doc_procedure_verification.pdf section 6 2015-11-25(bis))	2015-11-25 14:39:29 +00:00
test.pl	modif scripts verifier_exeHZ.pl et Perl/test.pl : gestion de l interruption ctrl+c en cours de batterie (desormais, l interruption est bien maitrisee avec verifier_exeHZ.pl. Avec verifier_exeHZ.zsh, ca fonctionne grace aux modifs de Perl/test.pl mais le script verifier_exeHZ.zsh ne contient en lui-meme aucune modif pour gerer ctrl+c, donc pas fiable); Doc utilisateur : modif de la section 4 qui est maintenant divisee en 2 sous-sections (l une pour expliquer le lancement de la batterie et l autre pour faire quelques commentaires sur l interruption ctrl+c)	2016-03-11 16:47:39 +00:00
verif_existence_repertoire_test.pl	modif de l en-tete des scripts .pl et .verif (voir section evolution des modifs dans catalogue_tests.pdf); correction d un petit bug dans 2 tests UTILITAIRES (consequence d un ancien conflit cvs)	2015-09-30 22:56:53 +00:00