Pulse Contributors Code Frequency Recent Commits

2025-04-30 - 2026-04-30

Period: 1 year

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

Overview

0 Active Pull Requests

66 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 51
Closed Issues 66
New Issues

Excluding merges, 2 authors have pushed 56 commits to main and 57 commits to all branches. On main, 210 files have changed and there have been 4466 additions and 269 deletions.

51 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

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

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

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

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

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

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

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

Closed #9 [ADD] Caesar 2025-06-23 20:03:52 +00:00

Closed #8 [ADD] Lean 2025-06-23 20:01:41 +00:00

Closed #7 [ADD] momba 2025-06-23 19:58:09 +00:00

Closed #6 [ADD] stateright 2025-06-23 19:51:42 +00:00

Closed #5 [ADD] SpaceEx 2025-06-23 19:48:08 +00:00

Closed #4 [FIX] About 2025-06-23 19:45:13 +00:00

Closed #2 Add Model Checkers 2025-06-23 19:44:13 +00:00

Closed #27 [FIX] MathSAT 2025-06-23 18:49:05 +00:00

Closed #3 [ADD] THS Aachen tools 2025-06-13 21:17:28 +00:00

Closed #1 Initial List of SAT/SMT Solvers 2025-06-13 20:28:36 +00:00

66 Issues created by 1 user

Opened #1 Initial List of SAT/SMT Solvers 2025-06-05 18:39:20 +00:00

Opened #2 Add Model Checkers 2025-06-12 15:46:59 +00:00

Opened #3 [ADD] THS Aachen tools 2025-06-13 20:29:12 +00:00

Opened #4 [FIX] About 2025-06-13 21:16:56 +00:00

Opened #5 [ADD] SpaceEx 2025-06-13 21:20:20 +00:00

Opened #6 [ADD] stateright 2025-06-13 21:22:20 +00:00

Opened #7 [ADD] momba 2025-06-13 21:25:20 +00:00

Opened #8 [ADD] Lean 2025-06-13 21:29:47 +00:00

Opened #9 [ADD] Caesar 2025-06-13 21:31:09 +00:00

Opened #10 [ADD] PRINSYS 2025-06-13 21:32:23 +00:00

Opened #11 [ADD] Prophesy 2025-06-13 21:33:28 +00:00

Opened #12 [ADD] DFT Gui 2025-06-13 21:35:32 +00:00

Opened #13 [ADD] IVy 2025-06-13 21:37:39 +00:00

Opened #14 [ADD] Dafny 2025-06-13 21:38:34 +00:00

Opened #15 [ADD] Rust Verifiers 2025-06-13 21:39:40 +00:00

Opened #16 [ADD] why3 2025-06-13 21:40:20 +00:00

Opened #17 [ADD] Why3 SMT Solvers 2025-06-13 21:44:04 +00:00

Opened #18 [ADD] Interactive theorem provers 2025-06-13 21:46:47 +00:00

Opened #19 [ADD] Proof Assistants 2025-06-13 21:50:28 +00:00

Opened #20 [ADD] Runtime Verification Tools 2025-06-13 21:55:19 +00:00

Opened #21 [ADD] PANDA 2025-06-13 21:55:29 +00:00

Opened #22 [ADD] Program Synthesis Tools 2025-06-13 22:00:36 +00:00

Opened #23 [ADD] IC3 Tools 2025-06-13 22:15:21 +00:00

Opened #24 [ADD] DNN Verification 2025-06-13 22:20:02 +00:00

Opened #25 [ADD] Jasper 2025-06-13 22:21:09 +00:00

Opened #26 [ADD] Gillian 2025-06-13 22:25:08 +00:00

Opened #27 [FIX] MathSAT 2025-06-21 23:15:27 +00:00

Opened #28 Add tools from nimble 2025-06-23 19:13:33 +00:00

Opened #29 [FIX] BSD Licenses 2025-06-23 19:15:35 +00:00

Opened #30 [ADD] Tools from sosy 2025-06-23 19:33:50 +00:00

Opened #31 [ADD] Tina 2025-06-23 19:43:06 +00:00

Opened #32 [FIX] Caesar 2025-06-23 20:10:37 +00:00

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

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