2025-01-19T06:24:37Z - 2025-04-19T06:24:37Z
Overview
1 pull request merged by 1 user
Merged
#4 Add flake
3 issues closed from 1 user
Closed
#2 Generalize Memory Access
Closed
#11 Replace $
with custom |>
operator
Closed
#3 Handle Compressed Instructions
8 issues created by 1 user
Opened
#1 Hard Problems To Solve
Opened
#5 Indicate that the Formal Model will not Support C(compressed instructions)
Opened
#6 Go through and clean up warnings
Opened
#7 Processor Errata
Opened
#8 Implement Exception Handling in Exceptions.hs
Opened
#9 Add Mtime peripheral
Opened
#10 Probably more useful to have Addr
instead of Insn
in IllegalInstruction
Exception
variant
Opened
#12 Make CSR Content Addressable