version 1.121, 2013/03/23 16:08:28
|
version 1.127, 2013/03/26 09:04:32
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
Only formatted and flow files are supported. |
Only formatted and flow files are supported. |
|
|
|
Corriger les dépassements dans NEG. |
|
Mettre le drapeau de debug dans la pile système pour pouvoir sauter |
|
les fonctions appelées lors d'un HALT/CONT. |
|
|
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
"standard*(*)" ]> ]> } |
"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. |
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)) |
Line 28 sys/un.h
|
Line 24 sys/un.h
|
regex.h |
regex.h |
termios.h |
termios.h |
|
|
Ajouter une évaluation dans GET et PUT 'X' { I } get |
Ajouter une évaluation des listes. |
|
|
|
3 'D(4)' sto/save |
|
<< 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une |
|
matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation() |
|
puis on l'enregistre. |
|
|
Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS |
Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS |
Mettre un masque des signaux dans structure_processus et les |
Mettre un masque des signaux dans structure_processus et les |