Request For Reviewer
msrader at gmail.com
Sun May 9 13:57:23 UTC 2010
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel