Fixing omissions - #308

Merged

dietmarkuehl merged 12 commits into

mainfrom

fixing-omissions

Aug 16, 2026

Commits on Aug 11, 2026

reviewed MANDATE-NOTHROW and AS-CONST use
dietmarkuehl
committed
22884dc

Commits on Aug 14, 2026

fix get_domain and stop_when
dietmarkuehl
committed
8660d7c
fixed initializer list in stop_when (and formatting)
dietmarkuehl
committed
2042466
mark unused object in a test as such
dietmarkuehl
committed
c3ec6e7

Commits on Aug 15, 2026

Merge branch 'main' into fixing-omissions
dietmarkuehl
committed
865d7d9
fixed outview.md in some p;laces and added missing documentation
dietmarkuehl
committed
f5c1b90
added the missing infallible-scheduler test
dietmarkuehl
committed
a96fb21
added inlinable_receiver impelmentation, test, and documentation
dietmarkuehl
committed
e219ed1
formatted the code
dietmarkuehl
committed
4ddc85d
removed an unused parameter
dietmarkuehl
committed
ac942d1
clang-format
dietmarkuehl
committed
94e7c7f

Commits on Aug 16, 2026

fixed a few documentation issues and add some missing counting scope stuff
dietmarkuehl
committed
e1b3468