{"push_id":537112133,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"7e398daa97e1777f21575755633cce1145fd2f2a","before":"0fc470d1c1a44e0dc880ecb8f56bd82cbdb1a455","commits":[{"sha":"5812465faf42453042efbafc27f8a5d1b71837a1","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"add a convenience function to debug disintegrate tests","distinct":true,"url":"https://api.github.com/repos/zaxtax/hakaru/commits/5812465faf42453042efbafc27f8a5d1b71837a1"},{"sha":"2596dbb925c08b7102fd6040fd1fa3f433e78d23","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"Another big set of changes:\n- and explicit code to deal with boolean variables in conditions\n  (previous domain analysis assumed real)\n- add code to deal with 'polymorphic' numbers: i.e. 2 can be both\n  Prob and Real.  So its type is inferred as Number, which is our\n  name for this supertype.\n- add some special code for Bind(Lebesgue, ...)\n- additional simplifications for If","distinct":true,"url":"https://api.github.com/repos/zaxtax/hakaru/commits/2596dbb925c08b7102fd6040fd1fa3f433e78d23"},{"sha":"20827a41d91ff5e77bdf9da89f7464893eff5050","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"make git know about cabal sandboxes","distinct":true,"url":"https://api.github.com/repos/zaxtax/hakaru/commits/20827a41d91ff5e77bdf9da89f7464893eff5050"},{"sha":"7e398daa97e1777f21575755633cce1145fd2f2a","author":{"email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca","name":"Jacques Carette"},"message":"remove dependence on erf package (use erf from math-functions instead).  Add erf and erf_ (with default) to language.  Get Maple to use that properly.","distinct":true,"url":"https://api.github.com/repos/zaxtax/hakaru/commits/7e398daa97e1777f21575755633cce1145fd2f2a"}]}