{"push_id":1119557474,"size":30,"distinct_size":1,"ref":"refs/heads/runnablecodephase","head":"c060a820a2fd426a507b01019d696ecc29510e11","before":"87df7eaf9b281ee9e43db14c4d474f32d0878753","commits":[{"sha":"02db2c8236e05a33f8a1898260b6f21048430f5d","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Trying to handle higher-order functions","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/02db2c8236e05a33f8a1898260b6f21048430f5d"},{"sha":"c129960479fd691180cad42c2f04dc841c8700f7","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Fixing extraction of lambda applications with zero arguments","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/c129960479fd691180cad42c2f04dc841c8700f7"},{"sha":"7cf3fbe959acf008dc07aa553ba9f737f8a0379c","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Extensions for handling arbitrary closures","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/7cf3fbe959acf008dc07aa553ba9f737f8a0379c"},{"sha":"6060fbb4261d9babdb1b8298c715390dff97b557","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Choosing to run orb automatically","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/6060fbb4261d9babdb1b8298c715390dff97b557"},{"sha":"97ecab1a6340a9f754bac17b6fb2170ce2746490","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Trying to add support for matching over suspensions","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/97ecab1a6340a9f754bac17b6fb2170ce2746490"},{"sha":"0904491a4779784a721fafa9c8a47175ad915c70","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Adding a new library file","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/0904491a4779784a721fafa9c8a47175ad915c70"},{"sha":"4473d9d3588127e497f3c7aef75b72d156e86e03","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"Updating code extraction","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/4473d9d3588127e497f3c7aef75b72d156e86e03"},{"sha":"c3a957a2accc80e3e1154dfa029801daa0265209","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Transformation seem to work, but verification fails","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/c3a957a2accc80e3e1154dfa029801daa0265209"},{"sha":"4034e6368267ff5a6a736297af0941a1901ff09c","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"In the process of porting realtime queue","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/4034e6368267ff5a6a736297af0941a1901ff09c"},{"sha":"2ba25dfbcbea23b6751c49e6d7938629186768b2","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"Fixing a bug in the SMTLIB encoding of ADTs","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/2ba25dfbcbea23b6751c49e6d7938629186768b2"},{"sha":"e403ff0f1a5c80855dd9ab3485eadf82980c3e46","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"Fixing an verifying RTQ, need to fix inlining.","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/e403ff0f1a5c80855dd9ab3485eadf82980c3e46"},{"sha":"90b15014f992e8b3473a51c3f1b7f69566cf40a6","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"Updating inlining phase","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/90b15014f992e8b3473a51c3f1b7f69566cf40a6"},{"sha":"f505116649d216f84eb56ed2d73a547d1de615de","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Making inlining, and other simplifications, more powerful","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/f505116649d216f84eb56ed2d73a547d1de615de"},{"sha":"07a9d1dc1554d5607f9dfe28f9b4033763e42794","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"In the process of handling direct calls to memoized functions. Need to fix computation of state updating functions","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/07a9d1dc1554d5607f9dfe28f9b4033763e42794"},{"sha":"fbd66a02d7ea46b8185b454bcf4e0011e9cc5de7","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Enriching call-graphs with labels, fix minor bugs. Need to verify the modifies RTQ example","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/fbd66a02d7ea46b8185b454bcf4e0011e9cc5de7"},{"sha":"5232239f381c76704aad6fbb1c6556ce0806d513","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Fixing support for adding state","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/5232239f381c76704aad6fbb1c6556ce0806d513"},{"sha":"e26e9c9d49d7f27619b8233c8c63b4439a55cb53","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Porting BUMsort benchmark","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/e26e9c9d49d7f27619b8233c8c63b4439a55cb53"},{"sha":"4409c291d60df0db8cc8dd24ee588a2cef68705a","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"Fixing bugs in closure conversion, and upgrading msort benchmark","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/4409c291d60df0db8cc8dd24ee588a2cef68705a"},{"sha":"97435122b289b0c777c2a3477baf4af2af284dc3","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi"},"message":"porting lazy benchmarks and fixing minor bugs","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/97435122b289b0c777c2a3477baf4af2af284dc3"},{"sha":"0ba77a29cb46ebb60237395747a348df23b515a4","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Trying to verify LCS","distinct":false,"url":"https://api.github.com/repos/Sumith1896/Orb2015/commits/0ba77a29cb46ebb60237395747a348df23b515a4"}]}