{"push_id":1469301855,"size":113,"distinct_size":113,"ref":"refs/heads/mlp/refactoring","head":"52d2b0c1f4508304ec5e33200ed39c40734649b6","before":"00fb883b457d6f1e8e56aff733bf5ef8dbc45832","commits":[{"sha":"cf68749b0f3bd84cd49432e020adb6fcea62e523","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Added initial structure","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/cf68749b0f3bd84cd49432e020adb6fcea62e523"},{"sha":"4e5a2855a8f30cf2919c4adf193274c12e94d169","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Refactoring main structure added","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/4e5a2855a8f30cf2919c4adf193274c12e94d169"},{"sha":"f8ca2851df732fa30c707184b01f5689a1af1fa5","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Minimum version a_2 ...","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/f8ca2851df732fa30c707184b01f5689a1af1fa5"},{"sha":"ef7dbbc4dc0db8825ae444882be744653c6a29fc","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"basic basic function","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/ef7dbbc4dc0db8825ae444882be744653c6a29fc"},{"sha":"0bb35d24f6a12b5310ec564fc6e9101f93a635ca","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Refactoring arguments added, temp print added","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/0bb35d24f6a12b5310ec564fc6e9101f93a635ca"},{"sha":"12e37a7b071d3ccfe67418684ab7ae2eab3c682b","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"instance variables added","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/12e37a7b071d3ccfe67418684ab7ae2eab3c682b"},{"sha":"8f1d4b29f1dfc9f28e1cb9e1e574b7e91d600a7d","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Package removed","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/8f1d4b29f1dfc9f28e1cb9e1e574b7e91d600a7d"},{"sha":"e0d692e0f6580e518841892caa750c1c8bc08ce8","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"reverse tree support","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/e0d692e0f6580e518841892caa750c1c8bc08ce8"},{"sha":"e982436ee96abd5a08f8663db929c1489ffb9091","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Added tests for renaming","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/e982436ee96abd5a08f8663db929c1489ffb9091"},{"sha":"14e555cc1b83aec081ede3e16c5b5aaa190a1189","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Added new test","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/14e555cc1b83aec081ede3e16c5b5aaa190a1189"},{"sha":"fb431e8efa0036f1dc93c174f2e9cf9d05882fa1","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"rename cases added","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/fb431e8efa0036f1dc93c174f2e9cf9d05882fa1"},{"sha":"3b1574b231e5552a518aad83252fe77437650e17","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Added test for SL","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/3b1574b231e5552a518aad83252fe77437650e17"},{"sha":"bbeb345d3e5458dedfd7aed78123731d0c062647","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Print vdm to consol","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/bbeb345d3e5458dedfd7aed78123731d0c062647"},{"sha":"980f719119f530f6f9e4ba216f88ebd962262d86","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Refactoring of operations functionality","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/980f719119f530f6f9e4ba216f88ebd962262d86"},{"sha":"4004af70da39b911f483a2b4e559ece23fb60612","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"ASTPrettyPrinter","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/4004af70da39b911f483a2b4e559ece23fb60612"},{"sha":"15e64d7fd3661bf883b91b11559d721123550b10","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Merge branch 'mlp/refactoring' of https://github.com/louvmand/overture into mlp/refactoring","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/15e64d7fd3661bf883b91b11559d721123550b10"},{"sha":"26a01c9260994df75e95b7254c175775bd6e43c8","author":{"name":"Peter Mathiesen","email":"a1e6d129bf84874fe1a930c91028fef87eee1319@gmail.com"},"message":"Renaming of applications of operations","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/26a01c9260994df75e95b7254c175775bd6e43c8"},{"sha":"cb41ebd90bbea0bbfe63cf40915ff6b09020ea67","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"PrettyPrinter started","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/cb41ebd90bbea0bbfe63cf40915ff6b09020ea67"},{"sha":"dd00465ea254037ad37b696462553559a02f68f2","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Merge branch 'mlp/refactoring' of https://github.com/louvmand/overture into mlp/refactoring","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/dd00465ea254037ad37b696462553559a02f68f2"},{"sha":"e232392b6d0f88fc535d12ef0544cd987e6217e9","author":{"name":"Magnus Pedersen","email":"d99cdf8fae642a9665f6dc2c301b57a6d4ac5857@gmail.com"},"message":"Prototype ASTPrettyPrinter working for first example","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/e232392b6d0f88fc535d12ef0544cd987e6217e9"}]}
{"actor":{"display_login":"peterwvj"}}