rems-project sail-arm issues

rems-project / sail-arm

Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

Other

70 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bug in ARMv9.4-A specification

#21 soomin-kim opened 1 month ago
0
Bugs in ARM-v9.4-A specification?

#20 soomin-kim closed 4 months ago
3
Add more translation information

#19 bauereiss opened 5 months ago
0
Labeling of the profile versions that the models are generated from

#18 jevinskie closed 9 months ago
1
Change handling of incomplete pattern match statements

#17 bauereiss opened 9 months ago
0
extra fallback case statement in Sail model that isn't there in ASL

#16 cfbolz opened 9 months ago
5
Question about interrupt controller and timer enable for sail arm model

#15 Jubo-Xu opened 11 months ago
0
Arm v9.4

#14 martinberger opened 1 year ago
3
Cannot build

#13 blacktop opened 2 years ago
5
Does this project have a trace function?

#12 lost2015 opened 3 years ago
2
Add a hacky if ~IsFault check on combining attrs

#11 bensimner opened 3 years ago
0
add TakeException barrier type

#10 bensimner closed 3 years ago
0
The condition field is not emulated correctly in 32-bit mode (Aarch32)

#9 julienfreche opened 3 years ago
0
Assertion fails on "stp/ldp q0, q1, [x0]"

#8 dc-mak opened 4 years ago
3
Avoid declaring CNT_CTL twice

#7 julienfreche closed 4 years ago
1
sail model: removing uses of unbounded integers/bitvectors

#6 aa755 opened 4 years ago
2
C snapshot with user-definable monad operations

#5 aa755 opened 4 years ago
0
why does compiling Coq snapshot need 96GB

#4 aa755 opened 4 years ago
3
ported to Coq 8.11

#3 aa755 opened 4 years ago
0
question about monad

#2 aa755 closed 4 years ago
3
linux doesn't boot: Exception taken during IFetch

#1 RobertHenry6bev opened 4 years ago
1