{"push_id":551883751,"size":10,"distinct_size":2,"ref":"refs/heads/pvj/main","head":"5edddd84d3d7cba78b04861c38d1b255f568136a","before":"b74d3968bcbfb6b79ca84b871ed129d4d71f0bf3","commits":[{"sha":"b13508a6d82dd5c611d3fdd0d97d56f8131b4fd1","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"changed location for caseAAssignmentDefinition type errors for the expression to point to the exp and not the complete def","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/b13508a6d82dd5c611d3fdd0d97d56f8131b4fd1"},{"sha":"66e422c2e92e6b992d71138f2316446f201f138f","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"changed external tests to use new git repo for external tests.\n\nCheckout:\n\ngit clone git@gitlab.au.dk:overture/externaltests.git\n\nAnd point the property:\n\n-DexternalTestsPath=/path/of/repo/with/externaltests","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/66e422c2e92e6b992d71138f2316446f201f138f"},{"sha":"cfb38dba6d2e3f3d5075b73552c96c5cfa5df2f5","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Problem with access specifiers in traces, fixes #405","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/cfb38dba6d2e3f3d5075b73552c96c5cfa5df2f5"},{"sha":"3328d133fc5d9a8a3c3e482b241a6c3eb45ad144","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Merge remote-tracking branch 'origin/development' into kel/astv2","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/3328d133fc5d9a8a3c3e482b241a6c3eb45ad144"},{"sha":"cdd9107fc536b1ec3008fde6357101204da924e1","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"upgraded the parser and typechecker utils to include methods with charset","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/cdd9107fc536b1ec3008fde6357101204da924e1"},{"sha":"c1a296c11b9932489ec07c0bcb568dbccef8f25b","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Merge commit '366f9319fad8a1d79d323d66140dca6386e7fea2' into kel/m","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/c1a296c11b9932489ec07c0bcb568dbccef8f25b"},{"sha":"adfb1b616597e9676a3291dd49fe5201cd67b45f","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Merge commit 'b29cb322396beafb683efbbebefa0b0ebd2394e4' into kel/m\n\nConflicts:\n\tcore/parser/src/main/java/org/overture/parser/util/ParserUtil.java\n\tcore/typechecker/src/main/java/org/overture/typechecker/util/TypeCheckerUtil.java","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/adfb1b616597e9676a3291dd49fe5201cd67b45f"},{"sha":"51b6cb7f35528616e520265d72ad2adbffaa9220","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Merge remote-tracking branch 'origin/pvj/main' into kel/m\n\n+ change of charset","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/51b6cb7f35528616e520265d72ad2adbffaa9220"},{"sha":"5ce38fbb39bd845e20c7c8e9f84d1240812b8f1d","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"Merge remote-tracking branch 'origin/pvj/main-dev-merged' into pvj/main\n\nConflicts:\n\tcore/codegen/src/main/java/org/overture/codegen/utils/GeneralCodeGenUtils.java","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/5ce38fbb39bd845e20c7c8e9f84d1240812b8f1d"},{"sha":"5edddd84d3d7cba78b04861c38d1b255f568136a","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"Merge remote-tracking branch 'origin/ncb/development' into pvj/main","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/5edddd84d3d7cba78b04861c38d1b255f568136a"}]}