As Eelco mentioned, it might not be a good idea to publish MiniJava code. Until now, nothing has happened, since you only published a milestone and no solution. But if we want to offer students to choose their target language, you should keep your compilation to CIL private as well. The best way to achieve this w/o keeping the CIL repository private, is another (always private) MiniJava repo.

Submitted by Guido Wachsmuth on 7 March 2014 at 19:23

Ok, done