{"push_id":751224771,"size":12,"distinct_size":12,"ref":"refs/heads/master","head":"82149a515aa0cbc492d8aa3f1ff10850a9cbe8d8","before":"037d484ba214d8dfc23b4fccce50816d5239d4a8","commits":[{"sha":"f20ddc6bd44f169bec74bc6b6b3c51aa6bc54286","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"refactor of build state into single shared module because of cyclic dpds","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/f20ddc6bd44f169bec74bc6b6b3c51aa6bc54286"},{"sha":"2221afa2a018bdca826c694213a33851a6df65b0","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"stable state, end of day","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/2221afa2a018bdca826c694213a33851a6df65b0"},{"sha":"f9e1e1ebc19d2b07da5461774fdc6d523399dccb","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"tracing for build function","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/f9e1e1ebc19d2b07da5461774fdc6d523399dccb"},{"sha":"76bf7a850df8ae33cf27c532d7185f3da0d92f42","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on build infrastructure","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/76bf7a850df8ae33cf27c532d7185f3da0d92f42"},{"sha":"6779d88a8c2dd6caa1a6b75f5da9ed69f5aa1eee","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"propagation of prev file search info through new build framework","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/6779d88a8c2dd6caa1a6b75f5da9ed69f5aa1eee"},{"sha":"c6c0933534137758aa13f016d8aee5b1a2033dd8","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on build system","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/c6c0933534137758aa13f016d8aee5b1a2033dd8"},{"sha":"7f65420744f003fb14da8eb31303c44951f2383b","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on build system: ast building","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/7f65420744f003fb14da8eb31303c44951f2383b"},{"sha":"686b91c3bf1b9970764483c3983312e5d2df725a","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"attempt to use gadt, existential used in result type of gadt, and pattern matching on it using scoped tyvar. Failed, should work...","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/686b91c3bf1b9970764483c3983312e5d2df725a"},{"sha":"8b55a20a664c07640409a77aea3da4cc30fbd658","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on global state flow","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/8b55a20a664c07640409a77aea3da4cc30fbd658"},{"sha":"cf03b86219cbb01b5fbc7d9499d23bb922b22a4f","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on build functions","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/cf03b86219cbb01b5fbc7d9499d23bb922b22a4f"},{"sha":"d2195ad569b049f4e0d5cbf21674133005d44b1e","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on build, in particular attempting to make it work for running corerun. Fails because of side effectfulness and module renaming internally","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/d2195ad569b049f4e0d5cbf21674133005d44b1e"},{"sha":"82149a515aa0cbc492d8aa3f1ff10850a9cbe8d8","author":{"email":"e6eebe1e1b3543b8bcd32d45105c4fb082125fd9@gmail.com","name":"Atze Dijkstra"},"message":"work on new build driver, partially used, unfinished, but stable so far","distinct":true,"url":"https://api.github.com/repos/UU-ComputerScience/uhc/commits/82149a515aa0cbc492d8aa3f1ff10850a9cbe8d8"}]}