version 1.110, 2013/03/11 13:45:53
|
version 1.112, 2013/03/15 11:37:25
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
Only formatted and flow files are supported. |
Only formatted and flow files are supported. |
|
|
|
Corriger toutes les ABS() sur des entiers pour tester le cas |
|
abs(-128) en 8 bits par exemple... |
|
|
|
Ajouter le format NATIVE pour les expressions et les fonctions. |
|
|
|
{ "character*(*)" } |
|
|
|
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
|
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
|
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
|
"standard*(*)" ]> ]> } |
|
|
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 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 |
|
|
|
Pour OpenVMS : |
Pour OpenVMS : |
Trouver les includes pour : |
Trouver les includes pour : |