Commits · 9865a7246df289bfa5f65ba47c883c4ce3e108a9 · KLEE / cortex-m-rtfm-klee · GitLab

Snippets Groups Projects

Dec 09, 2017
- make resource proxies !Send · 9865a724
  Jorge Aparicio authored 7 years ago
  
  9865a724
- rename LateResourceValues to LateResources · 79e2b7dc
  Jorge Aparicio authored 7 years ago
  
  79e2b7dc
- remove special case around peripherals from codegen · 1830bdbe
  Jorge Aparicio authored 7 years ago
  
  1830bdbe
- peripherals as scoped singletons · e97afa71
  Jorge Aparicio authored 7 years ago
  
  e97afa71
Oct 02, 2017
- fix `idle::Resources::new` · 2415a640
  Jorge Aparicio authored 7 years ago
  2415a640
Sep 22, 2017
- Fix shared resource handling and extend example. · 15569484
  Jonas Schievink authored 7 years ago
  15569484
- Simplify iterator usage · 70e24369
  Jonas Schievink authored 7 years ago
  
  70e24369
Sep 06, 2017
- Use `untagged_option` crate · 57ed0963
  Jonas Schievink authored 7 years ago
  
  57ed0963
Sep 03, 2017
- Allow initialization of resources in `init`. · 7ebba496
  Jonas Schievink authored 7 years ago
  
  7ebba496
Jul 28, 2017
- `Send`-ness check is now in rtfm-core · 271df39b
  Jorge Aparicio authored 7 years ago
  
  271df39b
- make task.$T.path mandatory · b9f50e43
  Jorge Aparicio authored 7 years ago
  
  b9f50e43
Jul 27, 2017
- make task.$T.enabled optional · d396da59
  Jorge Aparicio authored 7 years ago
  d396da59
- don't generate empty modules · dd539d11
  Jorge Aparicio authored 7 years ago
  
  dd539d11
- refactor Resource / Threshold into its own crate, drop task!, tweak rtfm::atomic · 0b5afce7
  Jorge Aparicio authored 7 years ago
  0b5afce7
- provide a Threshold token even when all resources are lockless · dee2fcde
  Jorge Aparicio authored 7 years ago
  dee2fcde
Jul 26, 2017
- fix around owned idle resource · 4a1509cb
  Jorge Aparicio authored 7 years ago
  
  4a1509cb
- fix errors around the use of `super` in relative paths · 8aa36210
  Jorge Aparicio authored 7 years ago
  
  8aa36210
Jul 25, 2017
- more "hygiene" · 0e05682d
  Jorge Aparicio authored 7 years ago
  0e05682d
- task! is not needed if tasks.$T.path is specified · fb454281
  Jorge Aparicio authored 7 years ago
  
  fb454281
Jul 24, 2017
- don't wrap static references in a `Static` · f5a4d8e9
  Jorge Aparicio authored 8 years ago
  
  f5a4d8e9
- drop rtfm::Cell · f3b397f4
  Jorge Aparicio authored 8 years ago
  
  f3b397f4
- drop idle.locals · 03f373fb
  Jorge Aparicio authored 8 years ago
  
  03f373fb
Jul 21, 2017
- misc fixes · bf4eabf2
  Jorge Aparicio authored 8 years ago
  
  bf4eabf2
- `Resource` trait, docs, examples and rtfm-syntax related changes · c7b9507a
  Jorge Aparicio authored 8 years ago
  
  c7b9507a
Jul 19, 2017
- make compatible with the unsafe_code lint · 877a3244
  Jorge Aparicio authored 8 years ago
  
  877a3244
- tasks / idle have exclusive access to Threshold, but do not own the token · 97a7e38d
  Jorge Aparicio authored 8 years ago
  
  97a7e38d
- resources owned by idle have 'static lifetime · a2b0c9e0
  Jorge Aparicio authored 8 years ago
  
  a2b0c9e0
Jul 14, 2017
- split macro parser into its own crate and improve error handling / reporting · 98596554
  Jorge Aparicio authored 8 years ago
  
  98596554
Jul 12, 2017
- compiler plugin -> proc macro · 59afbf02
  Jorge Aparicio authored 8 years ago
  
  59afbf02
Jul 09, 2017
- make the init::Resources argument optional · 8485a24d
  Jorge Aparicio authored 8 years ago
  
  8485a24d
- fix unused variable warning around interrupt::free · e18eb961
  Jorge Aparicio authored 8 years ago
  
  e18eb961
Jul 07, 2017
- syntax tweaks, relax check, add set_pending(), deal with imported types · 3cebf49a
  Jorge Aparicio authored 8 years ago
  3cebf49a
Jul 06, 2017
- rtfm!: remove init.resources and make idle.local optional · 4b0c3bff
  Jorge Aparicio authored 8 years ago
  
  4b0c3bff
Jul 04, 2017
- rtfm! macro take 2 · 86a360a3
  Jorge Aparicio authored 8 years ago
  
  86a360a3