Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Control max_size, and remove some broken premature abstraction from the Makef...bug24929 | Simon MacMullen | 2014-06-26 | 2 | -6/+7 |
* | Simplify message assertions, don't use timestamps. | Simon MacMullen | 2014-06-26 | 1 | -57/+22 |
* | Minor cleanup. | Simon MacMullen | 2014-06-25 | 2 | -58/+48 |
* | Add instrumenting for monitors and Mnesia transactions. It actually all seems... | Simon MacMullen | 2014-06-23 | 3 | -48/+113 |
* | Various bug fixes in generating command sequences. | Simon MacMullen | 2014-06-06 | 1 | -37/+50 |
* | Be more correct about dynamic vs symbolic state; this gets us back into a pos... | Simon MacMullen | 2014-06-06 | 1 | -32/+42 |
* | Wait until a GM has actually left before forgetting it. | Simon MacMullen | 2014-06-06 | 1 | -12/+13 |
* | Oops, 3d7b7d85df74 got us into a degenerate case where our tests only ever co... | Simon MacMullen | 2014-06-02 | 1 | -15/+26 |
* | Don't expect message delivery until we have had the joined callback invoked. | Simon MacMullen | 2014-06-02 | 1 | -14/+18 |
* | Don't explode if the pid vanishes during is_gm_process/2. Keep on handling in... | Simon MacMullen | 2014-06-02 | 1 | -3/+12 |
* | Even better | Simon MacMullen | 2014-06-02 | 1 | -13/+11 |
* | Better cleanup | Simon MacMullen | 2014-06-02 | 1 | -2/+16 |
* | Merge in stable | Simon MacMullen | 2014-06-02 | 2 | -9/+10 |
|\ | |||||
| * | Small refactor | Simon MacMullen | 2014-06-02 | 1 | -7/+7 |
| * | Silence warning | Simon MacMullen | 2014-06-02 | 1 | -1/+1 |
| * | Merge bug26210 | Simon MacMullen | 2014-06-02 | 1 | -2/+2 |
| |\ | |||||
| | * | optimise | Matthias Radestock | 2014-05-30 | 1 | -2/+2 |
* | | | Do "randomness" properly, trap exits. | Simon MacMullen | 2014-06-02 | 2 | -16/+13 |
* | | | Oops. | Simon MacMullen | 2014-06-02 | 1 | -1/+1 |
* | | | Don't be so intrusive into gm.erl. | Simon MacMullen | 2014-06-02 | 3 | -76/+63 |
* | | | Instrument certain calls to gs2:call/3 and gs2:cast/2, and allow PropEr to de... | Simon MacMullen | 2014-05-29 | 3 | -131/+226 |
* | | | Merge bug26210 | Simon MacMullen | 2014-05-29 | 8 | -45/+316 |
|\ \ \ | |/ / |/| | | |||||
| * | | First go at some PropEr tests, which join and leave a group, and make sure me... | Simon MacMullen | 2014-05-28 | 1 | -0/+245 |
| * | | Display errors on failure. | Simon MacMullen | 2014-05-28 | 1 | -1/+2 |
| * | | stable to default | Simon MacMullen | 2014-05-27 | 6 | -44/+69 |
| |\ \ | | |/ | |/| | |||||
| | * | stable to default | Simon MacMullen | 2014-05-22 | 1 | -1/+1 |
| | |\ | |||||
| | * \ | merge stable into default | Matthias Radestock | 2014-05-22 | 1 | -2/+4 |
| | |\ \ | |||||
| | * \ \ | Merge bug26150 | Simon MacMullen | 2014-05-22 | 12 | -190/+255 |
| | |\ \ \ | |||||
| | | * \ \ | stable to default | Simon MacMullen | 2014-05-19 | 4 | -25/+19 |
| | | |\ \ \ | |||||
| | | | * \ \ | Merge bug26107 | Simon MacMullen | 2014-05-19 | 1 | -9/+5 |
| | | | |\ \ \ | |||||
| | | | | * | | | Update example configbug26107 | Simon MacMullen | 2014-05-13 | 1 | -9/+5 |
| | | | * | | | | stable to default | Simon MacMullen | 2014-05-16 | 1 | -5/+6 |
| | | | |\ \ \ \ | |||||
| | | | * \ \ \ \ | stable to default | Simon MacMullen | 2014-05-15 | 3 | -16/+14 |
| | | | |\ \ \ \ \ | |||||
| | | | | * \ \ \ \ | stable to default | Simon MacMullen | 2014-05-13 | 1 | -1/+9 |
| | | | | |\ \ \ \ \ | | | | | | |_|/ / / | | | | | |/| | | | | |||||
| | | | | * | | | | | stable to default | Simon MacMullen | 2014-05-12 | 1 | -1/+2 |
| | | | | |\ \ \ \ \ | |||||
| | | | | * \ \ \ \ \ | Merge bug26120 | Simon MacMullen | 2014-05-09 | 10 | -187/+182 |
| | | | | |\ \ \ \ \ \ | |||||
| | | | | * | | | | | | | internal_error -> precondition_failedbug26120 | Alvaro Videla | 2014-04-29 | 1 | -5/+5 |
| | | | | * | | | | | | | updates intercept callback signature | Alvaro Videla | 2014-04-29 | 1 | -15/+10 |
| | | | | * | | | | | | | updates intercept callback type | Alvaro Videla | 2014-04-21 | 2 | -2/+2 |
| | | | | * | | | | | | | internal_error -> precondition_failed | Alvaro Videla | 2014-04-21 | 1 | -6/+6 |
| | * | | | | | | | | | | Cosmetic, and log a warningbug26150 | Simon MacMullen | 2014-05-12 | 2 | -1/+4 |
| | * | | | | | | | | | | Add boot step! | Simon MacMullen | 2014-05-12 | 1 | -10/+13 |
| | * | | | | | | | | | | Add a policy for this thing | Simon MacMullen | 2014-05-09 | 2 | -13/+28 |
| | * | | | | | | | | | | Actually, slaves should always delete_and_terminate; when shutting them donw ... | Simon MacMullen | 2014-05-09 | 3 | -13/+9 |
| | * | | | | | | | | | | Stop the whole queue if the alternative is to fail over to an unsynced slave. | Simon MacMullen | 2014-05-01 | 3 | -11/+25 |
| | | |_|_|/ / / / / / | | |/| | | | | | | | | |||||
| | * | | | | | | | | | stable to default | Simon MacMullen | 2014-05-01 | 2 | -13/+0 |
| | |\ \ \ \ \ \ \ \ \ | |||||
| | * \ \ \ \ \ \ \ \ \ | stable to default | Simon MacMullen | 2014-04-29 | 1 | -0/+3 |
| | |\ \ \ \ \ \ \ \ \ \ | |||||
| | | * \ \ \ \ \ \ \ \ \ | stable to default | Simon MacMullen | 2014-04-29 | 1 | -0/+3 |
| | | |\ \ \ \ \ \ \ \ \ \ | |||||
| | | | * \ \ \ \ \ \ \ \ \ | stable to default | Simon MacMullen | 2014-04-25 | 3 | -14/+19 |
| | | | |\ \ \ \ \ \ \ \ \ \ | |||||
| | | | * \ \ \ \ \ \ \ \ \ \ | stable to default | Simon MacMullen | 2014-04-24 | 2 | -6/+26 |
| | | | |\ \ \ \ \ \ \ \ \ \ \ |