GitHub PushEvent at 2014-03-27 17:40:08
Repository: teavm
Actor: konsoletyper
Payload: {"shas":[["b2c78948f57936b5891d747600b18e6e81ea7383","7c01b7757b5c7ab5c1a6016b7152773766c76b4e@ventra.ru","Loop invariant motion now considers method arguments to be invariants of\nany loop","Alexey Andreev",true]],"size":1,"ref":"refs/heads/loop-invariant","head":"b2c78948f57936b5891d747600b18e6e81ea7383"}