{"push_id":2160846116,"size":41,"distinct_size":25,"ref":"refs/heads/master","head":"8bb83f1d984275170cb844cbb9536a8e00b6a50a","before":"41389f5a9bd1c353aeff69d125ecb1ab7ed717c2","commits":[{"sha":"fcfe92a2a154673ca21956537bd482c57b775876","author":{"name":"Dmitry Mordvinov","email":"66e01735acb6266b905fe4086325a47f090d33f9@gmail.com"},"message":"Merge pull request #35 from miha2733/master\n\nImproved representation of System.String in symbolic memory","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/fcfe92a2a154673ca21956537bd482c57b775876"},{"sha":"ead73952d42025efeab866429b445c7bb9f12495","author":{"name":"Dmitry Mordvinov","email":"66e01735acb6266b905fe4086325a47f090d33f9@gmail.com"},"message":"Merge pull request #41 from miha2733/master\n\nFixed bug with extern constructors.","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/ead73952d42025efeab866429b445c7bb9f12495"},{"sha":"6c5faef7137dca2d36261e45aaff88d2c7957685","author":{"name":"Misha Kosticyn","email":"ef3d62bf41988bb1858759e967e48a86a0c9e4e2@yandex.ru"},"message":"local fixes for tests passing on travis","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/6c5faef7137dca2d36261e45aaff88d2c7957685"},{"sha":"120d57861df2cb4f2e1f50d82b59c7d9e9d58f3b","author":{"name":"Unknown","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Clean redundant branch for Null","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/120d57861df2cb4f2e1f50d82b59c7d9e9d58f3b"},{"sha":"869d04a1b7b80e30faad665d4b058fc688b2c785","author":{"name":"Unknown","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Rename Array.fs to Arrays.fs","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/869d04a1b7b80e30faad665d4b058fc688b2c785"},{"sha":"a851c0bcec739c11864bd1398c77abbfa450c962","author":{"name":"Unknown","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Global refactoring arrays completed","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/a851c0bcec739c11864bd1398c77abbfa450c962"},{"sha":"ea3373822f889ffce457033b355a1005b537fea6","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Added arrayMerge","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/ea3373822f889ffce457033b355a1005b537fea6"},{"sha":"58996bf35533eb9ff1b27d1c0c5b7f42b346935a","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Work on mergeArray.","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/58996bf35533eb9ff1b27d1c0c5b7f42b346935a"},{"sha":"05c74cd0fee8e7961d2d624ce12f7aa277dca41a","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Refactored Heap (override Equals()).","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/05c74cd0fee8e7961d2d624ce12f7aa277dca41a"},{"sha":"ca282a5b3c26f3d77c32b2dbbadc2fa148d21adf","author":{"name":"Misha Kosticyn","email":"ef3d62bf41988bb1858759e967e48a86a0c9e4e2@yandex.ru"},"message":"State refactoring:\ntuples -> records.","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/ca282a5b3c26f3d77c32b2dbbadc2fa148d21adf"},{"sha":"f6c279084078e2273f66565974525d5aba9e64c7","author":{"name":"Dmitry Mordvinov","email":"66e01735acb6266b905fe4086325a47f090d33f9@gmail.com"},"message":"Merge pull request #43 from miha2733/state-refactoring\n\nState refactoring","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/f6c279084078e2273f66565974525d5aba9e64c7"},{"sha":"e3fa1c02d12df36990e4c0e7b6c9c7c6df033f96","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Completed work on arrays.","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/e3fa1c02d12df36990e4c0e7b6c9c7c6df033f96"},{"sha":"56be48262e147d6bf9c5567e0e46ad45ffb67656","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Improved reduceConditionalExecution.","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/56be48262e147d6bf9c5567e0e46ad45ffb67656"},{"sha":"e8c615a2cba88971f438366413e08d665d998ad0","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Merge remote-tracking branch 'remotes/upstream/master' into arrays\n\n# Conflicts:\n#\tVSharp.SILI/Extern/SDK.fs","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/e8c615a2cba88971f438366413e08d665d998ad0"},{"sha":"4cccbb26f9d261702489e2d91fe822890f9527af","author":{"name":"misonijnik","email":"d37b098c11652f4fa91e4aa59fa34f22a721f4ce@gmail.com"},"message":"Rollback to a previous version locationEqual","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/4cccbb26f9d261702489e2d91fe822890f9527af"},{"sha":"b89c9c788a11f871171ea79322805e3b3fd9954e","author":{"name":"Dmitry Mordvinov","email":"66e01735acb6266b905fe4086325a47f090d33f9@gmail.com"},"message":"Merge pull request #42 from misonijnik/arrays\n\nSymbolic arrays","distinct":false,"url":"https://api.github.com/repos/miha2733/VSharp/commits/b89c9c788a11f871171ea79322805e3b3fd9954e"},{"sha":"22d5259d03525d57d079b9d465e482df038c59e1","author":{"name":"Yurii Kostyukov","email":"a3a5f84cf0b4cc19ed243888bcff6cc5fab1c173@gmail.com"},"message":"MakeNullRef timestamp removed","distinct":true,"url":"https://api.github.com/repos/miha2733/VSharp/commits/22d5259d03525d57d079b9d465e482df038c59e1"},{"sha":"fa591746df1d2f61f133b7ee67ec5c0dce5bbeb1","author":{"name":"Yurii Kostyukov","email":"a3a5f84cf0b4cc19ed243888bcff6cc5fab1c173@gmail.com"},"message":"refactor","distinct":true,"url":"https://api.github.com/repos/miha2733/VSharp/commits/fa591746df1d2f61f133b7ee67ec5c0dce5bbeb1"},{"sha":"bb9575966272c67237a0d480ff417540f079b613","author":{"name":"Yurii Kostyukov","email":"a3a5f84cf0b4cc19ed243888bcff6cc5fab1c173@gmail.com"},"message":"Arithmetics: neg","distinct":true,"url":"https://api.github.com/repos/miha2733/VSharp/commits/bb9575966272c67237a0d480ff417540f079b613"},{"sha":"16ecc28b755e0e6512e2dbec83e41dd47121b62c","author":{"name":"Yurii Kostyukov","email":"a3a5f84cf0b4cc19ed243888bcff6cc5fab1c173@gmail.com"},"message":"struct access fix","distinct":true,"url":"https://api.github.com/repos/miha2733/VSharp/commits/16ecc28b755e0e6512e2dbec83e41dd47121b62c"}]}
{"actor":{"display_login":"miha2733"}}