A Python framework for parsing finite state machine DSL and generating executable code in multiple target languages.
active 2025-04-09 → 2026-08-19 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 498 days from 2025-04-09 to 2026-08-19. Pushes: 877 total, peak 34 in a day. Pull requests: 79 total, peak 8 in a day. Issues: 9 total, peak 1 in a day. Comments: 141 total, peak 15 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| HansBug | 990 | 784 | 72 | 120 |
| github-actions[bot] | 92 | 92 | 0 | 0 |
| codecov-commenter | 21 | 0 | 0 | 21 |
| dependabot[bot] | 6 | 1 | 5 | 0 |
| l1yusen | 1 | 0 | 1 | 0 |
| cheesestudio | 1 | 0 | 0 | 0 |
| SingDanceRapPingPang | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#387HansBug2026-08-02 19:59规划：交付 BMC 可追溯、可最小化、可核验的场景不可行解释
- Issue comment#387HansBug2026-08-02 04:04规划：交付 BMC 可追溯、可最小化、可核验的场景不可行解释
- Issue#391HansBug2026-07-22 06:23为 model.show() 实现不依赖外部浏览器的桌面显示后端
- Issue comment#388HansBug2026-07-22 04:22实现 BMC 场景不可行解释的求解预算与来源追踪基础
- Issue comment#382HansBug2026-07-17 02:50修复仿真器与生成运行时的 Delta 无进展语义
- Issue comment#379HansBug2026-07-16 06:38修复 PlantUML CLI 配置边界（#321）
- Issue comment#377HansBug2026-07-15 12:18fix(visualization): make nested A -> B arrow terminals normal to target border
- Issue#277HansBug2026-07-15 03:29设计：PLC/ST 模板与全量语义对齐测试路线
- Issue comment#375HansBug2026-07-13 11:34PR-2：self-check supervisor 与输出协议
- Issue comment#372HansBug2026-07-12 13:15feat(llm): 增加 FBMCQ LLM 语言指南与语义验收
- Issue comment#350HansBug2026-07-08 05:20实现 BMC witness 解码与 SimulationRuntime 回放闭环
- Issue comment#347HansBug2026-07-07 16:35实现 BMC abstract call 记录与 call_count/called 查询语义
- Issue comment#344HansBug2026-07-07 08:57feat(bmc): add havoc initial variable policy
- Issue comment#312HansBug2026-07-07 03:40docs(tutorials): 重组教程体系并补齐当前能力
- Issue comment#339HansBug2026-07-06 08:42规划：对齐 BMC 宏步核心语义与完整仿真用例缺口
- Issue comment#339HansBug2026-07-06 06:25规划：对齐 BMC 宏步核心语义与完整仿真用例缺口
- Issue comment#338HansBug2026-07-05 11:52docs(tutorials): 补齐 DSL 全覆盖文档
- Issue comment#335HansBug2026-07-04 00:46宏步语义：对齐 SimulationRuntime 展开行为
- Issue comment#335HansBug2026-07-03 23:28宏步语义：对齐 SimulationRuntime 展开行为
- Issue comment#330HansBug2026-07-03 14:41docs(tutorials): 拆分仿真文档
- Issue comment#324HansBug2026-07-03 07:05内核底座：建立状态、事件与帧编号域
- Issue comment#324HansBug2026-07-03 05:28内核底座：建立状态、事件与帧编号域
- Issue comment#319HansBug2026-07-02 17:21docs(tutorials): 校准语义与可视化教程
- Issue comment#315HansBug2026-07-02 16:17查询语言：定义 .fbmcq 文件与查询数据模型
- Pull request#318HansBug2026-07-02 13:25
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.