6 commits

Author	SHA1	Message	Date
Jorge Aparicio	eea8030083	reword the comments in compile-fail tests	2017-04-21 21:24:28 -05:00
Jorge Aparicio	1c82f1b119	raise_to -> Ceiling.raise	2017-04-21 15:41:03 -05:00
Jorge Aparicio	3e165f2a42	drop lock methods, add raise_to function	2017-04-21 15:31:02 -05:00
Jorge Aparicio	4992db7877	more docs, remove Ceiling / Priority / Level traits	2017-04-21 00:24:54 -05:00
Jorge Aparicio	2fb00c7d85	fix memory safety hole around borrow	2017-04-13 22:58:29 -05:00
Jorge Aparicio	595404c5ff	compile time verified ceilings	2017-04-09 22:42:17 -05:00