|
version 1.110, 2013/03/11 13:45:53
|
version 1.111, 2013/03/12 16:16:24
|
|
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... |
| |
|
| 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. |
Traiter l'échappement des guilles dans BACKSPACE par une machine à états. |
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to LIMITATIONS CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl