{"push_id":1034099596,"size":38,"distinct_size":38,"ref":"refs/heads/dev","head":"d3615dbb4bb3d0c80ccef316df529caa9b154328","before":"a37b91771bf7d95be5f9198cc690a789c5a50453","commits":[{"sha":"2ab449ce9a5d8610359295162d1ac0239b81faec","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"important fix in Transform: do not ignore callback exceptions silently","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/2ab449ce9a5d8610359295162d1ac0239b81faec"},{"sha":"31112b180be3cc7ac308e4a32398fa80622e2f61","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"small fix in oasis (new qtest/qcheck)","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/31112b180be3cc7ac308e4a32398fa80622e2f61"},{"sha":"0c92eec0e09dce3d7b745ebd7b89e1ca2dd239a5","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"in Reduce, consider `Guard` as normal form","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/0c92eec0e09dce3d7b745ebd7b89e1ca2dd239a5"},{"sha":"52c48297334c2333f450ebfa3daa18591326d296","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"helpers in Statement","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/52c48297334c2333f450ebfa3daa18591326d296"},{"sha":"be7512bc68c34a3698185ace9647ca14881f32af","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"small removal of boilerplate","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/be7512bc68c34a3698185ace9647ca14881f32af"},{"sha":"5872b810112cedc16733f262361f2972860707b4","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"wip: specialization","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/5872b810112cedc16733f262361f2972860707b4"},{"sha":"f19cee52cbf345acc76232b2b81bd15f3f50c238","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"export one more printer in Statement","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/f19cee52cbf345acc76232b2b81bd15f3f50c238"},{"sha":"b9b8ac10a228ff2284b1cb8a905ca697ed116caf","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"in Specialize, use a CallGraph to determine which arguments are eligible","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/b9b8ac10a228ff2284b1cb8a905ca697ed116caf"},{"sha":"28b3d3eb80089c7a60c6bcd3b8c2fdffa8350052","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"integrate specialization in pipeline","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/28b3d3eb80089c7a60c6bcd3b8c2fdffa8350052"},{"sha":"05d181a2e1b5e7e658a7bfcb61ad274b3c941f3e","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"move module","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/05d181a2e1b5e7e658a7bfcb61ad274b3c941f3e"},{"sha":"401b419e335b2e7d5d0a5a2912bb3d75522688e5","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"debugging on Specialize.CallGraph","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/401b419e335b2e7d5d0a5a2912bb3d75522688e5"},{"sha":"fa279667b396819bfafe98515ef448bcb018b4e7","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"renaming","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/fa279667b396819bfafe98515ef448bcb018b4e7"},{"sha":"9aae5594b0fea9e208ec0d10caa23cc02152b9b9","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"bugfix and cleanup in callgraph analysis","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/9aae5594b0fea9e208ec0d10caa23cc02152b9b9"},{"sha":"84f999f30a467f705edb99a9a6bbdf5390ebe302","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"attempt to improve the computation of specializable arguments","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/84f999f30a467f705edb99a9a6bbdf5390ebe302"},{"sha":"1277fa98c4edb25830e2f53eba0c0213ea57997d","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"wip: specialization","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/1277fa98c4edb25830e2f53eba0c0213ea57997d"},{"sha":"21d4218473771b8c123b79edcdb57845d3ddc613","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"specialization of `equations` implemented","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/21d4218473771b8c123b79edcdb57845d3ddc613"},{"sha":"44107ac766cd0fd76b9b95bab79a9932a4fa2028","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"first working draft of specialization","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/44107ac766cd0fd76b9b95bab79a9932a4fa2028"},{"sha":"80fc1e583e1b3e4359498bb8feef486e6b5dae9f","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"add empty implementation for `LambdaLift`","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/80fc1e583e1b3e4359498bb8feef486e6b5dae9f"},{"sha":"0e8c9df200a4010b0924aae1d018ddae90213424","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"utils in TermInner","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/0e8c9df200a4010b0924aae1d018ddae90213424"},{"sha":"1c5281cadb013424c34d751d7d44cf2ccfd5c5ad","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"LambdaLift encoding for λ lifting","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/1c5281cadb013424c34d751d7d44cf2ccfd5c5ad"}]}