Message ID | 161340095483.20312.5950740507941559256.tip-bot2@tip-bot2 |
---|---|
State | Accepted |
Commit | 3d5c70329b910ab583673a33e3a615873c5d4115 |
Headers | show |
Series |
|
Related | show |
diff --git a/tools/memory-model/README b/tools/memory-model/README index 39d08d1..9a84c45 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -51,7 +51,7 @@ klitmus7 Compatibility Table ============ ========== target Linux herdtools7 ------------ ---------- - -- 4.18 7.48 -- + -- 4.14 7.48 -- 4.15 -- 4.19 7.49 -- 4.20 -- 5.5 7.54 -- 5.6 -- 7.56 --