Commit graph

4 commits

Author SHA1 Message Date
Jorge Aparicio
cc6c1ad3f3 add cfail tests for the tasks! macro 2017-04-12 16:05:48 -05:00
Jorge Aparicio
f62af15cfd implement lock_mut 2017-04-12 15:27:48 -05:00
Jorge Aparicio
fb20b51528 add claim_mut 2017-04-12 10:43:36 -05:00
Jorge Aparicio
595404c5ff compile time verified ceilings 2017-04-09 22:42:17 -05:00