Pulse Contributors Code frequency Recent commits

2024-12-10 - 2025-12-10

Period: 1 year

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

Overview

3 active pull requests

1 active issue

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

Excluding merges, 1 author has pushed 32 commits to master and 36 commits to all branches. On master, 21 files have changed and there have been 290251 additions and 245606 deletions.

3 pull requests merged by 1 user

Merged #4 add readme 2025-10-24 23:55:29 +00:00

Merged #3 upgrade fayalite and switch to use new fayalite-deps container 2025-10-24 10:15:25 +00:00

Merged #2 switch to use server's new actions org 2025-10-10 07:47:27 +00:00

1 issue created by 1 user

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