Add rtic-timer (timerqueue + monotonic) and rtic-monotonics (systick-monotonic)

54 files changed, 0 insertions, 181 deletions

diff --git a/ci/expected/async-delay.run b/ci/expected/async-delay.run
deleted file mode 100644
index 61852ab..0000000
--- a/ci/expected/async-delay.run
+++ /dev/null
@@ -1,7 +0,0 @@
-init
-hello from bar
-hello from baz
-hello from foo
-bye from foo
-bye from bar
-bye from baz
diff --git a/ci/expected/async-infinite-loop.run b/ci/expected/async-infinite-loop.run
deleted file mode 100644
index f9fd4e4..0000000
--- a/ci/expected/async-infinite-loop.run
+++ /dev/null
@@ -1,6 +0,0 @@
-init
-hello from async 0
-hello from async 1
-hello from async 2
-hello from async 3
-hello from async 4
diff --git a/ci/expected/async-task-multiple-prios.run b/ci/expected/async-task-multiple-prios.run
deleted file mode 100644
index 0b42df0..0000000
--- a/ci/expected/async-task-multiple-prios.run
+++ /dev/null
@@ -1,6 +0,0 @@
-init
-hello from async 3 a 1
-hello from async 4 a 2
-hello from async 1 a 3
-hello from async 2 a 4
-idle
diff --git a/ci/expected/async-task.run b/ci/expected/async-task.run
deleted file mode 100644
index 1f93a4c..0000000
--- a/ci/expected/async-task.run
+++ /dev/null
@@ -1,5 +0,0 @@
-init
-hello from async2
-hello from async
-hello from async with args a: 1, b: 2
-idle
diff --git a/ci/expected/async-timeout.run b/ci/expected/async-timeout.run
deleted file mode 100644
index a807423..0000000
--- a/ci/expected/async-timeout.run
+++ /dev/null
@@ -1,5 +0,0 @@
-init
-hello from bar
-hello from foo
-foo no timeout
-bar timeout
diff --git a/ci/expected/big-struct-opt.run b/ci/expected/big-struct-opt.run
deleted file mode 100644
index 7fdef35..0000000
--- a/ci/expected/big-struct-opt.run
+++ /dev/null
@@ -1,3 +0,0 @@
-async_task data:[22, 22, 22, 22, 22]
-uart0 data:[22, 22, 22, 22, 22]
-idle
diff --git a/ci/expected/binds.run b/ci/expected/binds.run
deleted file mode 100644
index f84cff0..0000000
--- a/ci/expected/binds.run
+++ /dev/null
@@ -1,4 +0,0 @@
-init
-foo called 1 time
-idle
-foo called 2 times
diff --git a/ci/expected/cancel-reschedule.run b/ci/expected/cancel-reschedule.run
deleted file mode 100644
index 5a94752..0000000
--- a/ci/expected/cancel-reschedule.run
+++ /dev/null
@@ -1,3 +0,0 @@
-init
-foo
-bar
diff --git a/ci/expected/capacity.run b/ci/expected/capacity.run
deleted file mode 100644
index f96815d..0000000
--- a/ci/expected/capacity.run
+++ /dev/null
@@ -1,5 +0,0 @@
-foo(0)
-foo(1)
-foo(2)
-foo(3)
-bar
diff --git a/ci/expected/cfg-monotonic.run b/ci/expected/cfg-monotonic.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/cfg-monotonic.run
+++ /dev/null
diff --git a/ci/expected/cfg-whole-task.run b/ci/expected/cfg-whole-task.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/cfg-whole-task.run
+++ /dev/null
diff --git a/ci/expected/common.run b/ci/expected/common.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/common.run
+++ /dev/null
diff --git a/ci/expected/complex.run b/ci/expected/complex.run
deleted file mode 100644
index 5df884d..0000000
--- a/ci/expected/complex.run
+++ /dev/null
@@ -1,47 +0,0 @@
-init
-idle p0 started
-t2 p4 called 1 time
-enter lock s4 0
-t3 p4 exit
-idle enter lock s3 0
-idle pend t0
-idle pend t1
-idle pend t2
-t2 p4 called 2 times
-enter lock s4 1
-t3 p4 exit
-idle still in lock s3 0
-t1 p3 called 1 time
-t1 enter lock s4 2
-t1 pend t0
-t1 pend t2
-t1 still in lock s4 2
-t2 p4 called 3 times
-enter lock s4 2
-t3 p4 exit
-t1 p3 exit
-t0 p2 called 1 time
-t0 p2 exit
-
-back in idle
-enter lock s2 0
-idle pend t0
-idle pend t1
-t1 p3 called 2 times
-t1 enter lock s4 3
-t1 pend t0
-t1 pend t2
-t1 still in lock s4 3
-t2 p4 called 4 times
-enter lock s4 3
-t3 p4 exit
-t1 p3 exit
-idle pend t2
-t2 p4 called 5 times
-enter lock s4 4
-t3 p4 exit
-idle still in lock s2 0
-t0 p2 called 2 times
-t0 p2 exit
-
-idle exit
diff --git a/ci/expected/declared_locals.run b/ci/expected/declared_locals.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/declared_locals.run
+++ /dev/null
diff --git a/ci/expected/destructure.run b/ci/expected/destructure.run
deleted file mode 100644
index 25a4b1b..0000000
--- a/ci/expected/destructure.run
+++ /dev/null
@@ -1,2 +0,0 @@
-bar: a = 0, b = 1, c = 2
-foo: a = 0, b = 1, c = 2
diff --git a/ci/expected/extern_binds.run b/ci/expected/extern_binds.run
deleted file mode 100644
index 9d925d5..0000000
--- a/ci/expected/extern_binds.run
+++ /dev/null
@@ -1,4 +0,0 @@
-init
-foo called
-idle
-foo called
diff --git a/ci/expected/extern_spawn.run b/ci/expected/extern_spawn.run
deleted file mode 100644
index 257cc56..0000000
--- a/ci/expected/extern_spawn.run
+++ /dev/null
@@ -1 +0,0 @@
-foo
diff --git a/ci/expected/generics.run b/ci/expected/generics.run
deleted file mode 100644
index fb31731..0000000
--- a/ci/expected/generics.run
+++ /dev/null
@@ -1,6 +0,0 @@
-UART1(STATE = 0)
-shared: 0 -> 1
-UART0(STATE = 0)
-shared: 1 -> 2
-UART1(STATE = 1)
-shared: 2 -> 4
diff --git a/ci/expected/hardware.run b/ci/expected/hardware.run
deleted file mode 100644
index ef00864..0000000
--- a/ci/expected/hardware.run
+++ /dev/null
@@ -1,4 +0,0 @@
-init
-UART0 called 1 time
-idle
-UART0 called 2 times
diff --git a/ci/expected/idle-wfi.run b/ci/expected/idle-wfi.run
deleted file mode 100644
index 4307776..0000000
--- a/ci/expected/idle-wfi.run
+++ /dev/null
@@ -1,2 +0,0 @@
-init
-idle
diff --git a/ci/expected/idle.run b/ci/expected/idle.run
deleted file mode 100644
index 4307776..0000000
--- a/ci/expected/idle.run
+++ /dev/null
@@ -1,2 +0,0 @@
-init
-idle
diff --git a/ci/expected/init.run b/ci/expected/init.run
deleted file mode 100644
index b1b7161..0000000
--- a/ci/expected/init.run
+++ /dev/null
@@ -1 +0,0 @@
-init
diff --git a/ci/expected/locals.run b/ci/expected/locals.run
deleted file mode 100644
index 4f1d350..0000000
--- a/ci/expected/locals.run
+++ /dev/null
@@ -1,3 +0,0 @@
-bar: local_to_bar = 1
-foo: local_to_foo = 1
-idle: local_to_idle = 1
diff --git a/ci/expected/lock-free.run b/ci/expected/lock-free.run
deleted file mode 100644
index 18de0ec..0000000
--- a/ci/expected/lock-free.run
+++ /dev/null
@@ -1,2 +0,0 @@
-  foo = 1
-  bar = 2
diff --git a/ci/expected/lock.run b/ci/expected/lock.run
deleted file mode 100644
index a987b37..0000000
--- a/ci/expected/lock.run
+++ /dev/null
@@ -1,5 +0,0 @@
-A
-B - shared = 1
-C
-D - shared = 2
-E
diff --git a/ci/expected/message.run b/ci/expected/message.run
deleted file mode 100644
index 11814db..0000000
--- a/ci/expected/message.run
+++ /dev/null
@@ -1,6 +0,0 @@
-foo
-bar(0)
-baz(1, 2)
-foo
-bar(1)
-baz(2, 3)
diff --git a/ci/expected/message_passing.run b/ci/expected/message_passing.run
deleted file mode 100644
index a1448d8..0000000
--- a/ci/expected/message_passing.run
+++ /dev/null
@@ -1,3 +0,0 @@
-foo 1, 1
-foo 1, 2
-foo 2, 3
diff --git a/ci/expected/multilock.run b/ci/expected/multilock.run
deleted file mode 100644
index dd8c1f2..0000000
--- a/ci/expected/multilock.run
+++ /dev/null
@@ -1 +0,0 @@
-Multiple locks, s1: 1, s2: 1, s3: 1
diff --git a/ci/expected/not-sync.run b/ci/expected/not-sync.run
deleted file mode 100644
index cd91476..0000000
--- a/ci/expected/not-sync.run
+++ /dev/null
@@ -1,3 +0,0 @@
-init
-bar a 13
-foo a 13
diff --git a/ci/expected/only-shared-access.run b/ci/expected/only-shared-access.run
deleted file mode 100644
index dcc73e6..0000000
--- a/ci/expected/only-shared-access.run
+++ /dev/null
@@ -1,2 +0,0 @@
-bar(key = 0xdeadbeef)
-foo(key = 0xdeadbeef)
diff --git a/ci/expected/periodic-at.run b/ci/expected/periodic-at.run
deleted file mode 100644
index bf5bb06..0000000
--- a/ci/expected/periodic-at.run
+++ /dev/null
@@ -1,4 +0,0 @@
-foo Instant { ticks: 0 }
-foo Instant { ticks: 10 }
-foo Instant { ticks: 20 }
-foo Instant { ticks: 30 }
diff --git a/ci/expected/periodic-at2.run b/ci/expected/periodic-at2.run
deleted file mode 100644
index 6e56421..0000000
--- a/ci/expected/periodic-at2.run
+++ /dev/null
@@ -1,7 +0,0 @@
-foo Instant { ticks: 0 }
-bar Instant { ticks: 10 }
-foo Instant { ticks: 30 }
-bar Instant { ticks: 40 }
-foo Instant { ticks: 60 }
-bar Instant { ticks: 70 }
-foo Instant { ticks: 90 }
diff --git a/ci/expected/periodic.run b/ci/expected/periodic.run
deleted file mode 100644
index a1f8944..0000000
--- a/ci/expected/periodic.run
+++ /dev/null
@@ -1,4 +0,0 @@
-foo
-foo
-foo
-foo
diff --git a/ci/expected/peripherals-taken.run b/ci/expected/peripherals-taken.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/peripherals-taken.run
+++ /dev/null
diff --git a/ci/expected/pool.run b/ci/expected/pool.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/pool.run
+++ /dev/null
diff --git a/ci/expected/preempt.run b/ci/expected/preempt.run
deleted file mode 100644
index 932b2b3..0000000
--- a/ci/expected/preempt.run
+++ /dev/null
@@ -1,5 +0,0 @@
-foo - start
- baz - start
- baz - end
- bar
-foo - end
diff --git a/ci/expected/ramfunc.run b/ci/expected/ramfunc.run
deleted file mode 100644
index 257cc56..0000000
--- a/ci/expected/ramfunc.run
+++ /dev/null
@@ -1 +0,0 @@
-foo
diff --git a/ci/expected/ramfunc.run.grep.bar b/ci/expected/ramfunc.run.grep.bar
deleted file mode 100644
index 33e002f..0000000
--- a/ci/expected/ramfunc.run.grep.bar
+++ /dev/null
@@ -1 +0,0 @@
-20000000 t ramfunc::bar::h9d6714fe5a3b0c89
diff --git a/ci/expected/ramfunc.run.grep.foo b/ci/expected/ramfunc.run.grep.foo
deleted file mode 100644
index 44e8822..0000000
--- a/ci/expected/ramfunc.run.grep.foo
+++ /dev/null
@@ -1 +0,0 @@
-00000162 t ramfunc::foo::h30e7789b08c08e19
diff --git a/ci/expected/resource-user-struct.run b/ci/expected/resource-user-struct.run
deleted file mode 100644
index a587a94..0000000
--- a/ci/expected/resource-user-struct.run
+++ /dev/null
@@ -1,2 +0,0 @@
-UART0: shared = 1
-UART1: shared = 2
diff --git a/ci/expected/schedule.run b/ci/expected/schedule.run
deleted file mode 100644
index 1dbd445..0000000
--- a/ci/expected/schedule.run
+++ /dev/null
@@ -1,4 +0,0 @@
-init
-foo
-bar
-baz
diff --git a/ci/expected/shared.run b/ci/expected/shared.run
deleted file mode 100644
index 6d3d3e4..0000000
--- a/ci/expected/shared.run
+++ /dev/null
@@ -1 +0,0 @@
-received message: 42
diff --git a/ci/expected/smallest.run b/ci/expected/smallest.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/smallest.run
+++ /dev/null
diff --git a/ci/expected/spawn.run b/ci/expected/spawn.run
deleted file mode 100644
index 240cd18..0000000
--- a/ci/expected/spawn.run
+++ /dev/null
@@ -1,2 +0,0 @@
-init
-foo
diff --git a/ci/expected/static.run b/ci/expected/static.run
deleted file mode 100644
index 3d3f46f..0000000
--- a/ci/expected/static.run
+++ /dev/null
@@ -1,3 +0,0 @@
-received message: 1
-received message: 2
-received message: 3
diff --git a/ci/expected/t-binds.run b/ci/expected/t-binds.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-binds.run
+++ /dev/null
diff --git a/ci/expected/t-cfg-resources.run b/ci/expected/t-cfg-resources.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-cfg-resources.run
+++ /dev/null
diff --git a/ci/expected/t-htask-main.run b/ci/expected/t-htask-main.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-htask-main.run
+++ /dev/null
diff --git a/ci/expected/t-idle-main.run b/ci/expected/t-idle-main.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-idle-main.run
+++ /dev/null
diff --git a/ci/expected/t-late-not-send.run b/ci/expected/t-late-not-send.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-late-not-send.run
+++ /dev/null
diff --git a/ci/expected/t-schedule.run b/ci/expected/t-schedule.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-schedule.run
+++ /dev/null
diff --git a/ci/expected/t-spawn.run b/ci/expected/t-spawn.run
deleted file mode 100644
index e69de29..0000000
--- a/ci/expected/t-spawn.run
+++ /dev/null
diff --git a/ci/expected/task.run b/ci/expected/task.run
deleted file mode 100644
index de45dce..0000000
--- a/ci/expected/task.run
+++ /dev/null
@@ -1,5 +0,0 @@
-foo - start
-foo - middle
-baz
-foo - end
-bar
diff --git a/ci/expected/zero-prio-task.run b/ci/expected/zero-prio-task.run
deleted file mode 100644
index 123b0f2..0000000
--- a/ci/expected/zero-prio-task.run
+++ /dev/null
@@ -1,3 +0,0 @@
-init
-hello from async
-hello from async2