{"push_id":559093311,"size":5,"distinct_size":5,"ref":"refs/heads/develop","head":"6c419cb32c04675034a310b37b2baae54ea45e6d","before":"fa94dc82e68f2f7d57a931eeb6866669b755ff20","commits":[{"sha":"c256b0cc614aec0f96a3e6725923c0de346403b7","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Don't use variable declarations for empty array literals whenever possible","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/c256b0cc614aec0f96a3e6725923c0de346403b7"},{"sha":"6796813132d64f9c25fbc5fe9e16949d48690b31","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"lin_exp needs to be rewritten to lin_eq, and check the type (int or float)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/6796813132d64f9c25fbc5fe9e16949d48690b31"},{"sha":"1a1326c49d766a320931c48e48bbd66e4f73429c","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Use newVarDecl instead of flat_exp to introduce fresh variables for arrays","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/1a1326c49d766a320931c48e48bbd66e4f73429c"},{"sha":"4b7a6a98eb88d867611f9bfc91d2f63e90515747","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Do more CSE when flattening binary operators","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/4b7a6a98eb88d867611f9bfc91d2f63e90515747"},{"sha":"6c419cb32c04675034a310b37b2baae54ea45e6d","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix flattening of reified calls when the result was already bound to a right hand side","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/6c419cb32c04675034a310b37b2baae54ea45e6d"}]}