a_star: don't crash on deserialization errors and limit static types
[nit.git] / contrib / nitin / Makefile
2017-04-24 Jean Privatcontrib/nitin: new interactive interpreter proof of...