Add first documentation on MIO

Author: tolauwae

warduino/.vitepress/components/home.vue

@@ -66,7 +66,7 @@ const {frontmatter: fm} = useData()
                   </div>
                 </div>
                 <p><a href="./reference/architecture.html">-&gt; WARDuino architecture</a></p>
-                <p><a href="./reference/primitives.html">-&gt; Built-in primitives</a></p>
+                <p><a href="./reference/actions/index.html">-&gt; Built-in actions</a></p>
                 <p><a href="./reference/debug-protocol.html">-&gt; Remote debug protocol</a></p>
                 <p><a href="./reference/edward/index.html">-&gt; EDWARD debugger</a></p>
                 <p><a href="./latch/index.html">-&gt; Latch testing</a></p>
@@ -115,7 +115,17 @@ const {frontmatter: fm} = useData()
                 <p><a href="https://github.com/TOPLLab/as-warduino-template" target="_blank">-&gt; AssemblyScript <span
                     class="material-symbols-rounded">open_in_new</span></a></p>
               </article>
-              <div></div>
+              <article class="list">
+                <div class="heading">
+                  <div class="icon">
+                    <span class="material-symbols-rounded">newsstand</span>
+                  </div>
+                  <div>
+                    <h4>Blog posts</h4>
+                  </div>
+                </div>
+                <p><a style="font-size: 14px" href="./blog/multiverse.html">-&gt; Applications for the MIO debugger</a></p>
+              </article>
             </div>
           </div>
 

warduino/.vitepress/config.data.ts

@@ -2,13 +2,16 @@ export default {
   load() {
     return {
         vm: {
-            version: '0.6.1'
+            version: '0.7.1'
         },
         plugin: {
             version: '0.4.1'
         },
         latch: {
             version: '0.3.1'
+        },
+        mio: {
+            version: '0.1.1'
         }
     }
   }

warduino/.vitepress/config.ts

@@ -87,7 +87,12 @@ export default defineConfig({
         items: [
           { text: 'Overview', link: '/reference/' },
           { text: 'Architecture', link: '/reference/architecture' },
-          { text: 'Primitives', link: '/reference/primitives' },
+          { text: 'Actions',
+            collapsed: true,
+            items: [
+                { text: 'Overview', link: '/reference/actions/' },
+            ]
+          },
           { text: 'Debug Protocol', link: '/reference/debug-protocol' },
           {
             text: 'EDWARD',
@@ -115,6 +120,14 @@ export default defineConfig({
         ]
       },
 
+      {
+        text: "Blog Posts",
+        collapsed: true,
+        items: [
+          { text: 'Applications for the MIO debugger', link: '/blog/multiverse' },
+        ]
+      },
+
       {
         text: 'Published Articles',
         link: '/articles/'

warduino/.vitepress/theme/style.css

@@ -150,6 +150,15 @@ html::-webkit-scrollbar-thumb:hover, pre::-webkit-scrollbar-thumb:hover, aside::
     --vp-custom-block-danger-bg: rgba(var(--catppuccin-red), 0.15);
 }
 
+/**
+ * General restyling
+ * -------------------------------------------------------------------------- */
+.vp-doc h2 {
+  border-top: none;
+  margin: 16px 0 16px;
+}
+
+
 /**
  * Component: Button
  * -------------------------------------------------------------------------- */
@@ -295,4 +304,4 @@ html:not(.dark) img.inline-icon.light {
   display: inline-block;
   vertical-align: middle;
   margin-right: 5px;
-}
+}

warduino/blog/multiverse.md

@@ -0,0 +1,34 @@
+<script setup>
+    import { data } from '../.vitepress/config.data.ts'
+    import citation from '../.vitepress/components/citation.vue'
+</script>
+
+# Applications for the MIO Debugger
+
+_Multiverse debugging was first proposed back in 2019, but now we are finally seeing real world applications.
+Diverse categories of embedded software for microcontrollers can be debugged using the MIO multiverse debugger._
+
+::: info Auxiliary Material
+
+This blog post is additional material for the *"MIO: Multiverse Debugging in the face of Input/Output"* paper.
+
+:::
+
+<span style="font-size: var(--vp-custom-block-font-size);">
+<b>Tom Lauwaerts and Maarten Steevens · <a href="https://github.com/tolauwae">@tolauwae</a> <a href="https://github.com/MaartenS11">@MaartenS11</a></b><br>
+November 14, 2024 | 4 min read
+</span>
+
+***
+
+In this blog post, we discuss the wide applicability of the [MIO multiverse debugger]() in WARDuino.
+
+## Binary Counter with LEDs
+
+
+## Lego Mindstorms Color Dial
+
+## Related posts
+
+***
+

warduino/reference/primitives.md renamed to warduino/reference/actions/index.md

@@ -1,4 +1,4 @@
-# Built-in Primitives
+# Built-in Actions
 
 ::: tip Programming in high-level languages
 

warduino/reference/contributing.md

@@ -23,8 +23,6 @@ border-color: rgba(46, 160, 67, 0.4);
 
 ## ✨ How Can I Contribute?
 
-If you want to help with development, issues on the [roadmap](https://github.com/orgs/TOPLLab/projects/1) with low priority are a good starting point.
-
 Any sort of contribution is welcome! Including, but not limited to:
 
 - Report a bug you identified

warduino/reference/debug-protocol.md

@@ -126,3 +126,11 @@ The `Halt (02)` debug message stops the virtual machine, while the `Reset (13)`
 
 WARDuino also supports out-of-place debugging through the EDWARD debugger. A similar overview of the debug messages for EDWARD can be found in [this reference sheet](/reference/edward/protocol).
 
+### Transfer state
+
+Write `ffff` followed by `aaaa` to the start of the memory.
+
+```plaintext
+520002060002ffff060204aaaa
+```
+