Commit Graph

3 Commits

Author SHA1 Message Date
JGerla
ac9b7313a9 chore: added Copyright strings 2026-01-28 11:20:56 +01:00
Gerla, J. (Justin)
58ab95eee1 fix: edge-disconnections-are-not-reflected-in-reduced-program 2025-12-14 21:56:18 +00:00
JobvAlewijk
086caea737 test: high coverage for all UI tests 2025-12-07 15:32:20 +00:00