{"push_id":1352534233,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9c1fdb52589de6f95e22ee9b10c4c9a13f8a2cfa","before":"13e66f0e2d2b35344bda1addf0ef51b75f4616cc","commits":[{"sha":"9c1fdb52589de6f95e22ee9b10c4c9a13f8a2cfa","author":{"name":"adamfraser","email":"f1f3f4b1a6ce5b562373c575735d10a8b81aa6a9@gmail.com"},"message":"Create CogenSpecification and Fix Bug in BigDecimalCogen\n\nThis adds a new suite of tests for Cogen. The tests are based on the concept that Cogen instances should satisfy two properties. First, consistency: a given Cogen should always return the same output for the same seed and input. Second, uniqueness: given a seed, a Cogen should always return different outputs for inputs that are not equal. In addition, the suite includes tests to show that Cogen is a law contravariant functor, divisible functor (the contravariant equivalent of applicative), and forms a monoid. Appropriate operations are added to the Cogen trait reflecting this.\n\nFinally, the creation of these tests identified bugs in the Cogen instance for BigDecimal. The previous instance was based on perturbing both the unscaled value and scaling factor, which could lead to violations of the laws when the unscaled value was zero or different combinations of unscaled values and scales were used to represent equal numbers. The revised version addresses these issues by normalizing representations and handling cases where the unscaled value is zero separately.","distinct":true,"url":"https://api.github.com/repos/adamgfraser/scalacheck/commits/9c1fdb52589de6f95e22ee9b10c4c9a13f8a2cfa"}]}
{"actor":{"display_login":"adamgfraser"}}