[M3devel] Extended Static Checker

Mika Nystrom mika at async.async.caltech.edu
Sun Mar 28 22:33:53 CEST 2010


Hello m3devel,

I am curious if the source code for the Modula-3 Extended Static Checker
is available anywhere?  Or a Linux binary might work for my purposes...

I seem to remember they did distribute it at some point...

    Mika



More information about the M3devel mailing list