2025-01-14 - 2026-01-14
Overview
Excluding merges,
1 author
has pushed
49 commits
to master and
53 commits
to all branches.
On master,
29 files
have changed
and there have been
687523 additions
and
349325 deletions.
5 pull requests merged by 1 user
Merged
#6 add parse_powerisa_pdf dependency and fully parse the generated powerisa-instructions.xml file
Merged
#5 implement "Create the next-instruction logic" and "Create a model of the instruction fetch/decode control system"
Merged
#4 add readme
Merged
#3 upgrade fayalite and switch to use new fayalite-deps container
Merged
#2 switch to use server's new actions org
1 issue created by 1 user
Opened
#1 try out rIC3 for SymbiYosys proofs