{"push_id":3080410661,"size":75,"distinct_size":71,"ref":"refs/heads/proptest","head":"d6424236a0e04a97280c6d20e137b9bca97edba1","before":"99f700e35f308d9af666d4ce20a0ae3970702d99","commits":[{"sha":"556bb1aebc924bb8fb3fd6fde835b1df476d0a25","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Comment out debug logging","distinct":false,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/556bb1aebc924bb8fb3fd6fde835b1df476d0a25"},{"sha":"7ae1b1c3f7f1b6124e2ddd01beb23182327fbb5d","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Refactor Block::safety_oracles(...)\n\nMove in lieu of superfluous cloning to address lifetime constraints.","distinct":false,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/7ae1b1c3f7f1b6124e2ddd01beb23182327fbb5d"},{"sha":"b38e88590d50a53bc75c1f264e7f0a964813575a","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Refactor Block::safety_oracles(...)\n\nConsume where valid","distinct":false,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/b38e88590d50a53bc75c1f264e7f0a964813575a"},{"sha":"e01ba0082d4c9477e2eb09bdd92eb7c37b7bc498","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Format","distinct":false,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/e01ba0082d4c9477e2eb09bdd92eb7c37b7bc498"},{"sha":"333c15a6e5704f27465251a283e30163bb342b24","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Generate vote messages","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/333c15a6e5704f27465251a283e30163bb342b24"},{"sha":"7657db3cfe2a45963605aa067f36bfecc68dce63","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Generatively test detection of equivocation\n\nGenerates vote messages and injects one equivocator. Builds message with all\ncurrent messages in justification. Depending on fault tolerance threshold, this\nmessage then equivocates against one of the equivocating messages of a\nvalidator.\n\nCurrent implementation is ugly (in no small part due to the lack of `rustfmt`\nsupport for proptest macros) and requires massive refactoring.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/7657db3cfe2a45963605aa067f36bfecc68dce63"},{"sha":"9ead78df662894d708d12c6e2a21652884fae262","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Refactor strategy composition for detect_equivocation() test\n\nStrategy generates messages directly, in lieu of leaving this up to the test.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/9ead78df662894d708d12c6e2a21652884fae262"},{"sha":"7ced751428dfef847674631c8992bad4c07dbeb3","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Test merging of all equivocations in detect_equivocation()\n\nIn second sender_state, set the threshold to aggregate weight of validators and\nhave every validator equivocate.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/7ced751428dfef847674631c8992bad4c07dbeb3"},{"sha":"6192e7f69713f77895785d796fffc9ca77d29f1a","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Format","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/6192e7f69713f77895785d796fffc9ca77d29f1a"},{"sha":"d8838c2b5bf38921b54ff4eb16e9d7745e684e4b","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Generate equivocator hashset efficiently\n\nAs can be seen in birthday paradox, drawing unique values from a set with a\nnaive RNG gets increasingly inefficient as more values are drawn. For reference,\ncreating a hashset with 30 elements from a 100 element set reaches around 60k\nrejections in proptest.\nWith validators sets not significantly larger than the number of equivocators to\nbe generated from the set, it is more efficient to shuffle the validator set and\ntake a slice of the desired size.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/d8838c2b5bf38921b54ff4eb16e9d7745e684e4b"},{"sha":"200ca25881458feaa798824bd5df2fb23aee651d","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Test proptest without wrapping macros\n\nStepping stone for the generative testing of mutating network states, which\ndemands a more complicated workflow than seemingly allowed by the prop_compose!\nmacro.\n\nThis stub tests incrementing a random integer by a random amount.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/200ca25881458feaa798824bd5df2fb23aee651d"},{"sha":"bbff8be55d2fe6adebd6ef619f874d98b41b1b21","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Generate simple binary chain\n\nBTreeMap of node ids and current vote. Vote is whatever message was last\nreceived by a node. In state mutations, an arbitrary node relays its current\nvote to an arbitrary subset of the network. No testable proposition yet, and as\nsuch, no shrinking implemented.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/bbff8be55d2fe6adebd6ef619f874d98b41b1b21"},{"sha":"82b8860a5601a071bac60691eb695de30f87cc45","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Lazy sequence of network states","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/82b8860a5601a071bac60691eb695de30f87cc45"},{"sha":"831937ee1851fa7edbd2e0406eadfba795afc616","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Test eventual consensus of simple voting\n\nGenerate new states while there is not unilateral consensus in the network yet","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/831937ee1851fa7edbd2e0406eadfba795afc616"},{"sha":"239ff567515abb39294d2651e740e9e70901b2fa","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Integrate proptest! macro and parametrize validator set size","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/239ff567515abb39294d2651e740e9e70901b2fa"},{"sha":"4e125d53c99989ae1420eaaddbfdfa69ce5e13df","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Refactor macro signature of chain(...)","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/4e125d53c99989ae1420eaaddbfdfa69ce5e13df"},{"sha":"a6185f1259cfe4f6137ed0de6eaec2abd90e027e","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Randomize validator set size in generation\n\nTest now only sets the maximum validator set size, not a fixed one.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/a6185f1259cfe4f6137ed0de6eaec2abd90e027e"},{"sha":"14951e21248db76bb17ca71e9e03b5950e33f304","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Migrate simple binary chain to VoteCount\n\nStill uses same stepping stone mechanics that validators just copy the last\nmessage received - purpose is strictly typing; implementation is hacky.","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/14951e21248db76bb17ca71e9e03b5950e33f304"},{"sha":"a4eb45a0ced60c6845903177376c7caa68a8bfdd","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Refactor vote message injection","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/a4eb45a0ced60c6845903177376c7caa68a8bfdd"},{"sha":"abd37686ea9f053c81a6b4ca28b70a4684162f56","author":{"name":"Robert Hambrock","email":"1980cf6bb568d85c372dbd99704ddc63f92cceca@gmail.com"},"message":"Comment debug prints interfering with tests\n\nApplies retroactively too","distinct":true,"url":"https://api.github.com/repos/Lederstrumpf/cbc-casper-msg/commits/abd37686ea9f053c81a6b4ca28b70a4684162f56"}]}
{"actor":{"display_login":"Lederstrumpf"}}