Pulse Contributors Code frequency Recent commits

2026-05-20 - 2026-05-27

Period: 1 week

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 1
Closed issue 0
New issues

There has not been any commit activity in this period.

1 issue closed from 1 user

Closed #8 NLnet 2024-12-324 Create a model of the whole rename/execute/retire control system, using procedural implementations of the most complex HDL modules where appropriate. 2026-05-22 06:58:13 +00:00

1 unresolved conversation

Open #2 NLnet 2024-12-324 Figure out how exactly we should represent HDL in Rocq 2026-05-24 20:39:15 +00:00