Commits · 1830bdbe5c10814031e5022552a09147d5c534fc · KLEE / cortex-m-rtfm-klee

Browse files

Dec 09, 2017
- 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
Dec 08, 2017
- Auto merge of #54 - japaric:fix-tests, r=japaric · e620b1e5
  homunkulus authored 7 years ago
  e620b1e5
- ci: switch back to a recent nightly · 815c3d96
  Jorge Aparicio authored 7 years ago
  
  815c3d96
- fix cfail tests · 8e523d03
  Jorge Aparicio authored 7 years ago
  
  8e523d03
Nov 22, 2017
- Auto merge of #51 - japaric:ci, r=japaric · 99df0776
  homunkulus authored 7 years ago
  99df0776
- use older nightly for the x86_64 linux target · cdb2118c
  Jorge Aparicio authored 7 years ago
  
  cdb2118c
- fix ci · e90cf07d
  Jorge Aparicio authored 7 years ago
  
  e90cf07d
- v0.2.2 · 948e1fd0
  Jorge Aparicio authored 7 years ago
  
  View commits for tag v0.2.2 v0.2.2
  
  948e1fd0
Oct 02, 2017
- fix the example · c184f91e
  Jorge Aparicio authored 7 years ago
  
  c184f91e
- fix `idle::Resources::new` · 2415a640
  Jorge Aparicio authored 7 years ago
  2415a640
Sep 22, 2017
- Use `true` as the armv6 linker · a190da3e
  Jonas Schievink authored 7 years ago
  a190da3e
- Pin Travis to Xargo 0.3.8 · df85298c
  Jonas Schievink authored 7 years ago
  
  df85298c
- Use rtfm-syntax 0.2.0 · b50c9095
  Jonas Schievink authored 7 years ago
  
  b50c9095
- Add cfail test for late resources · be1a27cc
  Jonas Schievink authored 7 years ago
  
  be1a27cc
- 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
- Fix warning in wrong-threshold cfail test · b1777ebd
  Jonas Schievink authored 7 years ago
  
  b1777ebd
- Don't use deprecated method to create compiletest config · 21d1f6b9
  Jonas Schievink authored 7 years ago
  
  21d1f6b9
- Hide `UntaggedOption` reexport · bbc87362
  Jonas Schievink authored 7 years ago
  
  bbc87362
- 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 04, 2017
- Add late resources example · c8bdb732
  Jonas Schievink authored 7 years ago
  
  c8bdb732
Sep 03, 2017
- Allow initialization of resources in `init`. · 7ebba496
  Jonas Schievink authored 7 years ago
  
  7ebba496
Jul 29, 2017
- extend v0.2.0 CHANGELOG · 27fc7e99
  Jorge Aparicio authored 7 years ago
  
  27fc7e99
- v0.2.1 · a43c8a4d
  Jorge Aparicio authored 7 years ago
  
  View commits for tag v0.2.1 v0.2.1
  
  a43c8a4d
- v0.2.0 · 61605481
  Jorge Aparicio authored 7 years ago
  
  View commits for tag v0.2.0 v0.2.0
  
  61605481
- update examples · 2d80f363
  Jorge Aparicio authored 7 years ago
  
  2d80f363
Jul 28, 2017
- update examples · e85d6e53
  Jorge Aparicio authored 7 years ago
  
  e85d6e53
- `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
- fix yet another warning on ARMv6-M · ad2a523c
  Jorge Aparicio authored 7 years ago
  
  ad2a523c
- travis: install linker · 7d0c07cd
  Jorge Aparicio authored 7 years ago
  
  7d0c07cd
- fix warning on ARMv6-M · 5e83dc29
  Jorge Aparicio authored 7 years ago
  
  5e83dc29
- don't generate empty modules · dd539d11
  Jorge Aparicio authored 7 years ago
  
  dd539d11
- make task.$T.priority optional · b37c45ad
  Jorge Aparicio authored 7 years ago
  b37c45ad
- update tests and examples · aa224945
  Jorge Aparicio authored 7 years ago
  aa224945
- 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