Je trouve que ta remarque sur l'INRIA tombe un peu à plat, car dans le cas de Compcert (ainsi que dans le cas de tous les logiciels produits par des équipes INRIA dont j'ai personnellement connaissance, et qui sont en très grande majorité des logiciels libres) c'est l'auteur du logiciel qui a choisi la licence. Il me semble normal et légitime que les auteurs soient libres de choisir la licence qui leur semble adaptée (même si en l'occurrence je déplore ce choix), et tu y vois un rôle de l'institut employeur qui n'est pas présent en réalité.
[^] # Re: Compilateur sans bugs
Posté par gasche . En réponse à la dépêche OpenBSD 5.7 « Blues Brothers ». Évalué à 4.
Je trouve que ta remarque sur l'INRIA tombe un peu à plat, car dans le cas de Compcert (ainsi que dans le cas de tous les logiciels produits par des équipes INRIA dont j'ai personnellement connaissance, et qui sont en très grande majorité des logiciels libres) c'est l'auteur du logiciel qui a choisi la licence. Il me semble normal et légitime que les auteurs soient libres de choisir la licence qui leur semble adaptée (même si en l'occurrence je déplore ce choix), et tu y vois un rôle de l'institut employeur qui n'est pas présent en réalité.