Markus Zimmermann

Changes LGTM and the CI agrees as well. @timgl is there anything that we can do to get this merged?

> FWIW, the feature request for an "online" bool in Devices API is #7004 Thanks, that would have helped a lot. However, even if that issue gets closed with a...

Thanks @bradfitz for all the explanations. I am unsure on how to proceed with this issue since to me parts can only be solved by doing backwards breaking changes. >...

Currently updating to Z3 4.8.15 and looking through the mentioned issues. The described example still hangs for me when build on Linux x86 64bit with a static build.

Yes, you are right that Tavor is using too much memory(, IO and CPU!). All algorithms are at the moment recursive and not optimized. My intention was to write a...

The second example has one additional problem: After a ResetTokens a ResetScope has to be triggered.

This could be easily done by either implementing an Event system (register onEvent e.g. Permutation) or a dependsOn() []token.Token function which can be then used when token X is permutated...

NOPE expressions conflict with control flows like conditions which use the curly braces too. So it is not explicitly defined. The operator makes the difference.

"Expressions" should be part of "statements" and "statements" should then be higher ordered in the documentation.

This is NO "variable" problem, we simply do not have token attributes yet. This also means that scopes have to be updated when tokens clone children -> how? what is...