From 5b48895c94faf26bc59cc999c8d1c01551df3b34 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Thu, 6 Nov 2025 19:53:43 +0100
Subject: [PATCH 1/2] fix typescript error

---
 src/App/App.tsx | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/App/App.tsx b/src/App/App.tsx
index e32ea12..4e9ff1c 100644
--- a/src/App/App.tsx
+++ b/src/App/App.tsx
@@ -64,6 +64,7 @@ type CoupledState = {
 
 export type BigStepCause = {
   kind: "init",
+  simtime: 0,
 } | {
   kind: "input",
   simtime: number,
@@ -161,7 +162,7 @@ export function App() {
 
   const onInit = useCallback(() => {
     if (cE === null) return;
-    const metadata = {simtime: 0, cause: {kind: "init" as const}};
+    const metadata = {simtime: 0, cause: {kind: "init" as const, simtime: 0 as const}};
     try {
       const [outputEvents, state] = cE.initial(); // may throw if initialing the statechart results in a RuntimeError
       setTrace({
@@ -504,7 +505,7 @@ export function App() {
                       <CachedOutlinedIcon fontSize="small"/>
                     </button>
                     &nbsp;
-                    <span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1).simtime/1000))}s</span>
+                    <span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1)!.simtime/1000))}s</span>
                     <span style={{display:'inline-block', width: 22, fontSize: 9}}>({savedTrace[1].length})</span>
                     &nbsp;
                     <input title="name of the trace (only for humans - names don't have to be unique or anything)" type="text" value={savedTrace[0]} style={{width: 'calc(100% - 124px)'}} onChange={e => setSavedTraces(savedTraces => savedTraces.toSpliced(i, 1, [e.target.value, savedTraces[i][1]]))}/>

From 8ed9267cb7b8ccfd09e913a13cef350b2d2b0f0c Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Thu, 6 Nov 2025 19:53:54 +0100
Subject: [PATCH 2/2] update todo

---
 todo.txt | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/todo.txt b/todo.txt
index 3d37e90..b9afec4 100644
--- a/todo.txt
+++ b/todo.txt
@@ -23,6 +23,9 @@
         - paused / step-wise
         - (scaled) real time
     - omniscient debugging
+    - coupled execution with "plant"
+    - MTL properties & checking of plant state
+    - recording and replaying traces
 
 
 TODO
@@ -30,10 +33,6 @@ TODO
 - bugs
     editing SC <-> Plant connections at runtime doesn't seem to work
 
-- testing
-    use STL for testing
-        https://github.com/mvcisback/py-metric-temporal-logic
-
 - maybe support:
     - explicit order of:
         - outgoing transitions?