GitHub PushEvent at 2014-12-17 10:07:06
Repository: contracts
Actor: pa-ba
Payload: {"shas":[["cc11d114a0528526526ceb790ab48b378ab3631c","de69e0dcf30c7ece3a0ee1ccf2342350210e1ed8@gmail.com","added trivial specialisation for operators\n\nI missed the trivial specialisation for expressions that simply uses the\nsemantics of operators. This has been added now and proved sound.","Patrick Bahr",true],["bdb829358de78506970d9d7a25cc8d7b84320ce4","de69e0dcf30c7ece3a0ee1ccf2342350210e1ed8@gmail.com","helper functions and syntactic sugar for extracted code","Patrick Bahr",true]],"size":2,"ref":"refs/heads/master","head":"bdb829358de78506970d9d7a25cc8d7b84320ce4"}