{"push_id":2526961940,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b302b82f2f88b5c0144419b8e171762fc8079b95","before":"e6004bf14d5da1f91bee04459bac9f553a0f9b93","commits":[{"sha":"b302b82f2f88b5c0144419b8e171762fc8079b95","author":{"name":"Piotr Trojanek","email":"cf728c1c31506c7219195290995225cd6fff6281@altran.com"},"message":"minor release the flow graphs once flow analysis is done\n\n(no-tn-check)\n\n* gnat2why/flow/flow.adb\n(Flow_Analyse_CUnit): the FA_Graphs map is now a local variable, which is\n automatically finalized after the flow analysis, so that more memory is\n available to the provers.\n\nChange-Id: I15f58c2011201abb318f886f589a05c2424e460d","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/b302b82f2f88b5c0144419b8e171762fc8079b95"}]}
{"actor":{"display_login":"adacore-bot"}}