Jack0Chan/pyuppaal issues and pull requests

#33 - Bug for find_all_patterns with parameter "focused_actions"

Issue - State: open - Opened by Jack0Chan 3 months ago
Labels: bug

#32 - 为umodel的save_as增加了添加缩进的方法 Added indentation for save_as method in umodel

Pull Request - State: closed - Opened by hzyrc6011 4 months ago - 4 comments

#31 - NTA中构建edge的时候不应该要求location位置

Issue - State: open - Opened by wzqvip 6 months ago - 1 comment
Labels: enhancement

#30 - Type Error for python<=3.9

Issue - State: open - Opened by Jack0Chan 7 months ago
Labels: bug

#26 - Support for Linux, MacOS

Issue - State: open - Opened by Jack0Chan 11 months ago - 1 comment
Labels: enhancement

#25 - No err raised when verifyta raises an error.

Issue - State: closed - Opened by Jack0Chan 11 months ago - 1 comment
Labels: bug

#24 - 整合Editors、Monitors、Workflows

Issue - State: closed - Opened by Jack0Chan 11 months ago - 1 comment

#23 - Core functions developed, design the architecture and key concepts.

Issue - State: closed - Opened by Jack0Chan 11 months ago - 1 comment
Labels: enhancement

#22 - fix bugs of parsing system declarations

Pull Request - State: closed - Opened by T1-Edward over 1 year ago - 1 comment

#21 - 更新SimTrace功能的描述

Issue - State: open - Opened by Jack0Chan almost 2 years ago
Labels: documentation

#20 - Readme typo

Issue - State: closed - Opened by zicyair almost 2 years ago - 1 comment
Labels: documentation

#19 - Api adjust

Pull Request - State: closed - Opened by mousany almost 2 years ago

#18 - Api adjust

Pull Request - State: closed - Opened by yanglinshu almost 2 years ago

#17 - 命令行打印 "Writing example trace to XXX"应该取消输出。

Issue - State: closed - Opened by Jack0Chan almost 2 years ago - 1 comment
Labels: bug

#16 - utap无法在非Windows环境import

Issue - State: open - Opened by Jack0Chan almost 2 years ago
Labels: bug

#15 - 为什么SimTrace里的self.__parse_raw()不能删掉？

Issue - State: closed - Opened by Jack0Chan almost 2 years ago - 1 comment
Labels: bug

#14 - utab效能更新

Issue - State: closed - Opened by Jack0Chan almost 2 years ago - 2 comments
Labels: enhancement

#13 - test_umodel.py疑似死循环

Issue - State: closed - Opened by Jack0Chan almost 2 years ago
Labels: bug

#11 - 局部channel不能对应到全局channel

Issue - State: closed - Opened by Jack0Chan about 2 years ago
Labels: bug

#10 - UModel完成各种操作以后需要自动save

Issue - State: closed - Opened by Jack0Chan about 2 years ago - 1 comment
Labels: enhancement

#9 - get_communication_graph合并同类项

Issue - State: closed - Opened by Jack0Chan about 2 years ago - 1 comment
Labels: enhancement

#8 - 文档更改为Google模板

Issue - State: closed - Opened by Jack0Chan about 2 years ago - 1 comment
Labels: documentation

#7 - get_communication_graph效能升级

Issue - State: open - Opened by Jack0Chan about 2 years ago
Labels: enhancement

#6 - pyuppaal接口升级

Issue - State: closed - Opened by Jack0Chan about 2 years ago - 1 comment
Labels: documentation, enhancement

#5 - 完善文档注释