| Fix the trackable_thread. |
|
More...
|
about 11 years ago
|
| Refactor assert messages. |
|
More...
|
about 11 years ago
|
| Add support for pthread threads in the boost patch. |
|
More...
|
about 11 years ago
|
| Fix the patch for boost. |
|
More...
|
about 11 years ago
|
| Fix install rule for d2. |
|
More...
|
about 11 years ago
|
| Update the patch for boost 1.53.00 with recursive mutexes. |
|
More...
|
about 11 years ago
|
| Add a test checking for the happens-before relation. |
|
More...
|
about 11 years ago
|
| Do not use BOOST_FOREACH in the core of the analysis. |
|
More...
|
about 11 years ago
|
| Fix the broken `check` target and add timeout to scenarios. |
|
More...
|
about 11 years ago
|
| Remove unimplemented tests instead of having them pass/fail. |
|
More...
|
about 11 years ago
|
| Update the mechanism for getting private unique_ids for scenario testing. |
|
More...
|
about 11 years ago
|
| Make functions in the API inline to avoid ODR violation. |
|
More...
|
about 11 years ago
|
| Use facilities provided by dyno. |
|
More...
|
about 11 years ago
|
| Major update of dyno. |
|
More...
|
about 11 years ago
|
| Get rid of uniquely_identifiable; use dyno's instead. |
|
More...
|
about 11 years ago
|
| Update the low-level api. |
|
More...
|
about 11 years ago
|
| Refactor the scenarios and the high level interface. |
|
More...
|
about 11 years ago
|
| Fix unused variable warning in a scenario. |
|
More...
|
about 11 years ago
|
| Make dubious changes to the cyclic_permutation header. Issue #19. |
|
More...
|
about 11 years ago
|
| Finish rewriting the build system for the tests. |
|
More...
|
about 11 years ago
|
| Add Google Test as a submodule. |
|
More...
|
about 11 years ago
|
| Use backward instead of dbg to generate stack traces. |
|
More...
|
about 11 years ago
|
| Update dyno submodule. |
|
More...
|
about 11 years ago
|
| Remove fungo and dbg. |
|
More...
|
about 11 years ago
|
| Rewrite the build system and add the backward-cpp submodule. |
|
More...
|
about 11 years ago
|
| Split and refactor the utilities to track threads. |
|
More...
|
about 11 years ago
|
| Add utilities to track threads. |
|
More...
|
about 11 years ago
|
| Make notify_lock() and notify_unlock() methods public. Re-document. |
|
More...
|
about 11 years ago
|
| Move lock_id, thread_id and segment to core/. |
|
More...
|
about 11 years ago
|
| Remove the deadlock_detectable class from the low-level API. |
|
More...
|
about 11 years ago
|
