| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-04-12 | no lock_mut on thumbv6m | Jorge Aparicio | |
| 2017-04-12 | add cfail tests for the tasks! macro | Jorge Aparicio | |
| 2017-04-12 | rustfmt | 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 | ci: allow auto and try branches | Jorge Aparicio | |
| 2017-04-11 | partial thumv6m-none-eabi support | Jorge Aparicio | |
| 2017-04-11 | add CI | 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-12 | use stable release of the cortex-m crate | 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 | |
| 2017-03-10 | Token was renamed to Context | Jorge Aparicio | |
| 2017-03-10 | rename `priority` to `logical` | Jorge Aparicio | |
| 2017-03-09 | turn ceilings into types | Jorge Aparicio | |
| 2017-03-08 | Resource::new is also unsafe | Jorge Aparicio | |
| 2017-03-08 | adapt to changes in cortex-m, verify the input of the `priority` function | Jorge Aparicio | |
| 2017-03-05 | make priority a const fn | Jorge Aparicio | |
| 2017-03-05 | initial commit | Jorge Aparicio | |
