--- rpl/LIMITATIONS	2014/07/26 09:58:02	1.153
+++ rpl/LIMITATIONS	2015/01/12 17:00:53	1.159
@@ -1,8 +1,12 @@
 RESTRICTIONS
 
-Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
+Mettre un allocateur dans lib$motif
+(tableau avec une liste chaînée des éléments disponibles, si liste vide, on
+réalloue et on maintient la liste triée.)
+
+Mettre un allocateur pour les chaînes.
 
-Ajouter EQV
+Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
 
 Ne passe pas sur une socket.
 { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
@@ -24,25 +28,6 @@ ABORT ne lance pas ATEXIT.
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
-[[1 2 ]]3 valide OK
-[[ 1 2]] valide OK
-{{ 3 }} invalide OK
-{ 5} invalide OK
-{5 } valide OK
-{5} invalide OK
-<[5 ]> valide OK
-<[ 5]> invalide OK
-<[4 ]>5 valide OK
-{{ 5 } } valide OK
-{ { 5 }} invalide OK
-"lkj"4 valide OK
-
-{<[{5 } ]>} OK
-{<[{5 }]> } KO
-
-[ [ 4 ]] OK
-[[ 4 ]] OK
-[[ 4 ] ] OK
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.