[m-rev.] For review: new constraint based mode analysis

[Julien Fischer]

On Tue, 22 Feb 2005, Richard James FOTHERGILL wrote:

>
>
> On Mon, 21 Feb 2005, Ralph Becket wrote:
>
> > Excellent!  Thanks for all your work on this one; I'm planning on
> > hooking it up to my constraint solver this week or next.  Have you
> > checked this stuff in?  If not, where are the files?  We need to rescue
> > anything on the machines the summer students have been using before
> > they're taken back on Wednesday.
> >
>
> My work is in /home/jupiter/richardf/mercury/ so it's not going anywhere.
> I havn't committed it yet because it failed the debugger/dice test -
> where the output should have been
>
Just be aware that /home/jupiter/ is *not* backup up, so you should
really have a copy on a filesytem that is backed up (e.g. /home/mercury)


> mdb> dice -f dice.fail -p dice.passes -m dice
> Procedure          Path/Port          File:Line Pass (3) Fail Suspicion
>
>
> I got
>
> mdb> dice -f dice.fail -p die.passes -m dice
> dice: invalid option -- m
>
I don't think that was caused by anything you've done.


> Meaning, I think, that I need to cvs update and recompile, but I've been
> getting "waiting for mercury's lock in /home/mercury1/repository/mercury"
> for a while now. So I can't say when I'll be able to do that.
>
That happend because earth crashed while tagging the repository - it's
been fixed now.

Cheers,
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
--------------------------------------------------------------------------