Re: FESCo Meeting Summary for 2008-08-20

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux