{"push_id":950113103,"size":26,"distinct_size":0,"ref":"refs/heads/ncb/development","head":"ecf7f429ba4326cee76cdd90548f27167d3c8cbd","before":"c0cf4488b69aba5b5c59b07853a56a15c1f325b2","commits":[{"sha":"63b9999acd21dd8cc622305b0e84498e329d8111","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Ignore intellij metadata.\n\nIssue:","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/63b9999acd21dd8cc622305b0e84498e329d8111"},{"sha":"fce9f68143008c91757d270185e0f06fb0bd9f5f","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Add bug regression test for #495\n\nIssue: #495","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/fce9f68143008c91757d270185e0f06fb0bd9f5f"},{"sha":"2d57a7087ac450ac6add5c66ba01de275c565e2a","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Clone main expression during tuple subtype PO construction.\n\nIssue: #495","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/2d57a7087ac450ac6add5c66ba01de275c565e2a"},{"sha":"818c167ddd134feaf7ad837cace6d8fa33c68bf7","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Add result file for #495\n\nIssue: close #495","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/818c167ddd134feaf7ad837cace6d8fa33c68bf7"},{"sha":"6a801e48d174c7d6da3150a5cfe5a9a0f495d560","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Oops, forgot to close #495\n\nStill can't get the commit message closing to work right.","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/6a801e48d174c7d6da3150a5cfe5a9a0f495d560"},{"sha":"babfa1955f87bf3d461e17a0fae700d8245d32b9","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Add test revealing issue with Java normalisation of fields in SL","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/babfa1955f87bf3d461e17a0fae700d8245d32b9"},{"sha":"67d9906e71c1ae5abdbf77244cf6a7f54bb6b6ba","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix issue with Java normalisation of SL fields","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/67d9906e71c1ae5abdbf77244cf6a7f54bb6b6ba"},{"sha":"8c9f151ad065c843082dd8d7d236fcfcd64778c0","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Generalise Java code generator output testing","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/8c9f151ad065c843082dd8d7d236fcfcd64778c0"},{"sha":"0249dbdcf030796d64d998ee1301bb4417a2f9c2","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Update Java command-line code generator usage message","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/0249dbdcf030796d64d998ee1301bb4417a2f9c2"},{"sha":"5aadfa6c2f977dd29f7beb7fa43f3c382497bb91","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Improve information reported about nodes that cannot be code generated","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/5aadfa6c2f977dd29f7beb7fa43f3c382497bb91"},{"sha":"497ab28ab3b26be3fb54e10b9de78befa2e0dccc","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Don't attempt to generate Java source files for classes that cannot be code generated","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/497ab28ab3b26be3fb54e10b9de78befa2e0dccc"},{"sha":"8bb35a4109bcf762e8c37113966789d35dd2c1ae","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updates to 'vdm2jml' result files\n\nExpect more object copying","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/8bb35a4109bcf762e8c37113966789d35dd2c1ae"},{"sha":"26816b4e9b26d5c56365dac18e5a81995e2232dd","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updates to 'javagen' result files\n\nExpect more object copying","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/26816b4e9b26d5c56365dac18e5a81995e2232dd"},{"sha":"d892c7024922fd57f68842263c897d1946a7d502","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to the 'copy' method in the Java code generator runtime library\n\nIf an attempt is made to copy something that is not a 'ValueType' it's\nsafe and correct to just return the input unmodified","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/d892c7024922fd57f68842263c897d1946a7d502"},{"sha":"14760b46155fd0fb62aff5a1eb826195880948d7","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to value type check in 'JavaValueSemantics'\n\nMake sure that value types that are masked as union types also\nget copied","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/14760b46155fd0fb62aff5a1eb826195880948d7"},{"sha":"96468916c8de9542449a73c18b31c93f763968cb","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Update the JML generator to mark some nodes that do not need to be copied","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/96468916c8de9542449a73c18b31c93f763968cb"},{"sha":"47b3a17f215e10b5a2b7a6cb6532f075c7ac6955","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Merge remote-tracking branch 'origin/ncb/development' into pvj/main","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/47b3a17f215e10b5a2b7a6cb6532f075c7ac6955"},{"sha":"217bdf545f7e00c7a58bf8aa079681b150537b98","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Merge remote-tracking branch 'origin/pvj/main' into ldc/pog","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/217bdf545f7e00c7a58bf8aa079681b150537b98"},{"sha":"2b38129568b46e36a4441f6cc982209ff153c3d2","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Set tyoe in lambda bindings as part of lambda exp TC.\n\n# description\n\nIssue: #496","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/2b38129568b46e36a4441f6cc982209ff153c3d2"},{"sha":"49d299bfe4388df4982b0e479ffb3b25f543cc0f","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Add test and result for lambda type binds.\n\nIssue: close #496","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/49d299bfe4388df4982b0e479ffb3b25f543cc0f"}]}