On Wed, Aug 20, 2008 at 08:29:12PM -0400, Brian Pepple wrote: > * FESCo voted against making the Prover(1) a feature, since they felt it > didn't meet the criteria(2) of being a new feature. Note: This isn't to > say that this isn't a good thing, but they felt the target audience was > fairly limited. > 1. https://fedoraproject.org/wiki/Features/Provers > 2. https://fedoraproject.org/wiki/Features/Policy/Definitions It's very disappointing that this isn't considered a feature, largely (so it seems from the IRC log) because the target audience is considered "very limited". Although provers are used only by a few experts to check that software is correct, the benefits of using formally checked software (functions, data structures, libraries, etc.) accrue to all users of that software. I hope that David & others working on this don't get discouraged and this work continues, perhaps as a Fedora SIG. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://et.redhat.com/~rjones/virt-top -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
