Pulse Contributors Code Frequency Recent Commits

2025-07-17 - 2026-07-17

Period: 1 year

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

Overview

0 Active Pull Requests

2 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 1
Closed Issue 2
New Issues

Excluding merges, 1 author has pushed 7 commits to master and 12 commits to all branches. On master, 69 files have changed and there have been 5718 additions and 5184 deletions.

1 Issue closed from 1 user

Closed #2 Add extra field called "Delta" 2026-03-13 13:30:54 +00:00

2 Issues created by 1 user

Opened #1 Check if the model checker works 2026-01-14 15:30:41 +00:00

Opened #2 Add extra field called "Delta" 2026-01-14 15:31:39 +00:00