{"push_id":828618296,"size":18,"distinct_size":1,"ref":"refs/heads/master","head":"e7040689d9eeaac616a3647eb47405f2d3d8d213","before":"938e118a93d839933c7518a8ab293c6652bcf332","commits":[{"sha":"f52d0e6b2e7c0b09ec6d5d89c944e26fb32bbf44","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"lots of new stuff towards C++ interop","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/f52d0e6b2e7c0b09ec6d5d89c944e26fb32bbf44"},{"sha":"58e0761116bbe1eafe1379b168c7cba4b59be83f","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"split interop into native and managed C++ interfaces, and various updates","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/58e0761116bbe1eafe1379b168c7cba4b59be83f"},{"sha":"830794dc6f65dfedd296349872b22c6ba90ce59a","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"add missing file","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/830794dc6f65dfedd296349872b22c6ba90ce59a"},{"sha":"637f9d9b3fe5957fcebeb733990c0e406019b116","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"updates for interop","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/637f9d9b3fe5957fcebeb733990c0e406019b116"},{"sha":"af28b4a5caac2421f1a461745ed44774d2adbd4f","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"added mocked network engine in samples","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/af28b4a5caac2421f1a461745ed44774d2adbd4f"},{"sha":"1849c816c1ec2da33e50797750d52201f0e15aee","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"working PingPong example with mixed-programming interop","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/1849c816c1ec2da33e50797750d52201f0e15aee"},{"sha":"243ca2150a1968a28b8af6ae42a63458600894a7","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"Merge branch 'master' of https://github.com/p-org/PSharp into feature/interop","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/243ca2150a1968a28b8af6ae42a63458600894a7"},{"sha":"7e06fb8673983acfff940eebd34ccc4cc034cd7d","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"exposed a new API for easy systematic testing via the actual application executable (and thus skipping the compiler & tester tools)","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/7e06fb8673983acfff940eebd34ccc4cc034cd7d"},{"sha":"2f4c55dd7bca4a7ad0182102defb5d6efb6f07c3","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/2f4c55dd7bca4a7ad0182102defb5d6efb6f07c3"},{"sha":"b46875c6a0b95c60ec8be87a39f71b6b693634b2","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/b46875c6a0b95c60ec8be87a39f71b6b693634b2"},{"sha":"d79f9083dd2c12426396837828bf732511e27d6d","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"reverting earlier change, leave MachineId type as it is","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/d79f9083dd2c12426396837828bf732511e27d6d"},{"sha":"0d4e07ff730cf84209aa8705254915f2baed5d39","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"removed payload, it can now be declared as field of an event","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/0d4e07ff730cf84209aa8705254915f2baed5d39"},{"sha":"cf731d62a05a04b422429407902094f830f27370","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"updated the unmanaged sample","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/cf731d62a05a04b422429407902094f830f27370"},{"sha":"ef214d46b43c5a836b4ceda9eee74eef2cbdf363","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"updates native C++ sample with a much more advanced example (work-in-progress)","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/ef214d46b43c5a836b4ceda9eee74eef2cbdf363"},{"sha":"4a3db09ef538a4509334dc766de06d2c81b692f9","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"updated native C++ sample and various refactoring and fixes","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/4a3db09ef538a4509334dc766de06d2c81b692f9"},{"sha":"ea8a8d0643c80fa93417712a7ef4367862e23035","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"update","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/ea8a8d0643c80fa93417712a7ef4367862e23035"},{"sha":"262ca12bc228fe14b0195883871b29ee66a79f38","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"updates to C# samples and removed public checking in P# compiler","distinct":false,"url":"https://api.github.com/repos/p-org/PSharp/commits/262ca12bc228fe14b0195883871b29ee66a79f38"},{"sha":"e7040689d9eeaac616a3647eb47405f2d3d8d213","author":{"email":"2345c269678d08d8999433c6411c2f987a7e8bad@me.com","name":"Pantazis Deligiannis"},"message":"Merge pull request #35 from p-org/feature/interop\n\nFeature/interop","distinct":true,"url":"https://api.github.com/repos/p-org/PSharp/commits/e7040689d9eeaac616a3647eb47405f2d3d8d213"}]}