rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.125, 2013/03/24 22:06:09	version 1.131, 2013/03/27 21:25:48
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.

mutex foireux : mutex_creation_variable_partagee f1:554	Mettre le drapeau de debug dans la pile système pour pouvoir sauter
variables_partagee 466 verrouillé.	les fonctions appelées lors d'un HALT/CONT.
variables_partagee 523 verrouillé.	Réduire le nombre de pipes entre deux processus.

{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }	{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }
{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =	{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

	[[1 2 ]]3 valide
	[[ 1 2]] valide
	{{ 3 }} invalide
	{ 5} invalide

	RPL/2> { 2}
	+ 001> abort (^D) => revenir au prompt et non au shell

Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.	Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.