Paul Tagliamonte et moi même travaillons à utiliser un peu plus de LLVM & Clang dans Debian.
Paul pousse justement ta proposition pour produire une Debian LLVM IR. Un des problèmes, c'est que l'IR LLVM n'est pas portable comme celle Java peut l'être…
Un de ses objectifs serait de pouvoir utiliser KLEE (http://klee.llvm.org/) sur cette IR.
[^] # Re: bitcode vs bytecode ?
Posté par Sylvestre Ledru (site web personnel) . En réponse à la dépêche Rencontre des Développeurs LLVM 2012. Évalué à 9.
Paul Tagliamonte et moi même travaillons à utiliser un peu plus de LLVM & Clang dans Debian.
Paul pousse justement ta proposition pour produire une Debian LLVM IR. Un des problèmes, c'est que l'IR LLVM n'est pas portable comme celle Java peut l'être…
Un de ses objectifs serait de pouvoir utiliser KLEE (http://klee.llvm.org/) sur cette IR.