{"push_id":775994201,"size":163,"distinct_size":0,"ref":"refs/heads/test","head":"dd89ad32cce85b2ebedcdffaf8037f3084d3dd0b","before":"a5de5d2e16c3329daf41b023bf8692e5ae468d39","commits":[{"sha":"6b66953fdaf3a6e07742b95bd890175741b2c4b2","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Invariants failing in some cases, fixes #458","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/6b66953fdaf3a6e07742b95bd890175741b2c4b2"},{"sha":"b671f5374781f388dff880519ba71370cc215aba","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Small correction to UpdatableValues in class definitions.","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/b671f5374781f388dff880519ba71370cc215aba"},{"sha":"633e5c8f5667303eb4acbc2f5ece656802f45e3d","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Improvements to ObjectValue invariant checking","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/633e5c8f5667303eb4acbc2f5ece656802f45e3d"},{"sha":"c7049f55fee995142e77f9e6f439d5a4567fc7c7","author":{"email":"5ae80b33f02320658d5fcfdc7bca181551e253d1@gmail.com","name":"Anders Franz Terkelsen"},"message":"modified:   pom.xml\n    Removed Joey from the developer list, and updated Kenneth's roles.","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/c7049f55fee995142e77f9e6f439d5a4567fc7c7"},{"sha":"a4746e73725a6e11de6b78df76e280aa7836400c","author":{"email":"fc1c2d8f0bf02bc56cde6351d852c88adb83fbc8@eng.au.dk","name":"Kenneth Lausdahl"},"message":"Merge remote-tracking branch 'origin/pvj/main' into development","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/a4746e73725a6e11de6b78df76e280aa7836400c"},{"sha":"44a16e628dbef505f53c922b852cfd6c36a05c6f","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Merge remote-tracking branch 'origin/development' into ncb/development","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/44a16e628dbef505f53c922b852cfd6c36a05c6f"},{"sha":"bb4ec3779d6432bb6375d142e15b55c54b5bfe22","author":{"email":"3d0a8d775b1797a7f1c4d50e1f0eb302b7b92eb5@gmail.com","name":"Nick Battle"},"message":"Merge remote-tracking branch 'origin/pvj/main' into ncb/development","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/bb4ec3779d6432bb6375d142e15b55c54b5bfe22"},{"sha":"5b466794b486204a22a5edcb38de6cd75b521653","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Removing 'old' approach to generating module state invariants","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/5b466794b486204a22a5edcb38de6cd75b521653"},{"sha":"1e5747a293f32c94c363a4a08ff191872dd90ff2","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"The state invariant constrains the type of the state","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/1e5747a293f32c94c363a4a08ff191872dd90ff2"},{"sha":"994251c83b4aa439d3e94dc2da485ad06c5bef83","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updating the JML generator to make access to record state accessor based\n\nThis means that updates to record state is followed by a visible state","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/994251c83b4aa439d3e94dc2da485ad06c5bef83"},{"sha":"fc7053b47f66d4fc6bc6f43dfb62ed3b618f6cd6","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to the Java code generator: don't clone the object of a 'ACallObjectExpStmCG'","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/fc7053b47f66d4fc6bc6f43dfb62ed3b618f6cd6"},{"sha":"c0c121b3f627d82065993c01377f082984bd9ead","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Small fix to the module-to-class transformation when constructing the state type","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/c0c121b3f627d82065993c01377f082984bd9ead"},{"sha":"b2f284ab8da7e67771212e38421c5017138d6269","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Moving some constant over to the named type invariant transformation","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/b2f284ab8da7e67771212e38421c5017138d6269"},{"sha":"351ab5aec16a835397ea2e456b8e2d3027e50094","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Making 'RecInvTest' a subclass of the 'AnnotationTestsBase' ensures that the VDM dialect and relase get properly set up","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/351ab5aec16a835397ea2e456b8e2d3027e50094"},{"sha":"dd08bbb53fb24f9fa199179abd7f696a73cddce1","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Generating 'invChecksOnFlag' for enabling and disabling type/state invariant checking.","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/dd08bbb53fb24f9fa199179abd7f696a73cddce1"},{"sha":"94a3bff700bcdff122f5d8be2307aaf22cb21764","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Making record invariants take the 'invChecksOn' flag into account","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/94a3bff700bcdff122f5d8be2307aaf22cb21764"},{"sha":"f219c93654d15831ee7edae8a938a62ac3e4e8b2","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to handling of the atomic statement in the JML generator\n\nUpdating the JML generator to enable and disable invariant checking\nbefore and after entering the atomic statement, respectively","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/f219c93654d15831ee7edae8a938a62ac3e4e8b2"},{"sha":"12e9201df6562e6968e91e4740d76793cd27a117","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Small fix to the MainClassConcTrans transformation\n\nThe 'isConstructor' flag was not set for the evaluatePP method","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/12e9201df6562e6968e91e4740d76793cd27a117"},{"sha":"cb47ac58fcbde5efeb751071c04bd66ab26f4343","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to the Sentinel transformation\n\nMissing method type for some of the constructors","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/cb47ac58fcbde5efeb751071c04bd66ab26f4343"},{"sha":"212d69cbed88d83841da0780afef95b5975ae7a3","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Fix to the JavaQuoteValueCreator\n\nThe constructor was missing the method type","distinct":false,"url":"https://api.github.com/repos/overturetool/overture/commits/212d69cbed88d83841da0780afef95b5975ae7a3"}]}