Pulse Contributors Code frequency Recent commits

2026-03-24 - 2026-06-24

Period: 3 months

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

Overview

1 active pull request

2 active issues

0
Merged pull requests 1
Proposed pull request 2
Closed issues 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

2 issues 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

Closed #15 NLnet 2024-12-324 memory system: main memory and IO devices 2026-03-26 09:28:28 +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