aboutsummaryrefslogtreecommitdiff
path: root/tests
AgeCommit message (Collapse)Author
2018-08-24more fixesJorge Aparicio
2018-04-16cargo fmtJorge Aparicio
2018-04-16update parserJorge Aparicio
closes #69 this doesn't change functionality per se but improves diagnostics in some cases. Some hard errors have becomes warnings, for example: when `resources` is empty, or when `idle.path` is set to the default `idle` path.
2017-12-09safe `&'static mut` references via init.resourcesJorge Aparicio
2017-12-09implement the Resource trait for owned resourcesJorge Aparicio
this unbreaks the "generics" example
2017-12-09make resource proxies not SyncJorge Aparicio
2017-12-09deny warnings and unsafe code in tests and examplesJorge Aparicio
2017-12-09make resource proxies !SendJorge Aparicio
2017-12-09rename LateResourceValues to LateResourcesJorge Aparicio
2017-12-08fix cfail testsJorge Aparicio
2017-11-22fix ciJorge Aparicio
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
and move the logic that differentiates interrupts from exceptions from the crate to the procedural macro logic
2017-07-27update tests and examplesJorge Aparicio
with task! gone 3 types of errors / gotchas have been eliminated :tada:
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
remove the P.as_ceiling method
2017-04-25fix cfail testsJorge Aparicio
2017-04-25add a `peripherals!` macroJorge Aparicio
for safe declaration of `Peripheral`s closes #12
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
they are too limited
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
to assert that they point to `static` data
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