[gecode-users] Reporting memory usage
Filip Konvička
filip.konvicka at logis.cz
Thu Oct 30 16:01:13 CET 2008
Sure, no problem - there's no point doing this for 2.2 anyway, is there? :-)
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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Filip Konvicka
> Sent: Thursday, October 30, 2008 3:56 PM
> To: users at gecode.org
> 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
> users at gecode.org
> 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
More information about the gecode-users
mailing list