{"push_id":900326529,"size":16,"distinct_size":1,"ref":"refs/heads/hackage","head":"16006ef1312d66540e2ba47314bdd6189d4eb1c3","before":"be6e6ed350ade58ed517c71bfb9b4cfb1394de16","commits":[{"sha":"2b4fa8de516cd5c0f02b1d10e9902e17e07163b1","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Bump copyright year in license","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/2b4fa8de516cd5c0f02b1d10e9902e17e07163b1"},{"sha":"97c5a6b7d0b1bd571d4974ee2eb1ce9442243baf","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Version bump following Hackage release","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/97c5a6b7d0b1bd571d4974ee2eb1ce9442243baf"},{"sha":"40730dbb6ae8132fb131f2bdc25e2ecb7f8ed393","author":{"email":"2caa53a44c576cab6ce3de86f39a251815cffa9e@galois.com","name":"Nathan Collins"},"message":"Add a Win64 build rule.\n\nI also nested the ARCH rules in the OS rules, to avoid\nduplication. This makes the change look bigger than it is: the Linux\nrules are meant to be unchanged.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/40730dbb6ae8132fb131f2bdc25e2ecb7f8ed393"},{"sha":"665860f5c3b4b69710fa5c03c3a3bcf229818a7f","author":{"email":"2caa53a44c576cab6ce3de86f39a251815cffa9e@galois.com","name":"Nathan Collins"},"message":"Tweak Win64 build flags.\n\nThe main ABC lib was compiling, but the abcBridge code in ./cbits was\nfailing to build.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/665860f5c3b4b69710fa5c03c3a3bcf229818a7f"},{"sha":"c45e9b01dcd5d759e9259809caaec470f0b0eb19","author":{"email":"2caa53a44c576cab6ce3de86f39a251815cffa9e@galois.com","name":"Nathan Collins"},"message":"Warn that the Windows 64-bit build is not as well tested.\n\nAll of the SAW regression tests pass against the 64-bit Windows build,\nwhich inspires a lot of confidence.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/c45e9b01dcd5d759e9259809caaec470f0b0eb19"},{"sha":"e83f62d8fd84fd6ffd3fd76ce9d939baa9740451","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Remove CPP in favor of base-compat","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/e83f62d8fd84fd6ffd3fd76ce9d939baa9740451"},{"sha":"aeda5249ef61c56677103c316fe7e6ae20b938cb","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Fix build with GHC 7.8","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/aeda5249ef61c56677103c316fe7e6ae20b938cb"},{"sha":"468c2aea73922bf54f34c41eb5b71c8d55a0411d","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Another attempt at fixing for GHC 7.8","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/468c2aea73922bf54f34c41eb5b71c8d55a0411d"},{"sha":"1e476b4394c983f4563448df66e8da1020ef6f01","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Same change for Data.ABC.GIA\n\n*sigh*","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/1e476b4394c983f4563448df66e8da1020ef6f01"},{"sha":"0e66a3b195f1173c383467733b1a08a7700641f4","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"And again...","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/0e66a3b195f1173c383467733b1a08a7700641f4"},{"sha":"ab5681fb971c12a24bd829840f85cf0f561af23b","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Still use CPP for Data.Bits\n\nThe countLeadingZeros function isn't in base-compat.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/ab5681fb971c12a24bd829840f85cf0f561af23b"},{"sha":"fc2f753a3174547f203383fa00421bf1b8b73e0d","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Import Data.Bits only on GHC 7.8","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/fc2f753a3174547f203383fa00421bf1b8b73e0d"},{"sha":"a366fd16f397a71bc810bc3e1b9c68cb428718df","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Fix build of tests with GHC 7.8","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/a366fd16f397a71bc810bc3e1b9c68cb428718df"},{"sha":"35bdefeada25878408536cea9c7985a2c4c91eba","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Add warning to the Data.ABC.AIG module.\n\nThis module has bugs we don't know how to fix.","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/35bdefeada25878408536cea9c7985a2c4c91eba"},{"sha":"599e97c0e940e0e5bddabfc313831e4225d5ea2d","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Add warnings to the AIG reexports in Data.ABC","distinct":false,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/599e97c0e940e0e5bddabfc313831e4225d5ea2d"},{"sha":"16006ef1312d66540e2ba47314bdd6189d4eb1c3","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Merge branch 'master' into hackage\n\nConflicts:\n\tabcBridge.cabal","distinct":true,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/16006ef1312d66540e2ba47314bdd6189d4eb1c3"}]}