added logic to cover missing sections (#18)

Author: dietmarkuehl

bin/mk-todo.py

@@ -15,6 +15,8 @@
 json = json.loads(open("docs/TODO.json").read())
 
 list = re.findall('<a class="self-link" href="#spec-([^"]*)">', html)
+list.append("allocator.requirements.general")
+list.append("exec.awaitables")
 
 fail = "&#x2705;"  # "&#9744;"
 ok   = "&#x1F534;" # "&#9745;"

docs/TODO.json

@@ -1,4 +1,18 @@
 {
+    "execution": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.queries": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.receivers": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.senders": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.senders.factories": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.senders.adapt": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.senders.consumers": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.snd_rec_utils": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.contexts": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.coro_utils": { "code":true, "test":true, "doc":true, "comment":"empty" },
+    "execution.receivers.set_value": { "code":true, "test":true, "doc":false },
+    "execution.receivers.set_error": { "code":true, "test":true, "doc":false },
+    "execution.receivers.set_stopped": { "code":true, "test":true, "doc":false },
+    "execution.general": { "code":true, "test":true, "doc":false },
     "except": { "code":true, "test":true, "doc":true, "comment":"empty" },
     "except.special": { "code":true, "test":true, "doc":true, "comment":"empty" },
     "library": { "code":true, "test":true, "doc":true, "comment":"term definition only" },

docs/TODO.md

@@ -41,14 +41,14 @@
 | [[stopcallback.inplace](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#stopcallback.inplace)] | ✅ | ✅ | ✅ | empty |
 | [[stopcallback.inplace.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#stopcallback.inplace.general)] | ✅ | ✅ | 🔴 |  |
 | [[stopcallback.inplace.cons](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#stopcallback.inplace.cons)] | ✅ | ✅ | 🔴 |  |
-| [[execution](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.general)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution)] | ✅ | ✅ | ✅ | empty |
+| [[execution.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.general)] | ✅ | ✅ | 🔴 |  |
 | [[execution.queryable](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.queryable)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.queryable.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.queryable.general)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.queryable.concept](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.queryable.concept)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution-async.ops](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution-async.ops)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.syn](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.syn)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.queries](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.queries)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.queries](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.queries)] | ✅ | ✅ | ✅ | empty |
 | [[execution.forwarding_query](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.forwarding_query)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.get_allocator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.get_allocator)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.get_stop_token](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.get_stop_token)] | 🔴 | 🔴 | 🔴 |  |
@@ -59,14 +59,14 @@
 | [[execution.get_forward_progress_guarantee](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.get_forward_progress_guarantee)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.get_completion_scheduler](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.get_completion_scheduler)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.schedulers](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.schedulers)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.receivers](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.receivers](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers)] | ✅ | ✅ | ✅ | empty |
 | [[execution.receiver_concepts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receiver_concepts)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.receivers.set_value](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_value)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.receivers.set_error](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_error)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.receivers.set_stopped](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_stopped)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.receivers.set_value](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_value)] | ✅ | ✅ | 🔴 |  |
+| [[execution.receivers.set_error](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_error)] | ✅ | ✅ | 🔴 |  |
+| [[execution.receivers.set_stopped](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.receivers.set_stopped)] | ✅ | ✅ | 🔴 |  |
 | [[execution.opstate](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.opstate)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.opstate.start](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.opstate.start)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.senders](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.senders](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders)] | ✅ | ✅ | ✅ | empty |
 | [[execution.senders.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.general)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.snd.concepts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.snd.concepts)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.default_domain](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.default_domain)] | 🔴 | 🔴 | 🔴 |  |
@@ -76,11 +76,11 @@
 | [[execution.apply_sender](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.apply_sender)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.getcomplsigs](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.getcomplsigs)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.connect](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.connect)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.senders.factories](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.factories)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.senders.factories](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.factories)] | ✅ | ✅ | ✅ | empty |
 | [[execution.senders.schedule](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.schedule)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.just](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.just)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.read.env](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.read.env)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.senders.adapt](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.senders.adapt](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt)] | ✅ | ✅ | ✅ | empty |
 | [[execution.senders.adapt.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt.general)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.adaptor.objects](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adaptor.objects)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.adapt.starts.on](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt.starts.on)] | 🔴 | 🔴 | 🔴 |  |
@@ -95,16 +95,18 @@
 | [[execution.senders.adapt.into_variant](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt.into_variant)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.adapt.stopped_as_optional](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt.stopped_as_optional)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.senders.adapt.stopped_as_error](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.adapt.stopped_as_error)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.senders.consumers](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.consumers)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.senders.consumers](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.consumers)] | ✅ | ✅ | ✅ | empty |
 | [[execution.senders.consumers.sync_wait](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.senders.consumers.sync_wait)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.snd_rec_utils](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.snd_rec_utils)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.snd_rec_utils](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.snd_rec_utils)] | ✅ | ✅ | ✅ | empty |
 | [[execution.snd_rec_utils.completion_sigs](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.snd_rec_utils.completion_sigs)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.snd_rec_utils.transform_completion_sigs](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.snd_rec_utils.transform_completion_sigs)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.contexts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.contexts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts)] | ✅ | ✅ | ✅ | empty |
 | [[execution.contexts.run_loop](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts.run_loop)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.contexts.run_loop.types](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts.run_loop.types)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.contexts.run_loop.ctor](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts.run_loop.ctor)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.contexts.run_loop.members](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.contexts.run_loop.members)] | 🔴 | 🔴 | 🔴 |  |
-| [[execution.coro_utils](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.coro_utils)] | 🔴 | 🔴 | 🔴 |  |
+| [[execution.coro_utils](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.coro_utils)] | ✅ | ✅ | ✅ | empty |
 | [[execution.coro_utils.as_awaitable](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.coro_utils.as_awaitable)] | 🔴 | 🔴 | 🔴 |  |
 | [[execution.coro_utils.with_awaitable_senders](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#execution.coro_utils.with_awaitable_senders)] | 🔴 | 🔴 | 🔴 |  |
+| [[allocator.requirements.general](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#allocator.requirements.general)] | 🔴 | 🔴 | 🔴 |  |
+| [[exec.awaitables](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html#exec.awaitables)] | 🔴 | 🔴 | 🔴 |  |