Merge: serialization: safe formal types, fix warnings in generated code and more
[nit.git] / lib / logic /
2016-04-22 Jean Privatlib: add logic library