Adds MaxStepsCallback to stop the execution after a predefined number of steps#244
Open
philipph-askui wants to merge 9 commits intomainfrom
Open
Adds MaxStepsCallback to stop the execution after a predefined number of steps#244philipph-askui wants to merge 9 commits intomainfrom
philipph-askui wants to merge 9 commits intomainfrom
Commits
Commits on Mar 10, 2026
- committed
- committed
- committed
Commits on Mar 12, 2026
- committed
- committed
- committed
- committed
- committed
- committed