Pulse Contributors Code Frequency Recent Commits

2025-10-30 - 2026-04-30

Period: 6 months

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

Overview

0 Active Pull Requests

20 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 20
Closed Issues 4
New Issues

Excluding merges, 1 author has pushed 7 commits to main and 7 commits to all branches. On main, 10 files have changed and there have been 184 additions and 12 deletions.

20 Issues closed from 1 user

Closed #30 [ADD] Tools from sosy 2026-03-24 17:48:48 +00:00

Closed #31 [ADD] Tina 2026-03-24 17:47:48 +00:00

Closed #33 [ADD] veil 2026-03-24 17:45:56 +00:00

Closed #34 [ADD] Ahmed's tools 2026-03-24 17:45:38 +00:00

Closed #35 [ADD] Tools from Daniela Kaufmann 2026-03-24 17:45:34 +00:00

Closed #37 [ADD] Modest 2026-03-24 17:44:28 +00:00

Closed #45 Missing CSS 2026-03-24 17:44:13 +00:00

Closed #52 [ADD] Everything from the FMCAD25 tool competition 2026-03-24 17:43:05 +00:00

Closed #55 [ADD] s2solver 2026-03-24 17:42:40 +00:00

Closed #56 [ADD] fastpoly 2026-03-24 17:42:18 +00:00

Closed #57 [ADD] smtcomp 2025 2026-03-24 17:41:51 +00:00

Closed #58 [ADD] princess smt solver 2026-03-24 17:40:42 +00:00

Closed #59 [ADD] SeaBMC 2026-03-24 17:40:25 +00:00

Closed #61 [ADD] ORis 2026-03-24 17:39:00 +00:00

Closed #60 [ADD] Rust Verifiers 2026-03-24 17:38:24 +00:00

Closed #62 [ADD] Saarland Tools 2026-03-24 17:35:17 +00:00

Closed #65 [ADD] WESTPA 2026-03-24 17:25:51 +00:00

Closed #66 [ADD] Modest 2026-03-24 17:25:51 +00:00

Closed #63 [ADD] PMC-VIS 2026-03-24 17:25:23 +00:00

Closed #64 [ADD] ABC Tools 2026-03-24 17:24:28 +00:00

4 Issues created by 0 users

Opened #63 [ADD] PMC-VIS 2025-12-09 23:35:37 +00:00

Opened #64 [ADD] ABC Tools 2025-12-10 16:33:27 +00:00

Opened #65 [ADD] WESTPA 2025-12-10 18:50:25 +00:00

Opened #66 [ADD] Modest 2026-03-05 20:13:22 +00:00

2 Unresolved Conversations

Open #38 Redo yaml frontmatter 2026-03-24 17:45:06 +00:00

Open #42 Tool Audit 2026-03-24 17:44:58 +00:00