[SOS] Actualité du noyau

[Thomas Petazzoni]

Salut,

David MENTRE a écrit :

> Dans la série des analyseurs de code C, il y a :

[snip]

> <pub>Tout ça est sur la page que je maintiens à propos des outils libres
> pour la vérif formelle
> http://gulliver.eu.org/ateliers/fv-tools/fv-tool-list.html </pub>

Ok, merci pour ces remarques, j'en parlerai dans le prochain résumé.

> J'ai l'impression que les développeurs du noyau ont tendance à
> réinventer la roue, Linus en tête (GIT, Sparse). Je ne nie pas l'interêt
> de le faire pour eux (c'est comme SOS), mais j'ai l'impression qu'ils
> refont parfois ce que d'autres pourraient mieux faire qu'eux.

Pour Sparse, je ne sais pas, je ne connais pas le domaine. Mais pour
Git, il n'y avait visiblement aucune alternative sérieuse. Subversion ne
faisait pas de distribué, Darcs, Monotone et Arch étaient trop lents et
Mercurial n'existait pas encore.

Bonne journée,

Thomas
-- 
PETAZZONI Thomas - thomas.petazzoni at enix.org
http://thomas.enix.org - Jabber: thomas.petazzoni at jabber.dk
KOS: http://kos.enix.org/ - SOS: http://sos.enix.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 256 bytes
Desc: OpenPGP digital signature
Url : http://the-doors.enix.org/pipermail/sos/attachments/20050917/fa20b56e/signature.pgp