version 1.120, 2013/03/22 15:31:33
|
version 1.125, 2013/03/24 22:06:09
|
Line 1
|
Line 1
|
RESTRICTIONS |
RESTRICTIONS |
Only formatted and flow files are supported. |
Only formatted and flow files are supported. |
|
|
|
mutex foireux : mutex_creation_variable_partagee f1:554 |
|
variables_partagee 466 verrouillé. |
|
variables_partagee 523 verrouillé. |
|
|
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } |
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
Line 8 RESTRICTIONS
|
Line 12 RESTRICTIONS
|
|
|
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 24 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 |