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

On 14 March 2014 at 11:16 HongHuang commented:

Ok, done


On 14 March 2014 at 11:16 HongHuang closed this issue.

Log in to post comments