version 1.106, 2013/03/08 14:55:38
|
version 1.121, 2013/03/23 16:08:28
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
Only formatted and flow files are supported. |
Only formatted and flow files are supported. |
|
|
|
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
|
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
|
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
|
"standard*(*)" ]> ]> } |
|
|
|
Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères |
|
et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS |
|
ANALYSE_NOTATION_ALGEBRIQUE. |
|
|
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
|
Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit) |
|
So bug dans socket (cannot send) => pas d'erreur dans rplcore. |
|
sento => EAGAIN et EWOULDBLOCK |
|
|
|
Ajouter la translitération dans l'écriture des fichiers. |
|
|
À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) |
À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) |
SOCKET NON FORMATÉS |
|
|
|
Pour OpenVMS : |
Pour OpenVMS : |
Trouver les includes pour : |
Trouver les includes pour : |
Line 29 Chateaubriand.
|
Line 43 Chateaubriand.
|
Translitération des fichiers (avec un pointeur sur la localisation du fichier |
Translitération des fichiers (avec un pointeur sur la localisation du fichier |
dans la structure du fichier). |
dans la structure du fichier). |
|
|
Fait : complexe, entier, liste, réel |
|
|
|
Fichiers non formatés : restent à coder pour les écritures : |
Fichiers non formatés : restent à coder pour les écritures : |
* 0000 XXXX Binaire sur XXXX octets |
|
* 0010 00 00 vecteur integer*1 (dimensions integer*1) |
* 0010 00 00 vecteur integer*1 (dimensions integer*1) |
* 0010 01 00 vecteur integer*1 (dimensions integer*2) |
* 0010 01 00 vecteur integer*1 (dimensions integer*2) |
* 0010 10 00 vecteur integer*1 (dimensions integer*4) |
* 0010 10 00 vecteur integer*1 (dimensions integer*4) |
Line 65 Fichiers non formatés : restent à code
|
Line 76 Fichiers non formatés : restent à code
|
* 0011 01 11 matrice integer*8 (dimensions integer*2) |
* 0011 01 11 matrice integer*8 (dimensions integer*2) |
* 0011 10 11 matrice integer*8 (dimensions integer*4) |
* 0011 10 11 matrice integer*8 (dimensions integer*4) |
* 0011 11 11 matrice integer*8 (dimensions integer*8) |
* 0011 11 11 matrice integer*8 (dimensions integer*8) |
* 0101 0 XXX nom de longueur XXX |
|
* 0101 10 LL nom de longueur integer*LL |
|
* 0110 0 XXX expression RPN |
|
* 0110 10 LL |
|
* 0111 0 XXX expression algébrique |
|
* 0111 10 LL |
|
* 1000 0 XXX chaîne de caractères |
|
* 1000 10 LL |
|
* 1001 0 XXX table de longueur XXX |
* 1001 0 XXX table de longueur XXX |
* 1001 10 00 table de longueur integer*1 |
* 1001 10 00 table de longueur integer*1 |
* 1001 10 01 table de longueur integer*2 |
* 1001 10 01 table de longueur integer*2 |