rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.86, 2012/08/22 09:29:48	version 1.98, 2012/12/20 15:32:52
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.	Only formatted and flow files are supported.

	SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite.

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

	EMSGSIZE dans les send() !

À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))	À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))
SOCKET NON FORMATÉS	SOCKET NON FORMATÉS

Line 12 sys/un.h	Line 18 sys/un.h
regex.h	regex.h
termios.h	termios.h


Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT

Ajouter une évaluation dans GET et PUT 'X' { I } get	Ajouter une évaluation dans GET et PUT 'X' { I } get

Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS	Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS