{"push_id":1729392349,"size":3,"distinct_size":3,"ref":"refs/heads/event-tree","head":"965ee525831708dcbcfff441ee4c6ba198b9abcc","before":"f7ee084bcea56174ff49fb85f9c1edbf95ff7128","commits":[{"sha":"3c68aad477550ddf5fdb7cf05626711624f619bd","author":{"name":"rakhimov","email":"9387be9231a79507f23a8fb352db7a9c4640f2ea@gmail.com"},"message":"Implement cycle detection in event-tree links\n\nCyclic linking of event trees is statically undecidable\neven though it may be valid.\nIn practice, it is not expected that cyclic instructions be used.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/3c68aad477550ddf5fdb7cf05626711624f619bd"},{"sha":"320afb1049f3830fc8bf27d06261c9a4b006af50","author":{"name":"rakhimov","email":"9387be9231a79507f23a8fb352db7a9c4640f2ea@gmail.com"},"message":"Implement event-tree linking with link instruction\n\nThe link instruction is executed in sequences\nto continue the collection of expressions and formulas\nin another event-tree.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/320afb1049f3830fc8bf27d06261c9a4b006af50"},{"sha":"965ee525831708dcbcfff441ee4c6ba198b9abcc","author":{"name":"rakhimov","email":"9387be9231a79507f23a8fb352db7a9c4640f2ea@gmail.com"},"message":"Fix and split the gas-leak event tree example\n\nUse event-tree linking to separate the reactive part\nfrom the detection.","distinct":true,"url":"https://api.github.com/repos/rakhimov/scram/commits/965ee525831708dcbcfff441ee4c6ba198b9abcc"}]}
{"actor":{"display_login":"rakhimov"}}