| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-04-21 | add `enable` / `disable` functions, add $enabled parameter to tasks! | Jorge Aparicio | |
| 2017-04-21 | rename `borrow` to `access` | Jorge Aparicio | |
| 2017-04-21 | add `borrow_mut` to Local | Jorge Aparicio | |
| 2017-04-21 | raise_to -> Ceiling.raise | Jorge Aparicio | |
| 2017-04-21 | drop `lock` methods, add `raise_to` function | Jorge Aparicio | |
| 2017-04-21 | rename "system ceiling" to "current ceiling" | Jorge Aparicio | |
| 2017-04-21 | more docs, remove Ceiling / Priority / Level traits | Jorge Aparicio | |
| 2017-04-20 | fix warning on thumbv6m-none-eabi | Jorge Aparicio | |
| 2017-04-19 | remove claim, add Priority.as_ceiling | Jorge Aparicio | |
| 2017-04-19 | remove the _mut methods | Jorge Aparicio | |
| they are too limited | |||
| 2017-04-19 | tasks! macro: update the signature of `idle` | Jorge Aparicio | |
| 2017-04-19 | critical: don't let the ceiling token escape the critical section | Jorge Aparicio | |
| 2017-04-19 | don't let the ceiling token escape the critical section | Jorge Aparicio | |
| 2017-04-17 | with new formatting (perhaps) | pln | |
| 2017-04-17 | pub interface to logical2hw and hw2logical | pln | |
| 2017-04-14 | wrap references to resources in static-ref's Ref/RefMut | Jorge Aparicio | |
| to assert that they point to `static` data | |||
| 2017-04-14 | re-export bkpt | Jorge Aparicio | |
| 2017-04-14 | change signature of `idle` to ! | Jorge Aparicio | |
| 2017-04-14 | remove unnecessary trait bounds | Jorge Aparicio | |
| 2017-04-14 | pass P0 to init, derive GreaterThanOrEqual for U0 | Jorge Aparicio | |
| 2017-04-13 | add `critical`, a global critical section | Jorge Aparicio | |
| 2017-04-13 | remove system ceiling from `lock_mut` closure | Jorge Aparicio | |
| now it's impossible to do a `borrow` within that critical section as a borrow of the task priority is required (and that's already mutably borrowed by the `lock_mut` closure) | |||
| 2017-04-13 | fix memory safety hole around `borrow` | Jorge Aparicio | |
| 2017-04-13 | re-export Local and wfi from cortex-m | Jorge Aparicio | |
| make Context private | |||
| 2017-04-12 | fix warning | Jorge Aparicio | |
| 2017-04-12 | no lock_mut on thumbv6m | Jorge Aparicio | |
| 2017-04-12 | implement lock_mut | Jorge Aparicio | |
| 2017-04-12 | add `claim_mut` | Jorge Aparicio | |
| 2017-04-12 | fix the tasks! macro | Jorge Aparicio | |
| NVIC.set_priority now requires unsafe | |||
| 2017-04-11 | partial thumv6m-none-eabi support | Jorge Aparicio | |
| 2017-04-09 | simplify the tasks! macro, make the `request` function more straightforward | Jorge Aparicio | |
| in its meaning | |||
| 2017-04-09 | compile time verified ceilings | Jorge Aparicio | |
| 2017-04-07 | drop global critical sections in checked::Resource | Jorge Aparicio | |
| 2017-04-07 | use volatile read/writes for checked::Resource.locked | Jorge Aparicio | |
| 2017-04-07 | removed global critical section from checked::release | Jorge Aparicio | |
| 2017-04-07 | use hw ceilings in checked::Resource.lock{,mut} | Jorge Aparicio | |
| 2017-04-07 | allow returns from checked::Resource.lock{,mut} | Jorge Aparicio | |
| also add compiler barriers | |||
| 2017-04-07 | impl Sync for checked::Resource | Jorge Aparicio | |
| 2017-04-07 | initial version of checked resources | Jorge Aparicio | |
| 2017-04-07 | remove the borrow_mut method from resources | Jorge Aparicio | |
| it can be used to break references rules within nested locks ``` rust static R1: Resource<bool, C1> = unsafe { Resource::new(false) }; static R2: Resource<bool, C2> = unsafe { Resource::new(false) }; static R3: Resource<bool, C3> = unsafe { Resource::new(false) }; // Priority = 1 extern "C" fn j1(task: interrupt::Exti0Irq) { R1.lock(&task, |r1, c1| { R2.lock(&task, |r2, c2| { R3.lock(&task, |r3, mut c3| { // BAD &- and &mut - that point to the same data let r1_ref: &bool = R1.borrow(&c2); let r1_ref_mut: &mut bool = R1.borrow_mut(&mut c3); }); }); }); } ``` | |||
| 2017-04-06 | partial thumbv6m-none-eabi support | Jorge Aparicio | |
| 2017-04-04 | split get in get / get_mut | Jorge Aparicio | |
| 2017-04-04 | add a `queue` function | Jorge Aparicio | |
| 2017-04-03 | add debug assertions to `lock` and `get` | Jorge Aparicio | |
| 2017-04-02 | add a get method to get a raw pointer to the resource data | Jorge Aparicio | |
| 2017-04-02 | rustfmt | Jorge Aparicio | |
| 2017-03-22 | add methods to borrow resources within `interrupt::free` | Jorge Aparicio | |
| 2017-03-11 | make `logical` non-`const`, check input using assertions | Jorge Aparicio | |
| 2017-03-11 | make borrows of non-cooperative resources safe | Jorge Aparicio | |
| 2017-03-10 | add mutable variants of borrow and claim | Jorge Aparicio | |
