rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

Diff for /rpl/LIMITATIONS between versions 1.115 and 1.121

version 1.115, 2013/03/19 12:27:56	version 1.121, 2013/03/23 16:08:28
Line 6 RESTRICTIONS	Line 6 RESTRICTIONS
{ <[ <[ "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 69 Fichiers non formatés : restent à code	Line 77 Fichiers non formatés : restent à code
* 0011 10 11 matrice integer8 (dimensions integer4)	* 0011 10 11 matrice integer8 (dimensions integer4)
* 0011 11 11 matrice integer8 (dimensions integer8)	* 0011 11 11 matrice integer8 (dimensions integer8)

* 0101 0 XXX nom de longueur XXX
* 0101 10 LL nom de longueur integer*LL

* 1001 0 XXX table de longueur XXX	* 1001 0 XXX table de longueur XXX
* 1001 10 00 table de longueur integer*1	* 1001 10 00 table de longueur integer*1
* 1001 10 01 table de longueur integer*2	* 1001 10 01 table de longueur integer*2

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.115
changed lines
	Added in v.1.121