fszontagh/smartbotic @ 42c2cab7ded2bbadf03ee00dc61f011436f4965b

fszontagh 42c2cab7de feat: every SD.cpp generation option is a real setting, generated from the server		1 月之前
..
gen-sdcpp-generation-options.py	42c2cab7de feat: every SD.cpp generation option is a real setting, generated from the server	1 月之前
verify-node.py	411d1611de fix: a stop reaches called workflows, and only active ones may be called	1 月之前