Commits · 716fb9ba147a8888cfd391fa83c80e2c554e11b2 · KLEE / cortex-m-rtfm-klee · GitLab

Snippets Groups Projects

Jan 15, 2018
- Auto merge of #65 - japaric:fix-doc-link, r=japaric · 716fb9ba
  homunkulus authored 7 years ago
  716fb9ba
- fix documentation link · d8eb3eac
  Jorge Aparicio authored 7 years ago
  
  d8eb3eac
- Auto merge of #64 - japaric:v3, r=japaric · b73263e8
  homunkulus authored 7 years ago
  View commits for tag v0.3.0 v0.3.0
  
  b73263e8
- v0.3.0 · def4fc80
  Jorge Aparicio authored 7 years ago
  
  def4fc80
Jan 11, 2018
- Auto merge of #63 - japaric:cortex-m-up, r=japaric · 34edc41e
  homunkulus authored 7 years ago
  34edc41e
- adapt to changes in the cortex-m crate · 1be43fc4
  Jorge Aparicio authored 7 years ago
  
  1be43fc4
- Auto merge of #61 - japaric:cm7-r0p1, r=japaric · dd12a6a1
  homunkulus authored 7 years ago
  dd12a6a1
- 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
- Auto merge of #58 - japaric:init-resources, r=japaric · 8a396c51
  homunkulus authored 7 years ago
  8a396c51
- 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 17, 2017
- add missing comma · b00f4fec
  Jorge Aparicio authored 7 years ago
  
  b00f4fec
Dec 09, 2017
- safe `&'static mut` references via init.resources · d30bdcb0
  Jorge Aparicio authored 7 years ago
  
  d30bdcb0
- implement the Resource trait for owned resources · a6dd0041
  Jorge Aparicio authored 7 years ago
  a6dd0041
- drop the Static wrapper · 219e1726
  Jorge Aparicio authored 7 years ago
  
  219e1726
- Auto merge of #57 - japaric:not-sync, r=japaric · 0f5784c2
  homunkulus authored 7 years ago
  0f5784c2
- make resource proxies not Sync · 62c5c1ae
  Jorge Aparicio authored 7 years ago
  
  62c5c1ae
- Auto merge of #56 - japaric:not-send, r=japaric · 40ebb93c
  homunkulus authored 7 years ago
  40ebb93c
- also cache the Xargo directory · d6c240f9
  Jorge Aparicio authored 7 years ago
  
  d6c240f9
- deny warnings and unsafe code in tests and examples · 8f23fdc9
  Jorge Aparicio authored 7 years ago
  
  8f23fdc9
- make resource proxies !Send · 9865a724
  Jorge Aparicio authored 7 years ago
  
  9865a724
- Auto merge of #55 - japaric:late-resources, r=japaric · 0a0e0e2b
  homunkulus authored 7 years ago
  0a0e0e2b
- fix the "generics" example · 512091e8
  Jorge Aparicio authored 7 years ago
  
  512091e8
- rename LateResourceValues to LateResources · 79e2b7dc
  Jorge Aparicio authored 7 years ago
  
  79e2b7dc
- Auto merge of #50 - japaric:singletons, r=japaric · e78ca98c
  homunkulus authored 7 years ago
  e78ca98c
- 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