-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: darbaria/axiomise-warpv-formal-6-stage
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
REM Instruction not working correctly
bug
Something isn't working
#31
opened Jun 6, 2021 by
shivanishah269
REMU Instruction not working correctly
bug
Something isn't working
#30
opened Jun 6, 2021 by
shivanishah269
DIV Instruction not working correctly
bug
Something isn't working
#29
opened Jun 6, 2021 by
shivanishah269
DIVU Instruction not working correctly
bug
Something isn't working
#28
opened Jun 6, 2021 by
shivanishah269
Remainder(rem) when division by 0 case not implemented correctly
bug
Something isn't working
#27
opened Jun 6, 2021 by
shivanishah269
Remainder(remu) when division by 0 case not implemented correctly
bug
Something isn't working
#26
opened Jun 6, 2021 by
shivanishah269
Division by 0 case not implemented correctly in the design
bug
Something isn't working
#25
opened Jun 6, 2021 by
shivanishah269
Division by 0 case not implemented correctly in the design
bug
Something isn't working
#24
opened Jun 6, 2021 by
shivanishah269
MULHSU Instruction not working properly
bug
Something isn't working
#23
opened Jun 3, 2021 by
shivanishah269
MULHU Instruction not working properly
bug
Something isn't working
#22
opened Jun 3, 2021 by
shivanishah269
MULH Instruction not working properly
bug
Something isn't working
#21
opened Jun 3, 2021 by
shivanishah269
MUL Instruction not working properly
bug
Something isn't working
#20
opened May 30, 2021 by
shivanishah269
JALR for misaligned addresses doesn't raise trap
bug
Something isn't working
#19
opened May 24, 2021 by
darbaria
BEQ doesn't raise the trap correctly
bug
Something isn't working
#13
opened May 24, 2021 by
darbaria
JAL for misaligned addresses doesn't raise trap
bug
Something isn't working
#12
opened May 24, 2021 by
darbaria
auipc - calculation of pc relative addresses is only restricted to byte-aligned address only
bug
Something isn't working
#10
opened May 13, 2021 by
shivanishah269
JAL - target address is always computed with byte aligned offset value
bug
Something isn't working
#9
opened May 13, 2021 by
shivanishah269
BGEU - target address is always computed with byte aligned offset value
bug
Something isn't working
#8
opened May 13, 2021 by
shivanishah269
BGE - target address is always computed with byte aligned offset value
bug
Something isn't working
#7
opened May 13, 2021 by
shivanishah269
BLTU - target address is always computed with byte aligned offset value
bug
Something isn't working
#6
opened May 13, 2021 by
shivanishah269
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.