I have just (mostly) completed a package for review. The package is part of the "OpenProofs" project and is called Frama-C. It is for the mathematical proof of subroutines and programs. The website for the project is www.openproofs.org and the link to the bug report is https://bugzilla.redhat.com/show_bug.cgi?id=564520 so you can browse it for consideration. If you are interested let me know.
Mark Rader
-- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
