[m-users.] Open sourced Mission Critical IT code

Matthias Güdemann matthias.guedemann at googlemail.com
Sun Jun 7 00:21:19 AEST 2015


> I found that it doesn't compile with Mercury ROTD 2015-02-02, which I
> believe includes a more accurate mode-checker.  I'm working on fixing
> it but I've found that it was easier to re-write the mode incorrect
> parts.  I'll push it when I'm done.

no worries. Yes, it works on Mercury 14.01.1; I currently use this
version as I have problems compiling current ROTDs.

Best regards,
Matthias



More information about the users mailing list