{"push_id":1096297355,"size":16,"distinct_size":16,"ref":"refs/heads/master","head":"1639a9c3d3a1bb5c4623aa2e30ec4889edb29199","before":"12e03ee12bc07b32b4dc7d46ee32a2f5064a4633","commits":[{"sha":"26d0022b4c836a5de938bd6edf78868c3a433807","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Initial incrementality support (WIP)","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/26d0022b4c836a5de938bd6edf78868c3a433807"},{"sha":"a256c1fb1c2f95acb657b49c9a6ae503e421cb2a","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Update old codegen import","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/a256c1fb1c2f95acb657b49c9a6ae503e421cb2a"},{"sha":"e0141b402910d6c72e2d2499c5372b2869a51e84","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Refactor everything into packages","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/e0141b402910d6c72e2d2499c5372b2869a51e84"},{"sha":"d95d9bf622323c07404834cfd5204eb72ccaa078","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Refactor schedule/ and fix a few bugs","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/d95d9bf622323c07404834cfd5204eb72ccaa078"},{"sha":"521bbe12fe324e99e92f3fa12f4cd59fc817618d","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Remove unnecessary logging in angelic evaluator","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/521bbe12fe324e99e92f3fa12f4cd59fc817618d"},{"sha":"b71d41367ff1efca427d222b493e15af5813be01","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Clean up demos","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/b71d41367ff1efca427d222b493e15af5813be01"},{"sha":"9078f259f33719189fd408e75deeca39ab1a59f8","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Rename lexeme in sched parser","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/9078f259f33719189fd408e75deeca39ab1a59f8"},{"sha":"4eb8b5ed09a15588d7ae1cf816fe0c6d9dd93c4b","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Create script for live demo","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/4eb8b5ed09a15588d7ae1cf816fe0c6d9dd93c4b"},{"sha":"576191e7050d2398e8fa6b5ff5962b5b0dfd2620","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Finish schedule parser and serializer","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/576191e7050d2398e8fa6b5ff5962b5b0dfd2620"},{"sha":"2d8ac54b28ea9f6e93c2232b7cd33073c1c583a9","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Include manual HVBox schedule","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/2d8ac54b28ea9f6e93c2232b7cd33073c1c583a9"},{"sha":"616a13c22e4a49bc383e9974a92bd9203da7c43b","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Fix symbolic attribute binding","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/616a13c22e4a49bc383e9974a92bd9203da7c43b"},{"sha":"c032e14f2cff35909bed4f9e8b22ec1aa9306ec2","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Crazy bugfixes and include an HVBox schedule sketch","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/c032e14f2cff35909bed4f9e8b22ec1aa9306ec2"},{"sha":"15705faaadf8065adacbf64609edf2c32433fb96","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Add a VBox to demo HVBox tree","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/15705faaadf8065adacbf64609edf2c32433fb96"},{"sha":"ec5117af8ca3e21c72256ac6c7812ddb41d3f45c","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Fix schedule parser+serializer and AST","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/ec5117af8ca3e21c72256ac6c7812ddb41d3f45c"},{"sha":"b1865e76a439eb50d21992ed69bd05815c9333f0","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Update live demo script","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/b1865e76a439eb50d21992ed69bd05815c9333f0"},{"sha":"1639a9c3d3a1bb5c4623aa2e30ec4889edb29199","author":{"email":"535eaea46022ccc292f364b0b356db51a7e2497b@cs.washington.edu","name":"Nathaniel Yazdani"},"message":"Add HVBox renderer","distinct":true,"url":"https://api.github.com/repos/uwplse/iag-synthesis/commits/1639a9c3d3a1bb5c4623aa2e30ec4889edb29199"}]}