Pulse Contributors Code frequency Recent commits

2026-01-24 - 2026-02-24

Period: 1 month

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

5 active pull requests

0 active issues

4
Merged pull requests 1
Proposed pull request 0
Closed issues 0
New issues

Excluding merges, 1 author has pushed 12 commits to master and 12 commits to all branches. On master, 43 files have changed and there have been 9969 additions and 9466 deletions.

4 pull requests merged by 1 user

Merged #65 change VCD id generation to be based on hashing the path, making them better for git diff 2026-02-24 04:18:26 +00:00

Merged #63 speed up simulation by optimizing SimulationImpl::read_traces 2026-02-04 23:47:09 +00:00

Merged #62 speed up LazyInterned 2026-02-04 02:11:57 +00:00

Merged #61 speed up interning 2026-02-03 01:58:52 +00:00

1 pull request proposed by 1 user

Proposed #64 Run Rocq tests. 2026-02-14 22:05:52 +00:00