Pulse Contributors Code frequency Recent commits

2026-01-23 - 2026-02-23

Period: 1 month

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

Overview

4 active pull requests

0 active issues

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

Excluding merges, 1 author has pushed 9 commits to master and 9 commits to all branches. On master, 14 files have changed and there have been 773 additions and 497 deletions.

3 pull requests merged by 1 user

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