Separate repo for gCastle ?

[impredicative]

Would it make sense to have gCastle in its own repo? Just wondering.

[shaido987]

Yes, we agree with you. This is something we are trying to push for internally but it concerns the open-source policy of our lab and may be hard to achieve in the near future.