Mono prend-il en charge Code Contracts? C'est à dire. si je construis une bibliothèque de classes, les utilisateurs mono peuvent-ils utiliser mon assembly?Contrats de code pour mono?
Sinon, existe-t-il d'autres bibliothèques? Prenant de préférence en charge l'analyse statique (via un plugin ou similaire dans Visual Studio)
Il y avait des développements supplémentaires dans le Google SoC 2011 et 2012. La version d'aperçu 2.11.4 semble incorporer ce code: http://tirania.org/blog/archive/2012/Oct-02.html –