Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to search
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
TOPLLab
/
MIO
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
2
Code
Issues
3
Pull requests
3
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
main
User selector
All users
All time
Commit history
Commits on Aug 12, 2026
Move disassemble in DisassemblyWindow so it can be used in other places for debugging
MaartenS11
committed
8dd243f
View commit details
Copy full SHA for 8dd243f
Browse repository at this point
Commits on Aug 10, 2026
Fix disassemble taking forever on large binaries
MaartenS11
committed
b683c5e
View commit details
Copy full SHA for b683c5e
Browse repository at this point
Fix removePrimitiveOverride and snapshot overrides incorrectly encoding multiple arguments
Show description for bac522b
MaartenS11
committed
bac522b
View commit details
Copy full SHA for bac522b
Browse repository at this point
Commits on Aug 7, 2026
Fix primitive overrides being incorrectly encoded when having more than one argument
MaartenS11
committed
8f17327
View commit details
Copy full SHA for 8f17327
Browse repository at this point
Make always on top optional in the console window
MaartenS11
committed
d6d399b
View commit details
Copy full SHA for d6d399b
Browse repository at this point
Add checkbox to console window that allows showing all VM messages
MaartenS11
committed
cdd70de
View commit details
Copy full SHA for cdd70de
Browse repository at this point
Commits on Aug 5, 2026
Share theme configuration code between start screen and command line
MaartenS11
committed
33468ce
View commit details
Copy full SHA for 33468ce
Browse repository at this point
Move ui scaling into setUIScale function that sets the right properties depending on the operating system
MaartenS11
committed
be095af
View commit details
Copy full SHA for be095af
Browse repository at this point
Commits on Jul 9, 2026
Saving the graph to an image now saves it at 4x the default resolution
Show description for f576608
MaartenS11
committed
f576608
View commit details
Copy full SHA for f576608
Browse repository at this point
Use custom colors for graph node borders
Show description for fb9e6ec
MaartenS11
committed
fb9e6ec
View commit details
Copy full SHA for fb9e6ec
Browse repository at this point
Generate a linear path of maxInstructions if no branches where fine with predictFuture
MaartenS11
committed
ac16e9e
View commit details
Copy full SHA for ac16e9e
Browse repository at this point
Catch java.lang.Error which can be thrown by the UI
MaartenS11
committed
9a44b7a
View commit details
Copy full SHA for 9a44b7a
Browse repository at this point
Multiverse tree zooming, improved panning and minimap (#11)
Show description for cfc0ce0
MaartenS11
authored
cfc0ce0
View commit details
Copy full SHA for cfc0ce0
Browse repository at this point
Handle FlatLaf uiScale in InteractiveDebugger and AboutScreen
Show description for a75d260
MaartenS11
committed
a75d260
View commit details
Copy full SHA for a75d260
Browse repository at this point
Fix issue with arg fields when the current node is a primitive node
MaartenS11
committed
1341290
View commit details
Copy full SHA for 1341290
Browse repository at this point
Upgrade WARDuino to 0.8.0
MaartenS11
committed
013e8ba
View commit details
Copy full SHA for 013e8ba
Browse repository at this point
Cleanup of multiverse navigation code
Show description for ec8cf13
MaartenS11
committed
ec8cf13
View commit details
Copy full SHA for ec8cf13
Browse repository at this point
Support multiple arguments from the concolic analysis
MaartenS11
committed
2ec9f77
View commit details
Copy full SHA for 2ec9f77
Browse repository at this point
Update binary metadata to match the updated WARDuino --dump-info output + use it for arg counts when mocking
Show description for a2f019c
MaartenS11
committed
a2f019c
View commit details
Copy full SHA for a2f019c
Browse repository at this point
Support different argument counts when mocking
MaartenS11
committed
27ca62e
View commit details
Copy full SHA for 27ca62e
Browse repository at this point
Prepare for allowing different number of mocking arguments
Show description for fbf3e75
MaartenS11
committed
fbf3e75
View commit details
Copy full SHA for fbf3e75
Browse repository at this point
Display an error message when the microcontroller is disconnected
Show description for d61159d
MaartenS11
committed
d61159d
View commit details
Copy full SHA for d61159d
Browse repository at this point
Make setSnapshotPolicy wait for "ack61"
MaartenS11
committed
4465399
View commit details
Copy full SHA for 4465399
Browse repository at this point
Commits on Jun 12, 2026
Throw an exception when a TRAP occurs during analyse
MaartenS11
committed
7c0082e
View commit details
Copy full SHA for 7c0082e
Browse repository at this point
Fix scenario where the graph had no primitive nodes but when running the VM reported the usage of non-deterministic primitives
Show description for 1c49713
MaartenS11
committed
1c49713
View commit details
Copy full SHA for 1c49713
Browse repository at this point
Commits on Jun 3, 2026
Adjust edge lengths to account for primitive name lengths
MaartenS11
committed
168b45c
View commit details
Copy full SHA for 168b45c
Browse repository at this point
Commits on Jun 2, 2026
Show an icon next to the current pc in the disassembly
MaartenS11
committed
2cf1a9a
View commit details
Copy full SHA for 2cf1a9a
Browse repository at this point
Breakpoints should be updated at the end so it's always done on the current file
Show description for b77f14a
MaartenS11
committed
b77f14a
View commit details
Copy full SHA for b77f14a
Browse repository at this point
Commits on May 21, 2026
Only setup configuration file when running the task, not when configuring it
MaartenS11
committed
da87255
View commit details
Copy full SHA for da87255
Browse repository at this point
Fixed edge case where a deterministic primitive call is the first executed instruction
MaartenS11
committed
d1c53ca
View commit details
Copy full SHA for d1c53ca
Browse repository at this point
Update checkpoints and wait for ack in reset
MaartenS11
committed
8552d46
View commit details
Copy full SHA for 8552d46
Browse repository at this point
Commits on May 20, 2026
Add a graphical error message when a program cannot be loaded by the debugger
MaartenS11
committed
1acea7c
View commit details
Copy full SHA for 1acea7c
Browse repository at this point
Use logger in WOODState to reduce console spam
MaartenS11
committed
2cd245c
View commit details
Copy full SHA for 2cd245c
Browse repository at this point
Show the device name in port list
Show description for 3a7e9f9
MaartenS11
committed
3a7e9f9
View commit details
Copy full SHA for 3a7e9f9
Browse repository at this point
Keep fullWindowContents in mind when setting the AboutScreen size
MaartenS11
committed
1cb4151
View commit details
Copy full SHA for 1cb4151
Browse repository at this point
Previous
Next
You can’t perform that action at this time.