{"push_id":595111343,"size":43,"distinct_size":43,"ref":"refs/heads/master","head":"bb30afca9a3d21ad695b2ff3d076a0898af51444","before":"ba3d8330fbbb829b9ee4c5a3d7b609c7705543a2","commits":[{"sha":"cfd6de4627efa195da17c008ff15324f6e84cbf8","author":{"email":"dcc602c3201d4d4a65c9681ca541976360b35c9b@cs.berkeley.edu","name":"Aurojit"},"message":"New fd use","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/cfd6de4627efa195da17c008ff15324f6e84cbf8"},{"sha":"b51a92b149c9ad073799c1feb06e84cb73bd128e","author":{"email":"dcc602c3201d4d4a65c9681ca541976360b35c9b@cs.berkeley.edu","name":"Aurojit"},"message":"Merge commit '188780fbcbb6fa96dea94f89bbbcecd46c01d041' into panda-rbcast\n\nConflicts:\n\tinterposition/src/main/scala/verification/schedulers/PeekScheduler.scala","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/b51a92b149c9ad073799c1feb06e84cb73bd128e"},{"sha":"d8bc57c367039111d6046f9e41826b4d6b9a1a38","author":{"email":"dcc602c3201d4d4a65c9681ca541976360b35c9b@cs.berkeley.edu","name":"Aurojit"},"message":"Integrate Vjeko's DPOR code","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/d8bc57c367039111d6046f9e41826b4d6b9a1a38"},{"sha":"6da1fd459435e305de1acbf3f0a75c700b8aa87c","author":{"email":"dcc602c3201d4d4a65c9681ca541976360b35c9b@cs.berkeley.edu","name":"Aurojit"},"message":"Merge commit 'f87673507426591b0f37527d2d617de10390921c' into panda-rbcast","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/6da1fd459435e305de1acbf3f0a75c700b8aa87c"},{"sha":"e4c0411bd752cd4c233b1b7baf7eb7ee3897c4d3","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Merge commit '6de649472b8e82e0bd128db258b08e9671975008' into panda-rbcast","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/e4c0411bd752cd4c233b1b7baf7eb7ee3897c4d3"},{"sha":"439aa9b93996e92c1b0a2da7af8d8a465c0e04ad","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #43 from colin-scott/master\n\nImplement Peek() and checkpointing.","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/439aa9b93996e92c1b0a2da7af8d8a465c0e04ad"},{"sha":"7822723ba585462977759d178eacf466b52920a6","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #44 from colin-scott/master\n\nFinished GreedyED","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/7822723ba585462977759d178eacf466b52920a6"},{"sha":"f48a2daa975d88fbc4e9e51dec96ad121d10253b","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #45 from colin-scott/master\n\nFix logic bug; add bound on number of executions to be tested.","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/f48a2daa975d88fbc4e9e51dec96ad121d10253b"},{"sha":"7540bb07251881b95176608fb968fbac71ae31f7","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #46 from colin-scott/master\n\nInterpose on timers: scheduleOnce and schedule","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/7540bb07251881b95176608fb968fbac71ae31f7"},{"sha":"e5c58d4cc81abbdb7941c8fd6361b9052b6f8061","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #47 from colin-scott/master\n\nFix possible null pointer issues with around advice","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/e5c58d4cc81abbdb7941c8fd6361b9052b6f8061"},{"sha":"87c6ecf6e772f4161d2c22551fd97f548aa7b22e","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #48 from colin-scott/master\n\nAdd support for Akka-Raft. Non-backwards-compatible!","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/87c6ecf6e772f4161d2c22551fd97f548aa7b22e"},{"sha":"04f8f934467cfa6ab534e5f852cc94872b4234c6","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #49 from colin-scott/master\n\nSimply Fuzz tester. Generates random strings of events of fixed length.","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/04f8f934467cfa6ab534e5f852cc94872b4234c6"},{"sha":"32709046c1637440bf1a1d9a9469054c44642196","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #50 from colin-scott/master\n\nImplement checkpointing mechanism, for checking invariants","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/32709046c1637440bf1a1d9a9469054c44642196"},{"sha":"7c65a1a7c02fa04b1149bd105de113b6dc63c936","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #51 from colin-scott/master\n\nDon't require quiescence when taking snapshot","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/7c65a1a7c02fa04b1149bd105de113b6dc63c936"},{"sha":"63093b0327d45f7976abd5c72d77cc8774b4e536","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #52 from colin-scott/master\n\nFix bug: if receiver == \"deadLetters\", it's a system message","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/63093b0327d45f7976abd5c72d77cc8774b4e536"},{"sha":"c5599c52b7d6737c0f0e2301d07f4e6945b05938","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #53 from colin-scott/master\n\nCheck invariants mid-execution in RandomScheduler","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/c5599c52b7d6737c0f0e2301d07f4e6945b05938"},{"sha":"a3377f6ffd5767a92dba0dd908a389652780208b","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #54 from colin-scott/master\n\nCheck for crashed nodes","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/a3377f6ffd5767a92dba0dd908a389652780208b"},{"sha":"701446d8c1431f6edde039694ea249658bfd7108","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #55 from colin-scott/master\n\nCheckpoint. Add fingerprints, fuzzing, etc.","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/701446d8c1431f6edde039694ea249658bfd7108"},{"sha":"ec3fabfccb7b277b479e645e2adf3577a16e7946","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #56 from colin-scott/master\n\nFix nasty bug: update recorded ActorRefs, which are no longer valid","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/ec3fabfccb7b277b479e645e2adf3577a16e7946"},{"sha":"47432e9dbab620b1aa46fe8b446eaf41a147d8a0","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #57 from colin-scott/master\n\nSupport for serialization/deserialization.","distinct":true,"url":"https://api.github.com/repos/colin-scott/sts2-interposition/commits/47432e9dbab620b1aa46fe8b446eaf41a147d8a0"}]}