Pulse Contributors Code Frequency Recent Commits

2025-08-02 - 2026-08-02

Period: 1 year

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

Overview

0 Active Pull Requests

48 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 34
Closed Issues 29
New Issues

Excluding merges, 1 author has pushed 22 commits to main and 22 commits to all branches. On main, 175 files have changed and there have been 2201 additions and 142 deletions.

34 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

Closed #29 [FIX] BSD Licenses 2025-08-22 19:50:15 +00:00

Closed #28 Add tools from nimble 2025-08-22 19:44:16 +00:00

Closed #26 [ADD] Gillian 2025-08-22 19:42:05 +00:00

Closed #25 [ADD] Jasper 2025-08-22 19:40:14 +00:00

Closed #24 [ADD] DNN Verification 2025-08-22 19:39:41 +00:00

Closed #23 [ADD] IC3 Tools 2025-08-22 19:24:52 +00:00

Closed #39 Make a tool page generation script or form to make it easier. 2025-08-22 19:10:50 +00:00

Closed #22 [ADD] Program Synthesis Tools 2025-08-22 19:09:57 +00:00

Closed #21 [ADD] PANDA 2025-08-22 19:00:55 +00:00

Closed #20 [ADD] Runtime Verification Tools 2025-08-22 19:00:07 +00:00

Closed #19 [ADD] Proof Assistants 2025-08-22 18:42:40 +00:00

Closed #18 [ADD] Interactive theorem provers 2025-08-22 00:02:40 +00:00

Closed #17 [ADD] Why3 SMT Solvers 2025-08-21 22:15:09 +00:00

Closed #16 [ADD] why3 2025-08-21 21:49:26 +00:00

29 Issues created by 1 user

Opened #38 Redo yaml frontmatter 2025-08-21 22:10:11 +00:00

Opened #39 Make a tool page generation script or form to make it easier. 2025-08-21 22:10:35 +00:00

Opened #40 [ADD] Inox and Welder 2025-08-21 23:46:51 +00:00

Opened #41 [ADD] twelf 2025-08-21 23:59:06 +00:00

Opened #42 Tool Audit 2025-08-22 18:21:36 +00:00

Opened #43 [ADD] Rice tools 2025-08-22 18:57:51 +00:00

Opened #44 Add techniques to new tool form, and add to known tools 2025-08-22 19:14:17 +00:00

Opened #45 Missing CSS 2025-09-08 18:02:49 +00:00

Opened #46 [ADD] Griggio's tools 2025-10-07 15:47:31 +00:00

Opened #47 [ADD] Sosy 2025-10-07 15:52:02 +00:00

Opened #48 [ADD] acl2 2025-10-09 23:53:07 +00:00

Opened #49 [ADD] Tools from FMCAD25 2025-10-10 17:20:21 +00:00

Opened #50 [ADD] Pono 2025-10-10 17:24:56 +00:00

Opened #51 [ADD] AWS tools 2025-10-10 17:26:46 +00:00

Opened #52 [ADD] Everything from the FMCAD25 tool competition 2025-10-10 17:28:48 +00:00

Opened #53 Create tool competition database 2025-10-10 17:29:07 +00:00

Opened #54 Refactor data storage 2025-10-10 17:32:39 +00:00

Opened #55 [ADD] s2solver 2025-10-10 18:39:44 +00:00

Opened #56 [ADD] fastpoly 2025-10-10 19:19:25 +00:00

Opened #57 [ADD] smtcomp 2025 2025-10-10 19:47:36 +00:00

Opened #58 [ADD] princess smt solver 2025-10-10 19:51:55 +00:00

Opened #59 [ADD] SeaBMC 2025-10-10 20:56:48 +00:00

Opened #60 [ADD] Rust Verifiers 2025-10-10 20:57:44 +00:00

Opened #61 [ADD] ORis 2025-10-10 20:59:47 +00:00

Opened #62 [ADD] Saarland Tools 2025-10-27 16:45:36 +00:00

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