{"push_id":3176324615,"size":12,"distinct_size":2,"ref":"refs/heads/agreecheck-saving","head":"9046917507ffec1b2b544a0564b8aef57b027f96","before":"8e7a1bbbb2f393a3b6cd9cb07a3fe8f0daba0bd2","commits":[{"sha":"46073ad235bc414d52f42861be694829983b450a","author":{"name":"Lucas Wagner","email":"9f89fc90c9b13bc7e1551d0e7d030cb2ae3ee5b1@gmail.com"},"message":"updating z3 from 4.7.1 to 4.8.3","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/46073ad235bc414d52f42861be694829983b450a"},{"sha":"1d4b5407a2cd7d64f1c32f7a455122cb298f9814","author":{"name":"Lucas Wagner","email":"9f89fc90c9b13bc7e1551d0e7d030cb2ae3ee5b1@gmail.com"},"message":"Merge branch 'develop' of https://github.com/smaccm/smaccm.git into develop","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/1d4b5407a2cd7d64f1c32f7a455122cb298f9814"},{"sha":"087581e879413f22a531748a0b3a68c34fb4e03f","author":{"name":"iamundson","email":"8a9e16e05cddf45d2a9b0486298d6d7ab538d3d1@users.noreply.github.com"},"message":"minor bugfix in agree to enable cross referencing in thread types","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/087581e879413f22a531748a0b3a68c34fb4e03f"},{"sha":"4a8947c10808ac32b0d4c365cb4bdf7cb0b505f6","author":{"name":"lucas","email":"10c25665e49274c39b8e8f7ad6e2a3d0b0bc5052@lucas-VirtualBox"},"message":"this removes the old formatter and prevents a conflict","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/4a8947c10808ac32b0d4c365cb4bdf7cb0b505f6"},{"sha":"38c457f09f3912169adf22a468e27560e740c14d","author":{"name":"Karl Hoech","email":"5b543aa39f2280bfe8f0c42ce899e93d348eb216@rockwellcollins.com"},"message":"Fix missing JKind in analysis plugin","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/38c457f09f3912169adf22a468e27560e740c14d"},{"sha":"14932ac1b8e792818651dae952cfe8c5b3f82f2c","author":{"name":"kfhoech","email":"485abb7733915ceb8c68a6f81e20813b04d486dd@users.noreply.github.com"},"message":"Merge pull request #195 from smaccm/develop-issue194\n\nFix missing JKind in analysis plugin","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/14932ac1b8e792818651dae952cfe8c5b3f82f2c"},{"sha":"c18cd374546096a16db0920104214fe2f8024966","author":{"name":"Karl Hoech","email":"5b543aa39f2280bfe8f0c42ce899e93d348eb216@rockwellcollins.com"},"message":"Fix non-API imports in Resolute","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/c18cd374546096a16db0920104214fe2f8024966"},{"sha":"b84250742dfd6cdc07e34f26ee116c86a67be86b","author":{"name":"kfhoech","email":"485abb7733915ceb8c68a6f81e20813b04d486dd@users.noreply.github.com"},"message":"Merge pull request #197 from smaccm/develop-issue196\n\nFix non-API imports in Resolute, fixes #196","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/b84250742dfd6cdc07e34f26ee116c86a67be86b"},{"sha":"b04cd0a78632ac0eabad309f2803b71bf22f42fc","author":{"name":"Lucas Wagner","email":"9f89fc90c9b13bc7e1551d0e7d030cb2ae3ee5b1@gmail.com"},"message":"Update to the Z3 binaries\n\n- the most recent release of Z3 (4.8.3) contained an issue that caused\nJKind to crash regularly.\n\n- replacing with a nightly build (which is not best practice) that is\nvery similar to 4.8.3 but has the issue resolved.","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/b04cd0a78632ac0eabad309f2803b71bf22f42fc"},{"sha":"beb6dc9221a9418394677efa13f0403c7e011817","author":{"name":"Lucas Wagner","email":"9f89fc90c9b13bc7e1551d0e7d030cb2ae3ee5b1@gmail.com"},"message":"Merge branch 'develop' of https://github.com/smaccm/smaccm.git into develop","distinct":false,"url":"https://api.github.com/repos/smaccm/smaccm/commits/beb6dc9221a9418394677efa13f0403c7e011817"},{"sha":"705f03f04e10c4e4ed47be53a71a604cf47b600c","author":{"name":"Collins Aerospace","email":"d9ee3e658aa36f5d42623c41bb17b84a6dd7e51d@collins.com"},"message":"remove class files","distinct":true,"url":"https://api.github.com/repos/smaccm/smaccm/commits/705f03f04e10c4e4ed47be53a71a604cf47b600c"},{"sha":"9046917507ffec1b2b544a0564b8aef57b027f96","author":{"name":"Collins Aerospace","email":"d9ee3e658aa36f5d42623c41bb17b84a6dd7e51d@collins.com"},"message":"resolved conflicts","distinct":true,"url":"https://api.github.com/repos/smaccm/smaccm/commits/9046917507ffec1b2b544a0564b8aef57b027f96"}]}
{"actor":{"display_login":"iamundson"}}