{"push_id":2958060158,"size":19,"distinct_size":4,"ref":"refs/heads/8.8","head":"593a3b4717d32391e97cc98f88862ae4dd9f8bf0","before":"b3b6f368cd40c79433e27ddf514216a912fcffc0","commits":[{"sha":"63965aed1f56c3f4d4e6918803edc0fc35f896d2","author":{"name":"Yishuai Li","email":"edbb844ad022f82a2752f717a43cbf43825a563e@cis.upenn.edu"},"message":"CI: wait for OPAM","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/63965aed1f56c3f4d4e6918803edc0fc35f896d2"},{"sha":"0be3ca9950d98ee4f5817c1dee24e945a977b2c8","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"Consistent naming scheme for elements, oneof, frequency","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/0be3ca9950d98ee4f5817c1dee24e945a977b2c8"},{"sha":"3b25fe33808b1aa3b037303121202e0d4522b021","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"Renamed Eq typeclass to Dec_Eq to avoid confusion with Haskell's (and sf's) Eq","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/3b25fe33808b1aa3b037303121202e0d4522b021"},{"sha":"8290ad054311b1926bf144b5892e5ce15ee79453","author":{"name":"Yishuai Li","email":"edbb844ad022f82a2752f717a43cbf43825a563e@cis.upenn.edu"},"message":"Dockerfile: build from source","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/8290ad054311b1926bf144b5892e5ce15ee79453"},{"sha":"9082f12096ab72da674c20d8bfdf17da733ea806","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"Update opam and fix ocamlbuild compilation","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/9082f12096ab72da674c20d8bfdf17da733ea806"},{"sha":"de8676803b06c11eb4f9ca2f83c31c419091cc93","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"Merge branch '8.8' of github.com:QuickChick/QuickChick into 8.8","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/de8676803b06c11eb4f9ca2f83c31c419091cc93"},{"sha":"7aca92a85049aab5977bbcb3ce2591725608fe62","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"keep OCamlbuild hygiene","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/7aca92a85049aab5977bbcb3ce2591725608fe62"},{"sha":"c5892c62b85744557b63db303c91d5cc05ab1883","author":{"name":"Lysxia","email":"e1738361646aa5c5c5dbd8cea9458db76c9d6ee1@gmail.com"},"message":"Update installation instructions in README","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/c5892c62b85744557b63db303c91d5cc05ab1883"},{"sha":"1ec47d14459cea006f3fe445b8c5fcd259523099","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"examples: rename frequency -> freq_","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/1ec47d14459cea006f3fe445b8c5fcd259523099"},{"sha":"7e7436b2a0405d2eee257deda81ffc1d9adf7b05","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"examples: replace deprecated functions","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/7e7436b2a0405d2eee257deda81ffc1d9adf7b05"},{"sha":"b6b847c4532a33c0cbde4ce9b695c45bb80282d3","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"more support for Z and N","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/b6b847c4532a33c0cbde4ce9b695c45bb80282d3"},{"sha":"f229705c8f656318f81dd715cdb6b7dd63eb5cd0","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"Update CHANGELOG.md","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/f229705c8f656318f81dd715cdb6b7dd63eb5cd0"},{"sha":"772a573c343a2f5ba2450a073be12fa81b1e3f3d","author":{"name":"Yishuai Li","email":"edbb844ad022f82a2752f717a43cbf43825a563e@cis.upenn.edu"},"message":"Extraction: blacklist Nat","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/772a573c343a2f5ba2450a073be12fa81b1e3f3d"},{"sha":"87ca10ea3e00af7d776e31eb42c52689b30d284f","author":{"name":"Yishuai Li","email":"edbb844ad022f82a2752f717a43cbf43825a563e@cis.upenn.edu"},"message":"fix #105","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/87ca10ea3e00af7d776e31eb42c52689b30d284f"},{"sha":"92ea8545d967ad2044f1ae4b516bde8b25f18dcb","author":{"name":"Yishuai Li","email":"edbb844ad022f82a2752f717a43cbf43825a563e@cis.upenn.edu"},"message":"quickChickTool: deprecate -exclude option\n\nper #105","distinct":false,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/92ea8545d967ad2044f1ae4b516bde8b25f18dcb"},{"sha":"6b1e698173a03a9ad9df15d96054992679c5d6a2","author":{"name":"Lysxia","email":"e1738361646aa5c5c5dbd8cea9458db76c9d6ee1@gmail.com"},"message":"Keep string_scope closed when importing QuickChick","distinct":true,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/6b1e698173a03a9ad9df15d96054992679c5d6a2"},{"sha":"0a5db44382541ddd439dccbcd3f63e7cc2e809d0","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"Fix BSTTest example w/ String error","distinct":true,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/0a5db44382541ddd439dccbcd3f63e7cc2e809d0"},{"sha":"a409106354fc9bc0b1124b1cf30b479e05222100","author":{"name":"Leonidas Lampropoulos","email":"5d2b64c357f4de730b8c4ba138c29d745187e5d4@hotmail.com"},"message":"CP - Trying to port back the quickChick tactic","distinct":true,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/a409106354fc9bc0b1124b1cf30b479e05222100"},{"sha":"593a3b4717d32391e97cc98f88862ae4dd9f8bf0","author":{"name":"Yishuai Li","email":"5591f7ced07ea895ca26adf0c404f5b0f1b71fbd@users.noreply.github.com"},"message":"pin Coq version","distinct":true,"url":"https://api.github.com/repos/liyishuai/QuickChick/commits/593a3b4717d32391e97cc98f88862ae4dd9f8bf0"}]}
{"actor":{"display_login":"liyishuai"}}