Pulse Contributors Code frequency Recent commits

2025-02-05 - 2026-02-05

Period: 1 year

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

Overview

7 active pull requests

1 active issue

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

Excluding merges, 1 author has pushed 84 commits to master and 88 commits to all branches. On master, 52 files have changed and there have been 2047909 additions and 1531240 deletions.

7 pull requests merged by 1 user

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