Pulse Contributors Code Frequency Recent Commits

2025-06-29 - 2025-07-29

Period: 1 month

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

Overview

0 Active Pull Requests

12 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 7
Closed Issues 5
New Issues

Excluding merges, 1 author has pushed 8 commits to main and 8 commits to all branches. On main, 15 files have changed and there have been 303 additions and 7 deletions.

7 Issues closed from 1 user

Closed #15 [ADD] Rust Verifiers 2025-07-10 18:52:31 +00:00

Closed #14 [ADD] Dafny 2025-07-10 18:52:31 +00:00

Closed #13 [ADD] IVy 2025-07-10 18:34:55 +00:00

Closed #12 [ADD] DFT Gui 2025-07-10 18:34:55 +00:00

Closed #11 [ADD] Prophesy 2025-07-10 18:34:55 +00:00

Closed #10 [ADD] PRINSYS 2025-07-10 18:34:55 +00:00

Closed #32 [FIX] Caesar 2025-07-10 18:25:32 +00:00

5 Issues created by 1 user

Opened #33 [ADD] veil 2025-07-08 16:56:51 +00:00

Opened #34 [ADD] Ahmed's tools 2025-07-10 15:51:24 +00:00

Opened #35 [ADD] Tools from Daniela Kaufmann 2025-07-10 15:51:53 +00:00

Opened #36 [FIX] Clean up toml front matters 2025-07-10 18:50:12 +00:00

Opened #37 [ADD] Modest 2025-07-18 16:21:56 +00:00

1 Unresolved Conversation

Open #29 [FIX] BSD Licenses 2025-07-10 18:18:52 +00:00