fmtools/content
1
0
Fork 0
Code Issues 15 Pull Requests Actions Packages Releases Wiki Activity
Pulse Contributors Code Frequency Recent Commits

2025-09-16 - 2026-09-16
Period: 1 year
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 Active Pull Requests
28 Active Issues
0
Merged Pull Requests 0
Proposed Pull Requests 20
Closed Issues 21
New Issues
Excluding merges, 1 author has pushed 7 commits to main and 7 commits to all branches. On main, 10 files have changed and there have been 184 additions and 12 deletions.

20 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

21 Issues created by 1 user

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

2 Unresolved Conversations

Open #38 Redo yaml frontmatter 2026-03-24 17:45:06 +00:00

Open #42 Tool Audit 2026-03-24 17:44:58 +00:00