Pulse Contributors Code frequency Recent commits

2026-05-01 - 2026-07-31

Period: 3 months

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

Overview

1 active pull request

1 active issue

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

There has not been any commit activity in this period.

1 pull request proposed by 1 user

Proposed #27 WIP: add nlnet-2025-12-681 grant 2026-06-23 07:03:58 +00:00

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

4 unresolved conversations

Open #17 NLnet 2024-12-324 memory load execution unit (we'll want to be able to do more than one load at once) 2026-07-31 04:24:16 +00:00

Open #18 NLnet 2024-12-324 memory store execution unit 2026-07-31 04:24:16 +00:00

Open #20 NLnet 2024-12-324 adding order-violation detection logic 2026-07-31 04:24:16 +00:00

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