Pulse Contributors Code frequency Recent commits

2025-02-13 - 2025-08-13

Period: 6 months

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

Overview

0 active pull requests

1 active issue

0
Merged pull requests 0
Proposed pull requests 0
Closed issues 1
New issue

Excluding merges, 1 author has pushed 12 commits to master and 16 commits to all branches. On master, 15 files have changed and there have been 147061 additions and 120616 deletions.

1 issue created by 1 user

Opened #1 try out rIC3 for SymbiYosys proofs 2025-06-03 22:19:25 +00:00