| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use __builtin_readcyclecounter for event_clock if it's available. | Gareth Rees | 2013-05-16 | 1 | -14/+24 |
| * | Don't #error if defined(mps_build_ll) and __has_builtin(__builtin_readcycleco... | Gareth Rees | 2013-02-04 | 1 | -4/+3 |
| * | Eventcnv was printing event clock values incorrectly: the upper 32 bits and t... | Nick Barnes | 2012-10-15 | 1 | -1/+1 |
| * | Moving the platform-dependent event clock to its own header, preparing to gen... | Richard Brooksby | 2012-09-15 | 1 | -0/+191 |