Hugo van der Wijst
|
be8a5e89b8
|
Make identifiers deterministic.
|
2019-02-16 00:23:01 +01:00 |
|
Hugo van der Wijst
|
2f89688ca9
|
Make builds reproducible
This is done by using `BTreeMap`s and `BTreeSet`s to get deterministic
ordering.
Also updated the CI job to check reproducibility of all examples.
|
2019-02-16 00:22:22 +01:00 |
|
Jorge Aparicio
|
5f7e831d27
|
fix non_camel_case_types warnings
|
2019-02-13 15:37:24 +01:00 |
|
Jorge Aparicio
|
88599780e0
|
accept init: fn() -> init::LateResources
|
2019-02-12 14:53:49 +01:00 |
|
Hugo van der Wijst
|
45e98afbc1
|
Fix build on recent nightlies.
|
2019-01-17 10:55:21 -08:00 |
|
Jorge Aparicio
|
56d09a12dd
|
move macros crate to the 2018 edition
|
2018-12-16 19:14:58 +01:00 |
|
Jorge Aparicio
|
8e9a91d0b0
|
properly handle #[cfg] (conditional compilation) on tasks
|
2018-12-16 19:10:36 +01:00 |
|
Jorge Aparicio
|
4345c10596
|
properly handle #[cfg] (conditional compilation) on resources
|
2018-12-16 18:37:36 +01:00 |
|
Jorge Aparicio
|
9757c33b00
|
use the single core variant of spsc::Queue
|
2018-12-16 01:11:54 +01:00 |
|
Jorge Aparicio
|
4f00d8bd78
|
codegen/statics: forward #[cfg] attributes
fixes #110
|
2018-12-15 22:04:30 +01:00 |
|
Jorge Aparicio
|
d14e25d72d
|
move some interrupt configuration to pre_init
|
2018-12-15 20:35:00 +01:00 |
|
Jorge Aparicio
|
f7ac71ab22
|
codegen: merge dictionaries related to task dispatchers
|
2018-12-15 19:17:08 +01:00 |
|
Jorge Aparicio
|
0b3f0b2eb5
|
codegen: merge dictionaries related to tasks
|
2018-12-15 19:07:09 +01:00 |
|
Jorge Aparicio
|
35bb76ef5f
|
codegen: stop using export_name
`export_name` creates external symbols that won't be removed when using `-Z
emit-stack-sizes`
|
2018-12-02 17:43:36 +01:00 |
|
Jorge Aparicio
|
22d758ddac
|
fix codegen
|
2018-11-04 19:46:49 +01:00 |
|
Jorge Aparicio
|
37a0692a0f
|
impl Mutex on all shared resources
document how to write generic code that operates on resources
|
2018-11-04 18:50:42 +01:00 |
|
Jorge Aparicio
|
c631049efc
|
v0.4.0
closes #32
closes #33
|
2018-11-03 17:16:55 +01:00 |
|