Re: [Vampire-public] Comments about recent news & some ideas about the future

[Maxime Biais]

On Wed, 25 Feb 2004 00:59:27 +0000
Nicolas Burrus <address@hidden> wrote:

> I think the website is ok, but maybe we should stress a little bit more
> the fact that the current release is more a snapshot than a real release.
> The documentation is incomplete but also obsolete (it deals with daemon
> stuff for example), the configuration files syntax may change again
> before the next release, etc. I think that we should clearly warn a
> potential final user that he will probably run into some issues if he
> tries to use this version of Vampire.

You're right, I will add a warning on the website.

[...]

> This is a first draft, tags names are not well chosen, tags to implement
> are subject to discussion. A lot of other interesting features may be 
> implemented, but we don't need many in a first time. I just wanted to
> share my ideas (and store them somewhere :-)) and open a discussion.

Separating host descriptions and host software descriptions is a little
strange, but I understand we can't put the software informations in the
hosts configuration file. Maybe we can move the <set_of_parameters> out of
the tarball class description and give them a name (the purpose is to reuse
these tags in other tarballs - useful for g++-3.2 for example).

(I like the idea of <union> and <intersection>)


-- 
Maxime Biais