{"push_id":655722206,"size":6,"distinct_size":3,"ref":"refs/heads/develop","head":"e8a2048e92e9354e5031a286ca176b00d23c085b","before":"767dbccbac7ca87ed937556c2f9111940132d150","commits":[{"sha":"3f6847964ad596e15e2191f1438834577f0e6d58","author":{"email":"08a0d8e41000a59a1c6ed7eb96a79caaf0bfa16f@users.noreply.github.com","name":"Christoph Sticksel"},"message":"Merge pull request #251 from mebsout/develop\n\nBug fix in TransSys.add_caller","distinct":false,"url":"https://api.github.com/repos/mebsout/kind2/commits/3f6847964ad596e15e2191f1438834577f0e6d58"},{"sha":"bf546ddb71c686f48795a16defc3d4e2a7f94d97","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Bind multiple vars in one lambda simultaneously","distinct":false,"url":"https://api.github.com/repos/mebsout/kind2/commits/bf546ddb71c686f48795a16defc3d4e2a7f94d97"},{"sha":"06accd786d94c6f6faba7ff19d8e74d01ef48fb7","author":{"email":"08a0d8e41000a59a1c6ed7eb96a79caaf0bfa16f@users.noreply.github.com","name":"Christoph Sticksel"},"message":"Merge pull request #253 from chsticksel/develop\n\nBind multiple vars in one lambda simultaneously","distinct":false,"url":"https://api.github.com/repos/mebsout/kind2/commits/06accd786d94c6f6faba7ff19d8e74d01ef48fb7"},{"sha":"d26d9011b0eafb67723c34876db95ce1cf4a30ad","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Allow pre on constant streams","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/d26d9011b0eafb67723c34876db95ce1cf4a30ad"},{"sha":"3e65c8373cd0fdd281ef7bd10e85bc123c8d7a98","author":{"email":"5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","name":"Christoph sticksel"},"message":"Actual inputs to nodes may need to be constant","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/3e65c8373cd0fdd281ef7bd10e85bc123c8d7a98"},{"sha":"e8a2048e92e9354e5031a286ca176b00d23c085b","author":{"email":"08a0d8e41000a59a1c6ed7eb96a79caaf0bfa16f@users.noreply.github.com","name":"Christoph Sticksel"},"message":"Merge pull request #255 from chsticksel/develop\n\nBugfixes for constant node inputs","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/e8a2048e92e9354e5031a286ca176b00d23c085b"}]}