[m-rev.] for review: modified gator's configuration files to have more sensible defaults

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Feb 16 14:13:57 AEDT 2006


On Thu, 16 Feb 2006, Samrith UONG wrote:

> On 2/15/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> >
> > On Wed, 15 Feb 2006, Samrith UONG wrote:
> >
> > > On 2/13/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> > > >
> > > > You should also announce it this in the NEWS file.  (We should also
> > > > announce it on the webpage but we'll wait until we have a bit more
> > > > expereince with it.)
> > > >
> > >
> > > Is this enough or too brief?
> > >
> >
> > It's fine for the highlights section - you may want to add something
> > to the detailed listing as well though?
> >
>
> Oh I didn't notice that section.  How is this?
>
> Index: NEWS
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
> retrieving revision 1.400
> diff -u -r1.400 NEWS
> --- NEWS        30 Jan 2006 06:37:17 -0000      1.400
> +++ NEWS        16 Feb 2006 03:02:45 -0000
> @@ -74,6 +74,7 @@
>  Changes to the extras distribution:
>  * We've added a library of data structures designed to work with solver types.
>  * We've added a library to generate Windows installer packages.
> +* We've added a program to generate optimisation flags for the compiler.
>
>
>  DETAILED LISTING
> @@ -217,6 +218,12 @@
>    generate Wix source files.  WiX is an XML language that is used to generate
>    Microsoft Windows Installer (.msi) packages.
>
> +* We've added a program to generate optimisation flags for the compiler.
> +
> +  The directory extras/gator contains a program to search for the
> +  optimal set of compiler flags for a given program.  The search
> +  algorithm used is a genetic algorithm.
> +
>
Great, I guess you might also want to mention that it can make use of
multiple machines whilst performing this search or something to that
effect.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list