• [^] # Re: Pas sûr que trouver des erreurs/la fiabilité soit si important pour la communauté libre..

    Posté par (site web personnel, Mastodon) . En réponse à la dépêche [code] Trouver les erreurs. Évalué à 3.

    Y'avait quel compilateur Ada accessible librement quand OpenBSD a démarré ?

    GNAT est sorti officiellement en 95 pratiquement en même temps qu'OpenBSD.
    Le seul truc, c'est qu'OpenBSD est un fork de NetBSD qui lui-même est un fork de 386BSD.
    Inutile de dire qu'à l'époque, du code C, il y en avait déjà plein.

    Ça ferait quelle quantité de code de reprendre tout ce qu'ils ont besoin en Ada ?

    Si tu vas au bout de la démarche, il faut tout reprendre pour minimiser l'emploi du C. Au final, il ne doit te rester qu'un peu d'assembleur pour bootstrapper le tout :)
    En clair, c'est lourd mais loin d'être irréalisable.