aboutsummaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Expand)Author
2017-04-21rename `borrow` to `access`Jorge Aparicio
2017-04-21reword the comments in compile-fail testsJorge Aparicio
2017-04-21raise_to -> Ceiling.raiseJorge Aparicio
2017-04-21drop `lock` methods, add `raise_to` functionJorge Aparicio
2017-04-21more docs, remove Ceiling / Priority / Level traitsJorge Aparicio
2017-04-19remove claim, add Priority.as_ceilingJorge Aparicio
2017-04-19remove the _mut methodsJorge Aparicio
2017-04-19critical: don't let the ceiling token escape the critical sectionJorge Aparicio
2017-04-19don't let the ceiling token escape the critical sectionJorge Aparicio
2017-04-14wrap references to resources in static-ref's Ref/RefMutJorge Aparicio
2017-04-14add another would-be data race compile fail testJorge Aparicio
2017-04-14remove unnecessary trait boundsJorge Aparicio
2017-04-13regression testJorge Aparicio
2017-04-13fix memory safety hole around `borrow`Jorge Aparicio
2017-04-12add cfail tests for the tasks! macroJorge Aparicio
2017-04-12implement lock_mutJorge Aparicio
2017-04-12add `claim_mut`Jorge Aparicio
2017-04-09compile time verified ceilingsJorge Aparicio