2026-03-09 - 2026-03-16
Overview
Excluding merges,
1 author
has pushed
2 commits
to master and
2 commits
to all branches.
On master,
2 files
have changed
and there have been
91 additions
and
21 deletions.
1 pull request merged by 1 user
Merged
#24 nlnet-2024-12-324 amendment 1
2 issues closed from 1 user
Closed
#22 NLnet 2024-12-324 Attempt Proof that our CPU but with zeroed outputs for all eventually-cancelled instructions is equivalent to our real CPU design
Closed
#21 NLnet 2024-12-324 Write Rocq and HDL logic for tracking which instructions will eventually be cancelled and which will eventually be retired.
1 unresolved conversation
Open
#3
NLnet 2024-12-324 Write the code to do the translation in Fayalite.