GitHub PushEvent at 2014-04-11 01:31:01
Repository: k
Actor: owolabileg
Payload: {"shas":[["ceebf912ae923a3985c1594c7e528b3e0078daf1","86107633598cd55c1996d10ca8c2b948cdf5ed30@runtimeverification.com","added url link to the author","Grigore Rosu",true],["8151bad64b0e28aae7a27a1fb079970019426c3d","aad4d6620d37979dd14c82cc2c91799fee9425d2@rv-server-1.(none)","add negative contracts on KilProperty","Dwight Guth",true],["6093a574da7079e5ae57cf0d3cb2199c5da2a0a5","e888d2bd6f13f82caa51a37c03d034c76f661ba3@linux.com","add media properties to K tutorial subfolders","pdaian",true],["8cb449c4b39fc0d2fe5d060598d0e1d38ba2e421","e888d2bd6f13f82caa51a37c03d034c76f661ba3@linux.com","add erroneously skipped media.properties","pdaian",true],["2bedd031e934c3aaa6e7b6e9c997faf1f01bd0f1","65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","Merge pull request #286 from pdaian/master\n\nadd media properties to K tutorial subfolders","dwightguth",true],["a696c46de379a21891f300364f59d99865bd050a","3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","Updated License","Grigore Rosu",true],["ee36f0ffb071f8ec70de73fdc1ed82efd5340801","aad4d6620d37979dd14c82cc2c91799fee9425d2@rv-server-1.(none)","add comment explaining what this is used for","Dwight Guth",true],["26111acc22ef0b2184265d55ca4d2cfe5030a6f0","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","progress on using java primitives as builtins","Andrei Stefanescu",true],["bed1930cfb8a975aa37d9a4f18603825b5736cc7","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","implemented builtin support for machine integers; int32 uses the java primitive type int","Andrei Stefanescu",true],["45d328d9afa4d8386343c31017683bc89a5bccda","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","hooked java functions apply before the k rules; minor additions to the builin machine integers","Andrei Stefanescu",true],["ff7149b531d1a08de25d81ea848562740692a5de","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","revised shift and overflow operations","Andrei Stefanescu",true],["b0f7154d16a5c2e55d143c67303695b4d1f48f14","de499f6a9a11851f96908a5d7ce07e2d2bfb5c11@gmail.com","Fixing an issue with Tokens creating ambiguities with variables.","Radu Mereuta",true],["ad5f181dde65588c4388095d5722733a434f36f5","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","final fixes; added some tests","Andrei Stefanescu",true],["3dc786275def78070fd37b8e0d7244b2e22cc60f","de499f6a9a11851f96908a5d7ce07e2d2bfb5c11@gmail.com","Bypassing the check from TokenSortCollector to allow the fix to work.","Radu Mereuta",true],["0f09feec76ab3fe6c174603e5a074aaaa914e578","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","addressed some code review issues","Andrei Stefanescu",true],["1d2e0274a81e0ee1a78bf5ac9a9707ac2b43e02c","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","properly deleted unused class","Andrei Stefanescu",true],["15f33bfbd49ed4622eee036b72910b3e2bdfaff9","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","renamed ==MInt and =/=MInt in eqMInt and neMInt","Andrei Stefanescu",true],["f7735bf0f043abbd27fa262abdf7bcda8af86cc6","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","renamed inf and sup to min and max","Andrei Stefanescu",true],["d7bc3ecf44ef675782c770110ddd64ece465cf8e","1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","more fixed sadd hook; more comments","Andrei Stefanescu",true],["2ee6f3e076d49a00637175450489a57c433452e4","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Removing pdmc from master","Traian Florin Serbanuta",true]],"size":160,"ref":"refs/heads/master","head":"8459905e2743f5d85cbe44524579a66c7a20d350"}