On Thu, Oct 30, 2008 at 4:01 PM, Filip Konvička <[EMAIL PROTECTED]>wrote:
> Sure, no problem - there's no point doing this for 2.2 anyway, is there? > :-) > Sure. Regards, Gustavo > > Cheers, > Filip > > > Filip, can you then also take into account my last messgae? > > > > Cheers > > Christian > > > > -- > > Christian Schulte, www.ict.kth.se/~cschulte/ > > > > > > -----Original Message----- > > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On > Behalf Of Filip Konvicka > > Sent: Thursday, October 30, 2008 3:56 PM > > To: [EMAIL PROTECTED] > > Subject: Re: [gecode-users] Reporting memory usage > > > > > >> I agree, it would be nice to have such thing in gecode. I have been > >> using an implementation of such allocator (attached to this mail). It > >> would be nice if we can discuss and improve it. I got this > >> implementation from Stéphane Zampelli. > >> > > > > Thanks! That seems like something I had in mind. I'll try it out, maybe > > fix a couple of things (I'll try to walk through the C++ standard > > regarding allocators), move out of the ::std namespace (why is it > > there?) and re-post back here for more discussions. > > > > Cheers, > > Filip > > > > > > > > _______________________________________________ > > Gecode users mailing list > > [EMAIL PROTECTED] > > https://www.gecode.org/mailman/listinfo/gecode-users > > > > > > > -- > Filip Konvička > > LOGIS, s.r.o. > tel. +420 556 841 100 > mob. +420 736 758 714 > > > _______________________________________________ > Gecode users mailing list > [EMAIL PROTECTED] > https://www.gecode.org/mailman/listinfo/gecode-users > -- Gustavo Gutierrez
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
