{"push_id":2808899101,"size":21,"distinct_size":11,"ref":"refs/heads/master","head":"e901f62bb7d1f2e8c74e45acb28167a4f813364c","before":"e446561d2f6d8f30a02e9a998e83080d7bda5c2e","commits":[{"sha":"84f8e7bdcd224e62bcd2207bca99cc3974f5ef0b","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Convert to Xtext project and using Xtend source code","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/84f8e7bdcd224e62bcd2207bca99cc3974f5ef0b"},{"sha":"edff51ecb3ea29c7c8272688babf9d2374223bda","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Common XEvent-B image\n- Create XEvent-B UI Plugin to manage the life-cycle of the UI plugin\n- Create XEvent-B Shared Images (initially with XMachine)","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/edff51ecb3ea29c7c8272688babf9d2374223bda"},{"sha":"23c4785b94fadb5dadc28c31b023eed27b18b152","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Support for navigator\n- XEvent-B navigator object\n- Abstract content provider\n- Abstract lable provider","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/23c4785b94fadb5dadc28c31b023eed27b18b152"},{"sha":"69c5db2c95e8cd87c9a443f6798509df7610d3e0","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Abstract root content provider\n- Added abstract implementation for abstract root content provider.","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/69c5db2c95e8cd87c9a443f6798509df7610d3e0"},{"sha":"83beeff82102dcb835a2d2b6cefa41fea52084b3","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"XMachine objects in Event-B Explorer\n- Specific implementation for putting XMachine objects in Event-B Explorer","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/83beeff82102dcb835a2d2b6cefa41fea52084b3"},{"sha":"62a2bdd13e8183b332a2eba5f06ecdb6a6c494f8","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Use IFile insteads of Resource for navigator objects\n- Replace the Resource object with IFile object as it will be easier to link with editors.","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/62a2bdd13e8183b332a2eba5f06ecdb6a6c494f8"},{"sha":"a13bc7a77937e50ce83170ce84a8df64efe8e38c","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Removed unused project object from navigator object.","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/a13bc7a77937e50ce83170ce84a8df64efe8e38c"},{"sha":"5e3e2e67067e9e23fb46acc4c008d2dbbe30ac9f","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Removed unused project object from navigator object","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/5e3e2e67067e9e23fb46acc4c008d2dbbe30ac9f"},{"sha":"51578b532aebb8ad75ec543895e0c60c14426f32","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Merge branch 'master' into FR1","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/51578b532aebb8ad75ec543895e0c60c14426f32"},{"sha":"9afa89b836d99c1ab1ee688e80f3e24aeee4563e","author":{"name":"Thái Sơn Hoàng","email":"21abfa822fe5aabc0df9d51405beea0dc361fb68@ecs.soton.ac.uk"},"message":"Added action to open XMachine","distinct":false,"url":"https://api.github.com/repos/tshoang/XEventB/commits/9afa89b836d99c1ab1ee688e80f3e24aeee4563e"},{"sha":"24264a587fc4fdcda0e13fbd8472e3e4409484b4","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"convert predicates rodin keyboard","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/24264a587fc4fdcda0e13fbd8472e3e4409484b4"},{"sha":"e05ae7a8a81eb11e6937b8a304d10234b273960c","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"Merge branch 'FR1' of https://github.com/tshoang/XEventB.git","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/e05ae7a8a81eb11e6937b8a304d10234b273960c"},{"sha":"3e8870a648c0d536687a5db9b72e48263e4a5920","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"convert to rodin keyboard- context and machine\nadd context to project explorer","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/3e8870a648c0d536687a5db9b72e48263e4a5920"},{"sha":"e2e88f20cf79444d9a6f2e8714447a7d934716e0","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"Update XMachine grammar by removing unnecessary commented rules\nand remove unused formatter","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/e2e88f20cf79444d9a6f2e8714447a7d934716e0"},{"sha":"32771c7fe4f4f644969cedf90944a49055432553","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"Clean context grammar\n- remove unused comment rules\n- remove unused formatter","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/32771c7fe4f4f644969cedf90944a49055432553"},{"sha":"74f851bb6aaa1d4117ff7895913c1a229b9630fa","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"update comments","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/74f851bb6aaa1d4117ff7895913c1a229b9630fa"},{"sha":"5c9740861f75a99904c86d0f0292a9a237b5e298","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"Add delete action for xtext files, however delete doesn't\nremove corresponding event-b files","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/5c9740861f75a99904c86d0f0292a9a237b5e298"},{"sha":"c59285cd85ca511db3fe69c107d4fd4d6e19d8be","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"delete action","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/c59285cd85ca511db3fe69c107d4fd4d6e19d8be"},{"sha":"f39686131e874db11740e44262d730bbda3e06c3","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"delete corresponding event-b file when deleting xtext file","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/f39686131e874db11740e44262d730bbda3e06c3"},{"sha":"657d9ac08ae63fffeb01dcef760d7cf0891e9617","author":{"name":"dd4g12","email":"52d905f5847104e4a83ebd97cc77c3ae08f2c421@ecs.aoton.ac.uk"},"message":"Add messagebox to confirm deletion","distinct":true,"url":"https://api.github.com/repos/tshoang/XEventB/commits/657d9ac08ae63fffeb01dcef760d7cf0891e9617"}]}
{"actor":{"display_login":"tshoang"}}