Contents
A few specific tests
Basic behaviors
Tests written by hand
Fences
Document
Comparing model and hardware
Forbidden by Model and observed
Forbidden by Model and observed, RaR hazards deleted
Allowed by Model and unobserved
Specific behaviours
Denver64
A8X
A10XFusion
Snapdragon810
APM883208
Juno
Kirin6220
AMD
S905 (ODROID-C2)
Snapdragon820
iPhone7
Cavium
Exynos9
EC2A1X4
EC2A1X16
Snapdragon425
BCM2711 (Raspberry Pi 4)
HelioG25
M1
M2
Apple
Kylo
S922X-N2Plus (ODROID-N2+)
RK3566 (ODROID-M1S)
New this round
Comparison with previous version
More behaviours
Less behaviours
Comparison with the operational (FLAT) model
More behaviours
Less behaviours
Comparison with some experimental model
Forbidden by experimental model and observed, RaR hazards deleted
More behaviours
Less behaviours