{"push_id":2461422352,"size":13,"distinct_size":7,"ref":"refs/heads/transformations","head":"f034b36a441a61f873bce1a7785215b302a8eb1e","before":"f18a92bb44dd2fdfb26123fecc345063477280e0","commits":[{"sha":"a5ce8b7e1a19aa543a159d36030370423a129970","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"Solver lib in progress... [ci skip]","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/a5ce8b7e1a19aa543a159d36030370423a129970"},{"sha":"1fea0926ac52374efdc677743f310a043959ec4a","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"Merge branch 'master' of github.com:dvvrd/vsharp into solver\n\n# Conflicts:\n#\tVSharp.SILI.Core/Propositional.fs\n#\tVSharp.SILI/Terms.fs\n#\tVSharp.Utils/Collections.fs\n#\tVSharp.sln","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/1fea0926ac52374efdc677743f310a043959ec4a"},{"sha":"d3b55d28d5f97672243d2a30af4b75440f9960b3","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"Fixed returnig void from unbouned recursion.\n\nSigned-off-by: Dmitry Mordvinov <dvvsrd@gmail.com>","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/d3b55d28d5f97672243d2a30af4b75440f9960b3"},{"sha":"69521d64760fd206d57242e0e6c872d5f8ad8a2d","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"Untested: implemented unbounded execution for recursive delegates with closures.\n\nSigned-off-by: Dmitry Mordvinov <dvvsrd@gmail.com>","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/69521d64760fd206d57242e0e6c872d5f8ad8a2d"},{"sha":"e84e7b47f5a2ba18fb3d64752c97584147bebb20","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"Solver now sucessfully checks feasibility of some branching conditions.\n\nSigned-off-by: Dmitry Mordvinov <dvvsrd@gmail.com>","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/e84e7b47f5a2ba18fb3d64752c97584147bebb20"},{"sha":"3967d08674a58cc13e99b9dd1e27aacc083af801","author":{"name":"Dmitry Mordvinov","email":"2bba2cefb21007163ed614dfb7c4aeec5cba336c@gmail.com"},"message":"LazyInstatiation and RecusionOutcome sources made visible to VSharp.Solver\n\nSigned-off-by: Dmitry Mordvinov <dvvsrd@gmail.com>","distinct":false,"url":"https://api.github.com/repos/Columpio/VSharp/commits/3967d08674a58cc13e99b9dd1e27aacc083af801"},{"sha":"dbd7d6b1f0448cfb2ccec638a15312a6f49e4404","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[fix] Added path condition holding for delegates","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/dbd7d6b1f0448cfb2ccec638a15312a6f49e4404"},{"sha":"41e448d7137de3b14839fa68c60992f2414e66d3","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[style] Changed delegate composition name","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/41e448d7137de3b14839fa68c60992f2414e66d3"},{"sha":"2ef071859a6087a1d3a57f816566552224085283","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[feat] Added Loop statement support\n\n- while\n- do {} while\n- while (true)","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/2ef071859a6087a1d3a57f816566552224085283"},{"sha":"377a3298a634c68e67cbb00e873c8c8f5172ad57","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[test] Added while test","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/377a3298a634c68e67cbb00e873c8c8f5172ad57"},{"sha":"90502449ece0f41c97f9dbf4e363894997619268","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[feat] Added using implementation","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/90502449ece0f41c97f9dbf4e363894997619268"},{"sha":"835300480b7274536c1d295cddb4d009f482091d","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"[test] Added `using` test","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/835300480b7274536c1d295cddb4d009f482091d"},{"sha":"f034b36a441a61f873bce1a7785215b302a8eb1e","author":{"name":"Yurii Kostyukov","email":"edbfe3ed9499c367ff4cb816c1a2044c36bac261@gmail.com"},"message":"wip: foreach","distinct":true,"url":"https://api.github.com/repos/Columpio/VSharp/commits/f034b36a441a61f873bce1a7785215b302a8eb1e"}]}
{"actor":{"display_login":"Columpio"}}