[M3devel] ESC

[Hendrik Boom]

On Tue, Jun 19, 2012 at 05:28:33PM +0100, Daniel Alejandro Benavides D. wrote:
> Hi all:
> I don't think is so much a waste of time, if compiler has done well, you don't need to make a debugger, but instead if it hasn't done it well, don't waste more time use a different compiler (optimized).
> ESC had a X postfix for every package name that has been verified so you could have a different verified and compiled version and as a reference for program behavior and then use an experimental debug able version.
> That was the idea with a Module system with separate compilation and version stamps, IMHO, to really have a fast to execute and easy to debug around cycle and you need that lately as compiler versions are getting faster or harder to debug.
> The interesting stuff is whether you could use the same infrastructure to verify in less time or not, that will proof ESC is worth of anything which I'm sure no body uses for that reasoning broken -not Dragisha's nor Hendrick- but most people do ahead of time.
> Thanks in advance
> 
> --- El mar, 19/6/12, Dragiša Durić <dragisha at m3w.org> escribió:

Yes, I agree. It would be worthwhile to track down the ESC source code.  
Or rewrite it.

But until that's been done I'll probably need a debugger.  And maybe 
occasinoally afterward, for the things that ESC doesn't catch.

-- hendrik