{"push_id":808309209,"size":36,"distinct_size":36,"ref":"refs/heads/master","head":"7c40e24e96b0910a57793781c7bb610d66074a9b","before":"26cbf9d73e10a30bcc7aebca091b15eeadad3469","commits":[{"sha":"741dd4ff57bcb553f5bab27cc0bd92c69d8d5fa4","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Keep output variable occurrences map synchronised when removing items","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/741dd4ff57bcb553f5bab27cc0bd92c69d8d5fa4"},{"sha":"a898bdc5a20416f02a8f0e642b518091b271340c","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Need to distinguish between copying flat models and copying any other models, so that the flat() pointers can be set correctly","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/a898bdc5a20416f02a8f0e642b518091b271340c"},{"sha":"67de6c879549d3afc79126f2b94c0294f5c8db14","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix bug where par right hand side of a variable mentioned in the output would cause a crash","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/67de6c879549d3afc79126f2b94c0294f5c8db14"},{"sha":"cca5eae30ce6ee72a58a1949a68e129a29556959","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Add regression test for bug with par right hand side in output","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/cca5eae30ce6ee72a58a1949a68e129a29556959"},{"sha":"c0470aa2e1185de64b27095ef739f08ad02c26a6","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Use is_fixed in cumulative definition","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/c0470aa2e1185de64b27095ef739f08ad02c26a6"},{"sha":"3e103c7a6a1c5a5a936bb1e8ca24c2db67c4d5af","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix flattening of xor (arguments need to be in mixed context)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/3e103c7a6a1c5a5a936bb1e8ca24c2db67c4d5af"},{"sha":"82a130fc98cdc290bdee66ecb65793e75a8dd165","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Add expected output","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/82a130fc98cdc290bdee66ecb65793e75a8dd165"},{"sha":"3106d8ee60a5533a032f2ef06c080f133fb55ebb","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Check that model contains a single solve and output item during type checking (previously, multiple output items were not detected and resulted in incorrect .ozn files)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/3106d8ee60a5533a032f2ef06c080f133fb55ebb"},{"sha":"9e0011dd7a4ea33b66a7dd57602bf9a139523a77","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix for fix for par right hand side in output variable","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/9e0011dd7a4ea33b66a7dd57602bf9a139523a77"},{"sha":"1c3ef115eb5288dafb730da1548776da377f4aa5","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix flattening of equality operator between non-opt and opt vars","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/1c3ef115eb5288dafb730da1548776da377f4aa5"},{"sha":"d816c5b4fa9a8746af528c028e442bfddd65248b","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Remove domain from array declarations in FlatZinc (avoids problems with domains where holes need to be removed and when there are infinities in the domains)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/d816c5b4fa9a8746af528c028e442bfddd65248b"},{"sha":"a33af46ac5b9f3bb70727ef6d178aeb1f1c06fc1","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Don't copy vardecl items to output model that are already there.  Fixes #44.","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/a33af46ac5b9f3bb70727ef6d178aeb1f1c06fc1"},{"sha":"dbd3b4ea7cd287889b27e50d405b2084b599eb63","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Re-link calls to par versions in createOutput","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/dbd3b4ea7cd287889b27e50d405b2084b599eb63"},{"sha":"eabfb8debd786bfafdc3517c5afa41f7771358eb","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Follow ids when binding a vardecl to an id (this avoids creating mutually recursive definitions, which could cause the compiler to run into infinite loops)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/eabfb8debd786bfafdc3517c5afa41f7771358eb"},{"sha":"8b05f64f6bd0103400530bf8581b57352d03c2b8","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix bug in creation of output model where sometimes chains of variable definitions could lead to crashes","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/8b05f64f6bd0103400530bf8581b57352d03c2b8"},{"sha":"dac2cc2f2d3d0ca83030a0a0666b3bd06b7739ce","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Distinguish between generalised comprehensions (iterating over sets) and iterating over arrays. Fixes compilation of comprehensions where iteration over an array is combined with var where clauses. Fixes #45.","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/dac2cc2f2d3d0ca83030a0a0666b3bd06b7739ce"},{"sha":"e5f2ef6d9b135892d39fbc49e3b0eef6a5f5f6db","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Change pretty printer to use one less digit when printing float literals. This fixes #41 (or at least provides a workaround), but some double constants may still be rounded incorrectly when pretty printing and reading them back in. The real fix will be to output hex float literals (coming soon).","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/e5f2ef6d9b135892d39fbc49e3b0eef6a5f5f6db"},{"sha":"9859a0eeb5e459234e7243862583f132ca4bee55","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Special case handling for integer division by 1","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/9859a0eeb5e459234e7243862583f132ca4bee55"},{"sha":"33ec2e6f31a046bea2bcbabfa4463d4f51450fc8","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Need to access IntVal::infinity as a function, otherwise depending on linker etc it may become 0 in some cases. Fixes #40.","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/33ec2e6f31a046bea2bcbabfa4463d4f51450fc8"},{"sha":"c8d0dfa5b3e633d11dfc384f131065a8494cf6d3","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Fix translation context for binary operators on arrays","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/c8d0dfa5b3e633d11dfc384f131065a8494cf6d3"}]}