Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 31, 2021

• 添加Program Graph初步模型

  LauZyHou

  committed
  c9419f5

  Copy full SHA for c9419f5

Commits on May 20, 2021

• 生成UPPAAL源xml的外层结构

  LauZyHou

  committed
  5f12a79

  Copy full SHA for 5f12a79

Commits on Mar 28, 2021

• 生成UPPAAL文件头

  LauZyHou

  committed
  0de9483

  Copy full SHA for 0de9483

Commits on Dec 9, 2020

• 恢复信息安全性质

  LauZyHou

  committed
  479c738

  Copy full SHA for 479c738

Commits on Dec 2, 2020

• 属性上下移动

  LauZyHou

  committed
  482f6d0

  Copy full SHA for 482f6d0

Commits on Nov 30, 2020

• 验收前联调

  LauZyHou

  committed
  5160c86

  Copy full SHA for 5160c86

Commits on Nov 29, 2020

• 函数列表Tapped事件取消选中

  LauZyHou

  committed
  7de0fdb

  Copy full SHA for 7de0fdb

• 支持非对称IBE算法 & [bugfix]CommWay选中项变化时检查是否变空

  LauZyHou

  committed
  1cd4b48

  Copy full SHA for 1cd4b48

Commits on Nov 28, 2020

• 添加Message内置类型/报文类型/签名字段长度 & 添加原生以太网帧的类型号

  LauZyHou

  committed
  fbecd31

  Copy full SHA for fbecd31

Commits on Nov 24, 2020

• 继承ByteVec时允许使用字段长度

  LauZyHou

  committed
  d2bd57f

  Copy full SHA for d2bd57f

Commits on Nov 13, 2020

• 区分功能安全性质和信息安全性质的验证

  LauZyHou

  committed
  e307a46

  Copy full SHA for e307a46

Commits on Nov 12, 2020

• [bugfix]面板加Hit锁

  LauZyHou

  committed
  b7ac434

  Copy full SHA for b7ac434

• 状态机禁止不合法连线 & 编译错误时弹出提示框

  LauZyHou

  committed
  e83c8f1

  Copy full SHA for e83c8f1

• 图形上问题ToolTip & 访问控制图的保存和载入

  LauZyHou

  committed
  d464908

  Copy full SHA for d464908

Commits on Nov 11, 2020

• 语法检查 & [bugfix]Unix下命令脚本由bash调用

  LauZyHou

  committed
  f8854ba

  Copy full SHA for f8854ba

• 类图元素判重 & 图标优化

  LauZyHou

  committed
  2aee9d0

  Copy full SHA for 2aee9d0

• 添加访问控制图

  LauZyHou

  committed
  339e70a

  Copy full SHA for 339e70a

• 后端改用当前xml & [bugfix]升级Avalonia引起的ListBox样式图片渲染显示问题

  LauZyHou

  committed
  17354ce

  Copy full SHA for 17354ce

• 代码框架生成 & 程序精化

  LauZyHou

  committed
  1cda343

  Copy full SHA for 1cda343

• [bugfix]代码生成前导出后端xml

  LauZyHou

  committed
  7f74438

  Copy full SHA for 7f74438

Commits on Nov 10, 2020

• 代码执行可选运行时操作系统Windows/Unix

  LauZyHou

  committed
  65c72c9

  Copy full SHA for 65c72c9

• bash测试脚本

  LauZyHou

  committed
  431f0a7

  Copy full SHA for 431f0a7

• [bugfix]函数更新后参数列表复制保留 & 生成C/Java/Cpp脚本

  LauZyHou

  committed
  0f3af9e

  Copy full SHA for 0f3af9e

Commits on Nov 5, 2020

• 添加非对称加解密的默认公理

  LauZyHou

  committed
  b8e2ee0

  Copy full SHA for b8e2ee0

Commits on Oct 28, 2020

• bat脚本支持

  LauZyHou

  committed
  3cbfe18

  Copy full SHA for 3cbfe18

Commits on Oct 23, 2020

• 调用命令改成调用脚本

  LauZyHou

  committed
  2767852

  Copy full SHA for 2767852

• [bugfix]解决无法识别安全策略数据库等解耦文件的问题

  LauZyHou

  committed
  e6cec45

  Copy full SHA for e6cec45

• 为命令执行添加执行成功和失败标志

  LauZyHou

  committed
  1284b99

  Copy full SHA for 1284b99

Commits on Oct 22, 2020

• 命令行接口

  LauZyHou

  committed
  9c0ea5e

  Copy full SHA for 9c0ea5e

Commits on Oct 11, 2020

• [bugfix]序列图无法编辑边，改回使用ItemsControl

  LauZyHou

  committed
  5590bff

  Copy full SHA for 5590bff

Commits on Oct 10, 2020

• 窗体图标 & 模拟执行界面 & 支持非对称加解密

  LauZyHou

  committed
  fde7cc2

  Copy full SHA for fde7cc2

Commits on Oct 9, 2020

• 主工具栏按钮图标

  LauZyHou

  committed
  1e5a0bb

  Copy full SHA for 1e5a0bb

Commits on Sep 25, 2020

• timer获取时间 & 发布时更名ISADT

  LauZyHou

  committed
  e3f39c7

  Copy full SHA for e3f39c7

Commits on Sep 24, 2020

• 打包msi安装程序

  LauZyHou

  committed
  137d3e5

  Copy full SHA for 137d3e5

Commits on Sep 11, 2020

• 攻击树回路检查 & 入口到入口连线检查

  LauZyHou

  committed
  9e0828a

  Copy full SHA for 9e0828a

Pagination

Previous

Next