mole-h-6011

如题。（已经捐赠）

Thanks for this awesome work, but I found that the interfaces generated may not be exported from single `ts` file. So is it possible to add a new configure parameter...

**Describe the bug** Thanks for this nice project! I am trying to get the sequence diagram from this tool, however when I tried the command inside `README.md`, I got the...

How to write custom LTL rules to be checked in ESBMC?

3

I appreciate this open source project and it really helps me a lot. However, I now have a problem that I still have no idea after looking around documentation, `--help`...

Location ID应该也可以识别字符串类型

1

经过测试，UPPAAL也可以识别字符串类型的Location.id。但如果直接用字符串类型的文件输入，可能出现问题。 ```bash Traceback (most recent call last): File "/usr/local/lib/python3.10/dist-packages/SkyPlatformPyTool/run.py", line 311, in _inner d = f(exec_ctx_wrapper, args) File "/root/app/app.py", line 96, in handler self.compose_model(model_file_local, config, File "/root/app/app.py", line 55, in...

[Bug Report]:

3

### 发生了什么？ 感谢滴滴和LogicFlow团队的卓越贡献，作为一名个人开发者，LogicFlow项目极大的促进了我的开发效率。但我在使用Vue+LogicFlow的时候碰到了一个问题，当使用dnd拖拽面板拖拽添加自定义Vue节点时，会报出如下错误： ```bash teleport.ts:46 [Vue warn]: Unhandled error during execution of scheduler flush. This is likely a Vue internals bug. Please open an issue at https://new-issue.vuejs.org/?repo=vuejs/core at at >...