version 1.106, 2013/03/08 14:55:38
|
version 1.109, 2013/03/11 11:07:24
|
Line 3 RESTRICTIONS
|
Line 3 RESTRICTIONS
|
|
|
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
|
Traiter l'échappement des guilles dans BACKSPACE par une machine à états. |
|
Ajouter la translitération dans l'écriture des fichiers. |
|
|
|
Ajouter un format NATIVE pour les expressions et les fonctions |
|
|
À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) |
À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) |
SOCKET NON FORMATÉS |
SOCKET NON FORMATÉS |
|
|
Line 71 Fichiers non formatés : restent à code
|
Line 76 Fichiers non formatés : restent à code
|
* 0110 10 LL |
* 0110 10 LL |
* 0111 0 XXX expression algébrique |
* 0111 0 XXX expression algébrique |
* 0111 10 LL |
* 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 |