| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-04-19 | critical: don't let the ceiling token escape the critical section | Jorge Aparicio |
| 2017-04-19 | don't let the ceiling token escape the critical section | Jorge Aparicio |
| 2017-04-14 | wrap references to resources in static-ref's Ref/RefMut | Jorge Aparicio |
| 2017-04-14 | add another would-be data race compile fail test | Jorge Aparicio |
| 2017-04-14 | remove unnecessary trait bounds | Jorge Aparicio |
| 2017-04-13 | regression test | Jorge Aparicio |
| 2017-04-13 | fix memory safety hole around `borrow` | Jorge Aparicio |
| 2017-04-12 | add cfail tests for the tasks! macro | Jorge Aparicio |
| 2017-04-12 | implement lock_mut | Jorge Aparicio |
| 2017-04-12 | add `claim_mut` | Jorge Aparicio |
| 2017-04-09 | compile time verified ceilings | Jorge Aparicio |
