Commits · dd12a6a14d2bb028c8da96cb510b67de31d28be4 · KLEE / cortex-m-rtfm-klee

Browse files

Jan 11, 2018
- fix the compiletest_rs version · f695bdb7
  Jorge Aparicio authored 7 years ago
  
  f695bdb7
- switch to a stable release of compiletest_rs · 6e3b9a30
  Jorge Aparicio authored 7 years ago
  
  6e3b9a30
- use master branch of cortex-m · 2249985e
  Jorge Aparicio authored 7 years ago
  
  2249985e
Dec 23, 2017
- add a Cargo feature, cm7-r0p1, to fix a Cortex-M7 BASEPRI erratum · c94bd2d9
  Jorge Aparicio authored 7 years ago
  
  c94bd2d9
- switch to a compiletest version that works with the latest nightly · a238fd5d
  Jorge Aparicio authored 7 years ago
  
  a238fd5d
- switch to master branches · 88f50536
  Jorge Aparicio authored 7 years ago
  
  88f50536
Dec 09, 2017
- drop the Static wrapper · 219e1726
  Jorge Aparicio authored 7 years ago
  
  219e1726
- peripherals as scoped singletons · e97afa71
  Jorge Aparicio authored 7 years ago
  
  e97afa71
Dec 08, 2017
- fix cfail tests · 8e523d03
  Jorge Aparicio authored 7 years ago
  
  8e523d03
Nov 22, 2017
- v0.2.2 · 948e1fd0
  Jorge Aparicio authored 7 years ago
  
  View commits for tag v0.2.2 v0.2.2
  
  948e1fd0
Sep 22, 2017
- Bump stm32f103xx version · ee59e871
  Jonas Schievink authored 7 years ago
  ee59e871
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 29, 2017
- v0.2.1 · a43c8a4d
  Jorge Aparicio authored 8 years ago
  
  View commits for tag v0.2.1 v0.2.1
  
  a43c8a4d
- v0.2.0 · 61605481
  Jorge Aparicio authored 8 years ago
  
  View commits for tag v0.2.0 v0.2.0
  
  61605481
- update examples · 2d80f363
  Jorge Aparicio authored 8 years ago
  
  2d80f363
Jul 27, 2017
- refactor Resource / Threshold into its own crate, drop task!, tweak rtfm::atomic · 0b5afce7
  Jorge Aparicio authored 8 years ago
  0b5afce7
Jul 24, 2017
- bump the static-ref dependency · 749ce810
  Jorge Aparicio authored 8 years ago
  
  749ce810
Jul 21, 2017
- `Resource` trait, docs, examples and rtfm-syntax related changes · c7b9507a
  Jorge Aparicio authored 8 years ago
  
  c7b9507a
Jul 20, 2017
- bump cortex-m version to v0.3.1 · 6577f4a9
  Jorge Aparicio authored 8 years ago
  6577f4a9
Jul 18, 2017
- add cfail tests · 1f1cf84a
  Jorge Aparicio authored 8 years ago
  
  1f1cf84a
Jul 12, 2017
- compiler plugin -> proc macro · 59afbf02
  Jorge Aparicio authored 8 years ago
  
  59afbf02
Jul 04, 2017
- rtfm! macro take 2 · 86a360a3
  Jorge Aparicio authored 8 years ago
  
  86a360a3
Jun 06, 2017
- v0.1.1 · 2bf54014
  Jorge Aparicio authored 8 years ago
  
  View commits for tag v0.1.1 v0.1.1
  
  2bf54014
May 09, 2017
- v0.1.0 · 5cecc12d
  Jorge Aparicio authored 8 years ago
  
  View commits for tag v0.1.0 v0.1.0
  
  5cecc12d
May 08, 2017
- replace the ceiling token with a preemption threshold token · fc4cb7d4
  Jorge Aparicio authored 8 years ago
  
  fc4cb7d4
Apr 27, 2017
- add categories · 25f959d3
  Jorge Aparicio authored 8 years ago
  
  25f959d3
Apr 21, 2017
- more docs, remove Ceiling / Priority / Level traits · 4992db78
  Jorge Aparicio authored 8 years ago
  
  4992db78
Apr 14, 2017
- wrap references to resources in static-ref's Ref/RefMut · a94de6ba
  Jorge Aparicio authored 8 years ago
  a94de6ba
Apr 10, 2017
- compile time verified ceilings · 595404c5
  Jorge Aparicio authored 8 years ago
  
  595404c5
Apr 07, 2017
- use volatile read/writes for checked::Resource.locked · 185f368d
  Jorge Aparicio authored 8 years ago
  
  185f368d
- allow returns from checked::Resource.lock{,mut} · f2bab47a
  Jorge Aparicio authored 8 years ago
  f2bab47a
Mar 12, 2017
- use stable release of the cortex-m crate · 441a8227
  Jorge Aparicio authored 8 years ago
  
  441a8227
Mar 08, 2017
- adapt to changes in cortex-m, verify the input of the `priority` function · d88a15fb
  Jorge Aparicio authored 8 years ago
  
  d88a15fb
Mar 05, 2017
- initial commit · aba93337
  Jorge Aparicio authored 8 years ago
  
  aba93337