{"shas":[["bbd5de5bb460187ccbbeab915c29143c35ed2254","21d401b129c04f2a012e2fef8cb89fad3c71266f@inria.fr","Switch to SBT (simple build tool)","Sylvain HENRY"],["5b064ec9876ae3b745133580f250f5360347c42d","21d401b129c04f2a012e2fef8cb89fad3c71266f@inria.fr","OpenCL kernel DSL introduced","Sylvain HENRY"]],"ref":"refs/heads/workinprogress","push_id":20027434,"head":"5b064ec9876ae3b745133580f250f5360347c42d","size":2}