{"push_id":1286484900,"size":114,"distinct_size":114,"ref":"refs/heads/netcore_using_netcoresdkpreview2","head":"b48e7dd67f27b66d831b19601ebb09e16c24c283","before":"6152abefd3db18bb7a28297a1545ad5a3ef5cffe","commits":[{"sha":"86d8381386b7ca5b74ecc5d7addb80fd100250e8","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Update release notes.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/86d8381386b7ca5b74ecc5d7addb80fd100250e8"},{"sha":"74adef5f71c96f6e1588b2ded2ee05df5150e768","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Update AssemblyInfos.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/74adef5f71c96f6e1588b2ded2ee05df5150e768"},{"sha":"5e81cc475d4311415809126eacc93b81be35383f","author":{"name":"Mark Seemann","email":"fd1ed290c28236090ee5c195ebfc58186b22ec62@ploeh.dk"},"message":"Added a property about Gen.shuffle.\n\nWith the previous test suite, I could use the Devil's Advocate review\ntechnique to reduce Gen.shuffle to this:\n\n```F#\nlet shuffle (xs : 'a seq) = gen { return Array.empty<'a> }\n```\n\nDespite this degenerate, and obviously incorrect, implementation, all\ntests passed. This demonstrated the need for more tests, so I added one.\n\nI'm not 100% certain that the term 'isomorphic' entirely covers this\nproperty, but if we regard the domain as an ordered collection of a\ncertain size, and the codomain as equal to the domain, then shuffle is\nisomorphic because every element in the input is mapped to a position in\nthe output, and a reverse map exists.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/5e81cc475d4311415809126eacc93b81be35383f"},{"sha":"fac7739c9780fe05d576c4d305450ef247ec793a","author":{"name":"Mark Seemann","email":"fd1ed290c28236090ee5c195ebfc58186b22ec62@ploeh.dk"},"message":"Renamed property based on code review feedback.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/fac7739c9780fe05d576c4d305450ef247ec793a"},{"sha":"ab2f5cfe7852bbd8ef72f79942232d821d9a2404","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Merge pull request #227 from ploeh/shuffle-is-isomorphic\n\nAdded a property about Gen.shuffle.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/ab2f5cfe7852bbd8ef72f79942232d821d9a2404"},{"sha":"373894bbdbb8128fd8631bed31a4c8fb8ff32df0","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Added Gen.growingElements, which takes a list of elements of increasing\nsize, and chooses among an initial segment of the list. The size of this\ninitial segment increases with the size parameter.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/373894bbdbb8128fd8631bed31a4c8fb8ff32df0"},{"sha":"f17d8f17f04ae4dcb6cb51c2646b67715dfaf9fa","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Changed the name used for the Gen.growingElements value in compiled Common\nLanguage Infrastructure (CLI) code.\n\nThis should make the name consistent with the General Naming Conventions\nused in other .NET languages.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/f17d8f17f04ae4dcb6cb51c2646b67715dfaf9fa"},{"sha":"6b820b1cf9f8f05388022ef583dc10ede4827615","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Removed commented out code.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/6b820b1cf9f8f05388022ef583dc10ede4827615"},{"sha":"bad7c24e3a014bdf12527a21eeaab9f85a064656","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Merge pull request #229 from moodmosaic/remove-commented-out-code\n\nRemove commented out code","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/bad7c24e3a014bdf12527a21eeaab9f85a064656"},{"sha":"e3bc489fbd017f8cd29769a27a0d03898c21d4c1","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Documented Gen.growingElements.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/e3bc489fbd017f8cd29769a27a0d03898c21d4c1"},{"sha":"3d26708c0f453b3b26a57ad62ff201fda20aff9a","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Improved Gen.growingElements and its test, based on code review feedback.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/3d26708c0f453b3b26a57ad62ff201fda20aff9a"},{"sha":"b4da0dcea5197430945bde38c714f9cf20ff7b35","author":{"name":"Nikos Baxevanis","email":"9b39d4bb26e0086cc5f3f29d327b946c6432ba9b@users.noreply.github.com"},"message":"Merge branch 'master' into gen-growingElements","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/b4da0dcea5197430945bde38c714f9cf20ff7b35"},{"sha":"36f45d47931c58c2b663a499d03e17cbdf827ece","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Merge pull request #228 from moodmosaic/gen-growingElements\n\nAdd Gen.growingElements","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/36f45d47931c58c2b663a499d03e17cbdf827ece"},{"sha":"c835a6cfd35e914900a992e264b52d5deb3b05ec","author":{"name":"Nikos Baxevanis","email":"c1560b8af5dae6f4d4095aa67663867da20d3143@gmail.com"},"message":"Added growingElements in the 'Useful Generator Combinators' section of the docs.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/c835a6cfd35e914900a992e264b52d5deb3b05ec"},{"sha":"b88e79cd8ffd2b406c09e036d5421e303865b5da","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Merge pull request #232 from moodmosaic/include-gen-growingElements-in-docs\n\nInclude Gen.growingElements in the docs","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/b88e79cd8ffd2b406c09e036d5421e303865b5da"},{"sha":"b09a49f9656f7f8d06aa9979bb302ab384a64958","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Remove documentation files that are no longer used.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/b09a49f9656f7f8d06aa9979bb302ab384a64958"},{"sha":"37d4ad10c6987b7595ac92a298b4753f833b9667","author":{"name":"MarcoMaar","email":"31446ea956eabd3bbc6d1d30dc335e17493c96c3@student.tugraz.at"},"message":"StateMachine Shrinking shrinks Operations\n\nchanged the operationalShrinler back to the defaultListShrinker\nwrote a failing testcase that shows that the default shrinker shrinks\nthe Operation properly","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/37d4ad10c6987b7595ac92a298b4753f833b9667"},{"sha":"8bf8da25a79096f058d441e8bcaa82bd37e1732f","author":{"name":"MarcoMaar","email":"31446ea956eabd3bbc6d1d30dc335e17493c96c3@student.tugraz.at"},"message":"fixed testcase\n\ntest case now checks if shrunk values are correct instead of checking\nthe whole specification","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/8bf8da25a79096f058d441e8bcaa82bd37e1732f"},{"sha":"d57d9281c92a2bdcf4672f2ea67bcd1283475d84","author":{"name":"Kurt Schelfthout","email":"e17d78dfb27c2930a51f1de396580d3f1fa5443c@gmail.com"},"message":"Merge pull request #234 from MarcoMaar/master\n\nStateMachine Shrinking shrinks Operations","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/d57d9281c92a2bdcf4672f2ea67bcd1283475d84"},{"sha":"bd81f3c7dc6e51c730792ab718785fcd1843e061","author":{"name":"Mark Seemann","email":"fd1ed290c28236090ee5c195ebfc58186b22ec62@ploeh.dk"},"message":"Documented Gen.elements by describing it\n\nand providing examples.","distinct":true,"url":"https://api.github.com/repos/enricosada/FsCheck/commits/bd81f3c7dc6e51c730792ab718785fcd1843e061"}]}
{"actor":{"display_login":"enricosada"}}