Pulse Contributors Code Frequency Recent Commits

2025-04-30 - 2025-10-30

Period: 6 months

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

Overview

0 Active Pull Requests

62 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 31
Closed Issues 62
New Issues

Excluding merges, 2 authors have pushed 49 commits to main and 50 commits to all branches. On main, 202 files have changed and there have been 4282 additions and 257 deletions.

31 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

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

62 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