{"push_id":693417918,"size":31,"distinct_size":0,"ref":"refs/heads/development","head":"2b349a8d5b305a3b05235af4319dbd12a4cb5649","before":"3e1e2d543c5a435ae75c8b6f9da460d96c09f54c","commits":[{"sha":"b88b1ffca9776db4ad269d74c2c4628a93053f12","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Delete several unused cases.\n\n[Issue: ]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/b88b1ffca9776db4ad269d74c2c4628a93053f12"},{"sha":"e6f0c461505c8d087399dc3d74d45a3d398ca52d","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Clone subexpressions in variable substitutions.\n\n[Issue: #445]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/e6f0c461505c8d087399dc3d74d45a3d398ca52d"},{"sha":"bf2ed158ce73d911f3b299dc033f5dd660c23e09","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Add playground test to run multi-file modes.","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/bf2ed158ce73d911f3b299dc033f5dd660c23e09"},{"sha":"49dff4e2d7e0b845ba295b0dc54b0a7ee237314f","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"More aggressive exp cloning during variable substitution.\n\n[Issue: #445]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/49dff4e2d7e0b845ba295b0dc54b0a7ee237314f"},{"sha":"b4f1362729a02f72028b1d4b56709d5d491daa69","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Update example test results per previous commit.\n\n# description\n\n[Issue: #445]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/b4f1362729a02f72028b1d4b56709d5d491daa69"},{"sha":"c0c643fc4fc424d95e324da4cc6d1b405e7dc2e8","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Test input and result for #445\n\n# description\n\n[Issue: close #445]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/c0c643fc4fc424d95e324da4cc6d1b405e7dc2e8"},{"sha":"6bfd6e091f2c0b400bd625e878d896c89a134eff","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Remove unused imports.\n\n[Issue: ]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/6bfd6e091f2c0b400bd625e878d896c89a134eff"},{"sha":"2446e1acb2e2db8d1574d7434a345fbc75c15f69","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Remove PO status column.\n\n[Issue: close #441 ]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/2446e1acb2e2db8d1574d7434a345fbc75c15f69"},{"sha":"1c7e6479ddd1bd14d3f0a07459c4f296a2a73b57","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Re-remove VDMJ client. closes #436\n\nThis reverts commit 80c28722516260168919214206957be23d5fafa8.\n(\"Pull the VDMJ Client back into core/ (see #351).\")","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/1c7e6479ddd1bd14d3f0a07459c4f296a2a73b57"},{"sha":"1d0d1b8fe421b646825196dc1a4ed35d7de88c41","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Upgraded eclipse to luna\nfixes #430\nclose #450","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/1d0d1b8fe421b646825196dc1a4ed35d7de88c41"},{"sha":"13fda3de9edb2a1f36e1fc860eb1d11377116dff","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Introduce new template lookup class reference.\n\nThis makes extensions capable of looking up templates\nin OSGi.\n\n[Issue: ]","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/13fda3de9edb2a1f36e1fc860eb1d11377116dff"},{"sha":"11dc3ece6024d66b980c2841d35f6d60801ea1dc","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"The relative location of a Java source file is now automatically derived from the output package of the generated code","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/11dc3ece6024d66b980c2841d35f6d60801ea1dc"},{"sha":"d9198a27da04a60fd78e8fb916fbf2d5853cb39d","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Slight changes to error handling in the 'ModuleStateInvTransformation'","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/d9198a27da04a60fd78e8fb916fbf2d5853cb39d"},{"sha":"6be939b67201f79812793593c3085ce526ae6a7d","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updated the code generation plugin to have a dependency for the JML generator","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/6be939b67201f79812793593c3085ce526ae6a7d"},{"sha":"ac7698c2b75308d30bc28d444927325c2262ef81","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Few tweaks to the JML generator:\n\n- Added a constructor for the JML generator to enable the user to configure the underlying Java code generator\n- Forcing certain IR and Java settings needed to generate JML","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/ac7698c2b75308d30bc28d444927325c2262ef81"},{"sha":"ac7d1bc04677289461b5f38d7945081a466d4344","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Cleaning up the command-line version of the JML generator","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/ac7d1bc04677289461b5f38d7945081a466d4344"},{"sha":"94c0d9ebf1195458a09969c0ab581dcb46781f71","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Adding (forced) JML generation of SL models (configuration part still needs to be done)\n\nAlso simplified output of generated Java files using the new core/codegen/javagen functionality","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/94c0d9ebf1195458a09969c0ab581dcb46781f71"},{"sha":"09d739fb4384c8860ba690760f0eb2bc3f263a9a","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Minor tweak to the command-line version of the JML generator: generate sequences of characters as strings","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/09d739fb4384c8860ba690760f0eb2bc3f263a9a"},{"sha":"6968c2640558ea2edbb24bcac53dbf9b6ee86198","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updated the codegen plugin to include configuration of the JML generator","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/6968c2640558ea2edbb24bcac53dbf9b6ee86198"},{"sha":"97b44320e9c76a03f931c5f0067ea024915ec6f7","author":{"email":"63e575dd53a4984572f2db91424d729259156ccb@eng.au.dk","name":"Luis Diogo Couto"},"message":"Merge remote-tracking branch 'origin/ldc/pogfix' into test","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/97b44320e9c76a03f931c5f0067ea024915ec6f7"}]}