GitHub PushEvent at 2014-11-08 01:15:33
Repository: k
Actor: rv-jenkins
Payload: {"shas":[["b1b0b6e788246d3dda80c3ba102a9fe9f1e35187","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","outer kore","Cosmin Radoi",false],["1144f65327e27fbd25e7884fd706b2067e18c5b6","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","explicit junit dep to overcome sbt-maven bug","Cosmin Radoi",false],["dc6d049d31ed8e16d5e50ac4a495b8f1ce08dff4","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","explicit relativeTo to overcome maven-sbt bug","Cosmin Radoi",false],["76e8dc8934cab5906841b459b9616c49ee3d83e7","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","remove extra comments and explain the rest","Cosmin Radoi",false],["9c8d7e670469ffcf62646afcaec1a62bd86bba77","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","enter","Cosmin Radoi",false],["00fc971c483704e3cd4ea389dfd795ed9c91fc8d","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","junit 4.11","Cosmin Radoi",false],["b907f73bbc44b7818b7d8ce91eb167b12a8d0082","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","add requires/ensures","Cosmin Radoi",false],["0608d7a5419d144434aaf553a767600cec475d84","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","to-string updates","Cosmin Radoi",false],["0b1a2a8248a92d7b98f0cb42158a310931693674","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","removed configuration","Cosmin Radoi",false],["41ad1cd4c238dccbfd2306ff6cb3160d00c8d74c","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","move scala dependency to the top\n\nthere are some weird errors in Eclipse otherwise","Cosmin Radoi",false],["eb9fde98d4ac8dc9ab5773f0a78ce41628096af8","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","refactor k to generate posters from compiled definitions","Dwight Guth",false],["db845ab092aa77d118a81206e725f63a7cd8c957","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","use --directory with kdoc command","Dwight Guth",false],["0b46a97285a56f1952b1b2f78c3a4019728bb17d","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","remove unneeded documentation field","Dwight Guth",false],["d2eac0132368289a0008127df5429ba6580e9d09","519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","Merge pull request #1155 from cos/feature/outer-kore\n\nfeature/outer kore","Cosmin Radoi",false],["c581b0c9cd1f2051680f95caa935f9977e13f374","65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","Merge pull request #1163 from cos/hotfix/move-scala-dependency\n\nmove scala dependency to the top","dwightguth",false],["d36afbc5014a94df036490f66a4759dfc66c0568","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","update changelog with breaking change","Dwight Guth",false],["22dfa82313dc91bf4d0e2d524767021bd70eb33d","aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","fix yilong's comment","Dwight Guth",false],["6f612a5844311a0cd83dbf2dc5ead03b590f8a6a","65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","Merge pull request #1164 from dwightguth/kdoc\n\nrefactor k to generate posters from compiled definitions","dwightguth",false]],"size":18,"ref":"refs/heads/nightly","head":"6f612a5844311a0cd83dbf2dc5ead03b590f8a6a"}