Pulse Contributors Code frequency Recent commits

2025-03-04 - 2026-03-04

Period: 1 year

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

Overview

8 active pull requests

1 active issue

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

Excluding merges, 1 author has pushed 71 commits to master and 75 commits to all branches. On master, 54 files have changed and there have been 1803370 additions and 1288660 deletions.

8 pull requests merged by 1 user

Merged #9 add fetch::fetch and fetch::l1_i_cache with some testing 2026-02-22 02:58:21 +00:00

Merged #8 update fayalite to include a major speedup of the decoder tests 2026-02-04 03:02:42 +00:00

Merged #7 add PowerISA decoder 2026-01-29 02:22:14 +00:00

Merged #6 add parse_powerisa_pdf dependency and fully parse the generated powerisa-instructions.xml file 2026-01-09 10:33:14 +00:00

Merged #5 implement "Create the next-instruction logic" and "Create a model of the instruction fetch/decode control system" 2025-12-17 07:55:08 +00:00

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