Pulse Contributors Code Frequency Recent Commits

2025-01-29 - 2025-07-29

Period: 6 months

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

Overview

0 Active Pull Requests

37 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 17
Closed Issues 37
New Issues

Excluding merges, 2 authors have pushed 34 commits to main and 35 commits to all branches. On main, 105 files have changed and there have been 2265 additions and 127 deletions.

17 Issues closed from 1 user

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

37 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