{"push_id":1574175624,"size":1,"distinct_size":1,"ref":"refs/heads/feature/709-backprop","head":"ceae1bb6a94b57b60abb800486ce51f7bdd0463b","before":"7c7acfb6c6124e5a6b299720fa9adb1e52d8690f","commits":[{"sha":"ceae1bb6a94b57b60abb800486ce51f7bdd0463b","author":{"name":"DavePearce","email":"334d99dbbb7f7a66dd1645c4852640661889e297@ecs.vuw.ac.nz"},"message":"Add partial implementation of \"Back Propagation\" #709\n\nThe back propagation phase is useful for moving type information from\nsinks to sources.  For example, when performing an assignmnet \"x = y\" we\nwant to push the type information of x into the AST for y.  This ensures\nthat code generation for y can generate the best type, rather than\npotentially creating the wrong type and then having to coerce it.","distinct":true,"url":"https://api.github.com/repos/Whiley/WhileyCompiler/commits/ceae1bb6a94b57b60abb800486ce51f7bdd0463b"}]}
{"actor":{"display_login":"DavePearce"}}