Il y a un bug trivial dans le compilateur formellement vérifié de l'INRIA
https://twitter.com/johnregehr/status/943150088544591874 …
-
This Tweet is unavailable.
-
Replying to @newsoft
Ce n'est pas “le compilateur formellement vérifié de l'INRIA” de trois manières différentes : c'est “Inria” et “d'Inria”, et c'est le compilateur certifié d'un chercheur d'Inria.
1 reply 0 retweets 0 likes -
Replying to @rep_stosq_void
Je ne comprends pas ta réponse. Le projet est hébergé sur compcert[.]inria[.]fr depuis les origines (2008). C'est une équipe de recherche qui travaille en sous-marin, sans l'accord de leur direction ?
1 reply 0 retweets 0 likes -
Replying to @newsoft
Une manière dont CompCert est le projet d'un chercheur plutôt que d'Inria, c'est que quand XL a commencé de travailler dessus, Inria n'a pas même été au courant avant qu'il ne fournisse sa contribution au rapport annuel suivant.
1 reply 0 retweets 0 likes -
Replying to @rep_stosq_void @newsoft
A contrario, s'il prend la décision personnelle de faire autre chose, il n'y a plus de CompCert. En fait ça ce n'est pas tout à fait vrai, il y a d'autres chercheurs qui contribuent maintenant. Pas nécessairement Inria.
1 reply 0 retweets 0 likes -
Replying to @rep_stosq_void @newsoft
Pour prendre une comparaison, CompCert n'est pas plus un compilateur Inria que Cibai n'est un produit Microsoft dont le nom veut dire “vagin” en chinois.
1 reply 0 retweets 0 likes -
Replying to @rep_stosq_void @newsoft
Il vaudrait mieux demander des comptes à AbsInt, qui commercialise ConpCert (mais si tu n'es pas client ou prospect il feront peu de cas de ton opinion) ou aux reviewers qui on accepté les publications sur CompCert
1 reply 0 retweets 0 likes -
Replying to @rep_stosq_void @newsoft
Ensuite, si tu te plaignais aux reviewers, ils te diraient que eux, ils ont lu l'article et vu sur quelles parties portent et ne portent pas les preuves.
1 reply 0 retweets 0 likes
Wow, je ne sais pas quelle est ta relation avec ce projet, mais il semble te tenir à cœur 
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.