version 1.153, 2014/07/26 09:58:02
|
version 1.165, 2015/03/23 17:09:42
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
|
|
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
Rajouter un type pour les entier, réels et complexes longs |
|
123~23 valeur~nombre_de_bits |
|
|
|
1 -> Y 'Z' ne renvoie pas 'nom implicite indéfini' |
|
|
|
Mettre un allocateur dans lib$motif |
|
(tableau avec une liste chaînée des éléments disponibles, si liste vide, on |
|
réalloue et on maintient la liste triée.) |
|
|
Ajouter EQV |
Mettre un allocateur pour les chaînes. Ne pas oublier de le modifier aussi |
|
dans rplexternals.h |
|
|
|
Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h |
|
|
Ne passe pas sur une socket. |
Ne passe pas sur une socket. |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 |
Line 24 ABORT ne lance pas ATEXIT.
|
Line 34 ABORT ne lance pas ATEXIT.
|
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
"standard*(*)" ]> ]> } |
"standard*(*)" ]> ]> } |
|
|
[[1 2 ]]3 valide OK |
|
[[ 1 2]] valide OK |
|
{{ 3 }} invalide OK |
|
{ 5} invalide OK |
|
{5 } valide OK |
|
{5} invalide OK |
|
<[5 ]> valide OK |
|
<[ 5]> invalide OK |
|
<[4 ]>5 valide OK |
|
{{ 5 } } valide OK |
|
{ { 5 }} invalide OK |
|
"lkj"4 valide OK |
|
|
|
{<[{5 } ]>} OK |
|
{<[{5 }]> } KO |
|
|
|
[ [ 4 ]] OK |
|
[[ 4 ]] OK |
|
[[ 4 ] ] OK |
|
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
Ajouter la translitération dans l'écriture des fichiers. |
Ajouter la translitération dans l'écriture des fichiers. |