{"push_id":3167408237,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"47dc71fb8e848ae0566fcd61d422c47bd5d341bb","before":"d80ef55f1cc3e90fe4f76cf480e9ee8dad3c86b7","commits":[{"sha":"0ba691dbc42d2d8e654d01b204e9e8b460c7d4ea","author":{"name":"Cedric Cellier","email":"e4c4dd403ea13f1757bca430bb49f45ab7650ad0@happyleptic.org"},"message":"Fix rare typing error\n\nLists or scalar were not exclusive in some operation, leasing Z3 to\nfollow the rules for scalars for what turned out to be a list.","distinct":true,"url":"https://api.github.com/repos/rixed/ramen/commits/0ba691dbc42d2d8e654d01b204e9e8b460c7d4ea"},{"sha":"2ef5e70eb4e00b44994b9ad0e37fc0e56d9872dc","author":{"name":"Cedric Cellier","email":"e4c4dd403ea13f1757bca430bb49f45ab7650ad0@happyleptic.org"},"message":"Slightly narrower typing rules for set sizes","distinct":true,"url":"https://api.github.com/repos/rixed/ramen/commits/2ef5e70eb4e00b44994b9ad0e37fc0e56d9872dc"},{"sha":"00d06b0cc2c1485018eab3487a1b02c6eca3c098","author":{"name":"Cedric Cellier","email":"e4c4dd403ea13f1757bca430bb49f45ab7650ad0@happyleptic.org"},"message":"Imprive typing of subtractions: unsigned - unsigned -> signed!","distinct":true,"url":"https://api.github.com/repos/rixed/ramen/commits/00d06b0cc2c1485018eab3487a1b02c6eca3c098"},{"sha":"9b2812b4da5be76d610cd5617332412b2a5a67de","author":{"name":"Cedric Cellier","email":"e4c4dd403ea13f1757bca430bb49f45ab7650ad0@happyleptic.org"},"message":"Cosmetics & Refactor code gen","distinct":true,"url":"https://api.github.com/repos/rixed/ramen/commits/9b2812b4da5be76d610cd5617332412b2a5a67de"},{"sha":"47dc71fb8e848ae0566fcd61d422c47bd5d341bb","author":{"name":"Cedric Cellier","email":"e4c4dd403ea13f1757bca430bb49f45ab7650ad0@happyleptic.org"},"message":"Function `past` to build a list of past item based on time\n\nIntegrated sampling not implemented yet.\n\nCloses #620\nCloses #361","distinct":true,"url":"https://api.github.com/repos/rixed/ramen/commits/47dc71fb8e848ae0566fcd61d422c47bd5d341bb"}]}
{"actor":{"display_login":"rixed"}}