aboutsummaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Expand)Author
2017-09-22Add cfail test for late resourcesJonas Schievink
2017-09-22Fix warning in wrong-threshold cfail testJonas Schievink
2017-09-22Don't use deprecated method to create compiletest configJonas Schievink
2017-07-27`Send`-ness check is now in rtfm-coreJorge Aparicio
2017-07-27make task.$T.enabled optionalJorge Aparicio
2017-07-27update tests and examplesJorge Aparicio
2017-07-24add another duplicated-handler cfail testJorge Aparicio
2017-07-23add cfail test: borrow can't escape critical sectionsJorge Aparicio
2017-07-23update cfail testsJorge Aparicio
2017-07-20more cfail testsJorge Aparicio
2017-07-18tasks / idle have exclusive access to Threshold, but do not own the tokenJorge Aparicio
2017-07-18add cfail testsJorge Aparicio
2017-07-04rtfm! macro take 2Jorge Aparicio
2017-05-08require Resource protected data to be Send, make tokens !SendJorge Aparicio
2017-05-08replace the ceiling token with a preemption threshold tokenJorge Aparicio
2017-04-27make the ceiling part of the task signatureJorge Aparicio
2017-04-25fix cfail testsJorge Aparicio
2017-04-25add a `peripherals!` macroJorge Aparicio
2017-04-25change tasks! syntax to resemble struct initializationJorge Aparicio
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-27 04:47:18 +0000