User Activity

  • Committed [f8b30f]

    I forgot to mention that fixed bug cause us wait too long for client request as livelock issue

  • Committed [7e0b15]

    added ability to stop and resume the exploration without starting from the scratch everytime

  • Committed [c096eb]

    added zookeeper specific deviation path transformation due to the leader election

  • Committed [61e382]

    fixed a bug in the MR consistency module

  • Committed [c7a01f]

    Fixed another nondeterministic bug. actually forgot to add prep and wait steps for transitions

  • Committed [57c5cc]

    fixed a bug in the monotonic reads consistency module

  • Committed [43f512]

    moved in the oracle code into the zookeeper project

  • Committed [177102]

    fixed AigenWorkload. now we write to every unique key to maximize the chance to observe the bug

View All

Personal Data

1999-11-14 00:21:33



  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks