Pulse Contributors Code Frequency Recent Commits

2025-07-30 - 2025-10-30

Period: 3 months

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

Overview

0 Active Pull Requests

38 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 14
Closed Issues 25
New Issues

Excluding merges, 1 author has pushed 15 commits to main and 15 commits to all branches. On main, 167 files have changed and there have been 2017 additions and 130 deletions.

14 Issues closed from 1 user

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

25 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