Re: [gobo-eiffel-develop] Latest release doesn't work with SE 1.2 anymore

[Wolfgang J. <wj...@so...>]

Eric Bezault wrote:
> Berend de Boer wrote:
>   
>>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
>>>>>>>               
>>     >> I realise we have to move on, but it's a pity there's no solution
>>     >> now if you want to compile with debug info. Are there any plans
>>     >> to add that to gec?
>>
>>     Eric> Do you mean the "debug" instructions as in:
>>
>>     Eric>    debug ("some_key") valid_foo: foo.is_valid end
>>
>> And DbC support of course. It does not have to perform better than SE,
>> but if the performance is equal, it would really make me switch.
>>     
>
> Debug can be implemented in gec without too much effort.
> DbC requires more work. For DbC I use EiffelStudio.
>
>   
Hi,

Some time ago I proposed to add a debugger to the GEC.
Its took me much more time than expected.
But now an experimental version is nearly completed.
I hope that I can that version publish the next days.

WJ

-- 
Dr. Wolfgang Jansen
University of Potsdam, Germany
mailto: wj...@so...