0000000000000000000000000000000000000000 b5f49ea91325d50d2287a1495bda709d2deaa04d Matteo Sandrin <matteo.sandrin@hotmail.it> 1616612090 -0400	branch: Created from HEAD
b5f49ea91325d50d2287a1495bda709d2deaa04d 479f5461399eac52190bded7c1eb2ec4dbd06f22 Matteo Sandrin <matteo.sandrin@hotmail.it> 1616612345 -0400	commit: Create sast.ml
479f5461399eac52190bded7c1eb2ec4dbd06f22 2625f3de347ae509281a54ab7be158e88bfdd994 Matteo Sandrin <matteo.sandrin@hotmail.it> 1616612696 -0400	commit: Create semant.ml
2625f3de347ae509281a54ab7be158e88bfdd994 273ad084047b324d7bcd07611f3a7fe693d8f968 Matteo Sandrin <matteo.sandrin@hotmail.it> 1616616019 -0400	commit: Integrate semantic checking with konig.ml
