-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

ec371a5de1cac125136a542e96fb18b52ac5e3905c9e9e83ca437703802c2d61  C-RW-R+RW-G+RW-R.litmus
07b60d684ddc5c436c6c9b7a3f962e787d0c56ad64eda2215134905398a5ed30  ARM-memory-subsystem.svg
242e58b155eae45f55e654bdb23bc592a88386c6028711b3f8ac6806764c7f51  C-LB+rl-deref-o-rul+o-sync-o.litmus
03a5b8c71d377a81d5b14b60fb42853fffcdef8fb3efbc718a363bc6e9492588  C-2+2W+o-wmb-o+o-wmb-o.litmus
6ebd4b42a4d86cbd1d0fe92fe216b835737f55672041d656ff143e7ceb5154a7  C-MP+o-assign+ldref-o.litmus
447ef4420e19e2f1d509baa75de7d2c1ff28ae03c80a51b1d68c49bb2f6824c5  C-rdw.litmus
a87ec057350d16481ba12f75138b655acc4b555a71b4987ffd887072b850496a  C-3+2W+o-wmb-o+o-wmb-o+o-wmb-o.litmus
e047c3ba49395a8a7a9c7327e98466439d0cda03f7d7c171fb54c8c5deae6302  C-LB+o-o+o-o.litmus
59f2824dccb2bf4ea01abd1d5c8f583872f0bd26cb79020f88e269658cbc215f  C-3.SB+o-mb-o+o-mb-o+o-mb-o.litmus
21a0cb8393da1eb56f7a7be9e37bd5b6a339b070a9f865fe2f91893e34cb8334  co.svg
45f3b34f5739da323c21e7f0337b0dd73aba373620eb001b794cec6a20d2e1e5  C-MP+o-assign+o-dep-o.litmus
24acfe7bd18b552622fa0e027059e21c5d8f2191fed6eda711105d45ae296b6c  C-3.SB+o-o+o-mb-o+o-mb-o.litmus
b4d2005ca6ddfffe69364aa72b5dac60f3da85b9fa1f1d63eee785e81ef9c7a4  C-SB+o-mb-o+o-mb-o.litmus
b56fd4b0bb4a4bbab9aa565ce2224f4f4a304bb74342a29ebe2b186de5003f6d  C-CO+o-o+o-o.litmus
b4b5b0ac33ac585f0726d0e88f18820e4b98061fba51afe3f2ed9442122cd00e  C-WWC+o+acq-o+acq-o.litmus
4baa060afb7a146ec5224af5e42df58b602c865fbffee14749394e215d32d221  C-CO+o-o.litmus
0007eb9b5a6c85b3777e6a01f691aebdc984cbd349ac3da0d03faec93ee8aeae  C-WWC+o+o-rel+acq-o.litmus
d4eaf5b3fdec87fa100daf4a1b603623e1b03d298e792a9563bef215477aefd5  C-RW-R+RW-Gr+RW-Ra.litmus
77d1eec3228e750e049fcf3195145f1f884848125b88e1f49aa63edd36d8b873  C-FR+w+w+w+reads.litmus
8f992d67bc2d80c259215799d9574d103834478dd3d94f383b6ec802f24eb552  C-Figure8.litmus
3954042af29c1d376126e55b65d58a2b9e71bfad3b1aa90433d434dedab57e20  C-RW-Ra+RW-G+RW-Rr.litmus
2cc567b3010ff3b7edb2d8880fee71a46db54025fe097e8cf8bea5b3ca665252  C-MP+o-mb-o+o-mb-o.litmus
00a7b6637acc141c86c22cd3ef8876a14662f2f8b80d2e8ce0486b129f9f0d4d  C-IRIW+o+o+o-mb-o+o-mb-o.litmus
84d90e7bec0ddb876b763bbe18a0d8f8a130033b05f8b39428996aed8569be2b  C-MP+o-rel+acq-o.litmus
59548a3ffa4b6f0388b0fdd651afb41a5e6b4f7e6df0057ef155567cc08c64d7  C-IRIW+rel+rel+acq-o+acq-o.litmus
d5f60b51378d9e30dcbcde97592b452747b1be7d2a51ade426a396311f7bef31  C-LB+o-rel+rl-o-o-rul+o-sync-o.litmus
0c445b4450ec494e280e2e1a528ad9f0f15aedc4223acbba6898357c167e67f6  C-ISA2+o-rel+acq-rel+acq-o.litmus
dfd359c242120f207b01cd9f52c17932617bc20d93ae0537ffdbd9fed31fce83  C-LB+o-o+o-o+o-o.litmus
a8f85ecb2e0ae3298a1bb9296f761bdf43da0b117f3bf4af39c8ad8e0ac86900  C-ISA2-6+o-sync-o+o-sync-o+o-sync-o+rl-o-o-rul+rl-o-o-rul+rl-o-o-rul.litmus
b2e2b3789a0f9ff710f92a6e94210e24b0f1356429903c544ffb00aec1fb4f2d  C-addrpo.litmus
7d0a9d59582fe9586096821e9f0c49cbb35d2f578b20d5ca27c1d52d3b90f3a9  C-MP+o-o+o-o.litmus
3713582df2f2f24da2efaad09857ad10b1cd05f0ed303a1bb5638bee658a7491  C-atomicpo.litmus
a7767b5b5673942b957c79543c6cc64f9b496815c2846c23f2257cd9920fef97  C-MP+o-wmb-o+o-rmb-o.litmus
f78f4cf5ac88fd5c6256d3b3912e972aa06a0bccd5db43e5e7c0ddd909540dd0  C-LB+acq-o+acq-o+acq-o.litmus
60d49148a5e37ea37ac97c25339c7eec86bbad725e945c2636bc3592c3552254  C-LB+ldref-o+acq-o+o-dep-o.litmus
ed1daeb327d3df994c56b8a2b9138bd200192df151782cac6900a32ffaeedbcf  C-LB+o-sync-o+rl-o-o-rul+o-rl-rul-o+o-sync-o.litmus
2cf8a9c16c18c0132afd58c988878237b63b0b742081d219b8e6a3546b0949d0  C-MP2+o-o-wmb-o-o+o-rmb-o+o-rmb-o.litmus
7ee7bc5c27c0a09cdb2bc1c86b7eacd968fcef214d5460fd9c0235fc3fab2f54  C-LB+ldref-o+o-ctrl-o+o-dep-o.litmus
1e953ed434adc54d2fdbd9fd870f53a2332f9d85d3f140813b3d5e41a52e9331  C-R+o-wmb-o+o+mb+o.litmus
79bf921639c5937a28561d5c627436df8164df34b19eaa69624663590e69b058  C-LB+ldref-o+o-o+o-dep-o.litmus
15f49f12426a6c53875b3da33d9b70e235e8d59c43e25c5f7b3049d65efe3e13  C-RR-R+WW-G.litmus
d9d33fb17428480111acb33a981f4fcd09a8e1b3456e5b21d1c838d0335b38e3  C-LB+o-sync-o+rl-o-o-rul.litmus
a81917c21088058799ed2674b8305543382917edcb0a4326d466d2b7e949a9d3  C-LB+o-sync-sync-o+rl-o-o-rul+rl-o-o-rul.litmus
d99d7a83f36ba8c3a89fa362378aeb4d9511e639834d874ad10a50c741026cdf  cycle.svg
43df93e31e1a88cb3f4c0748bc9669b81ef70949d1174161c5f6dfd0da98701a  C-LB+rl-deref-o-rul+o-sync-o+rl-o-o-rlu.litmus
947861ce5922d68a8acb8b773e3e6a51ac621785d0ce6e698a58bb6f8f8a899c  C-W+WRC+o-rel+acq-o+o-mb-o.litmus
da3dafdf76b8d862ef4bc7317f5c2d7eedbd4d62db37cd7aacbd66de543c6201  PPC-MP+lwsync+addr-po.litmus.out
06810121977013915b0eb50cf46ba39a79769e2112cb6487bbbc60e6acb28e72  C-Z6.0+o-mb-o+acq-o+o-mb-o.litmus
92fddbbc9bb4adf23ed8a732e70f741fe4e5e9b473f0179366d496336ee41c8c  PPC-DCL.litmus
d82c8003a0dac5279b638ff4806ac7a52770a9e31f127fc9d89cc31d8f72be28  cyclenot.svg
06954d97046484a0214bf40fe665456ff50378e9486302482836e2cfab898027  PPC-MP+lwsync+addr.litmus
4095836291ebf0f60377d3dc711ffc49d0449204d7842443016709e5761f4d9a  C-Z6.0+o-rel+acq-o+o-mb-o.litmus
2f3d6ad737ec7134ebf63d8be9b92dda59466cdae7c00b34378e4e926fee7665  C-locktest-filter.litmus
7612a1bdcbd5d496ace7b71b99b21f8157aaee3be112f8b2876be476ba999bd6  StrongModel.html
47f40301d83fa213379f97a88ebcd6ff56764019b05b932169f9f26a1b0075ac  C-locktest.litmus
147994216a04b59c1365399811b3457d51623ba91ebf35232f5989afbe87f336  RCUGuaranteeRev.svg
ea3ea0e2022936e3ea4ec25ab55fb1d9514c3102361f7fdcf13a81dce39e4031  C-po-loc.litmus
3814030a16c3168ff5509d8d035a0882d16096ee145b7f2e6b87d3f561c5a0b0  WeakModel.html
f58251ce0adc775115a2f98235532ca5cfbb98f6ac69fa9b5ddd88f93f100a78  C-rcu-relacq1-relacq.litmus
7167bc0134cd5a35be9343f3d62292c26119b22364b0c0a45ae72b57e6de2699  PPC-MP+lwsync+ctrl.litmus
deeea9c4813ad672d0e9f5d416027bb4fc8f2dc227484499878e8eb4022f9035  C-rcu-relacq1.litmus
2f307032c748c913b71bb15aa8b089ed7206c688782dfbfae4c9eb25c42f4beb  RCUguarantees.html
1ff9530d2915c270d181cd72c7da9c41eb94fdc5330cee04f7cb4598a6e2015f  coherent-RMO.cat
2b50b3bc163dfbaa24efa79b24b19d9422850d2e232cc367f1127563ef2b5354  LinuxMMModel-2.html
5fe25244eb764d7d6bcef2d849fc9467dee695c0f23192aff97546bcdfe0a29a  C-release-B-cumulative-only-on-acquire-path.litmus
31a9e65e8dd4861ecc6c388803ea14b70abdfe0aa77d551a12fc6887965adfde  coherent-RMO.cfg
2969120a268a8fbc859f2ac0cb18602aef052022077fb9c5077b2ff0bd040af0  PPC-LB+addrs-po.litmus
cee997a44e7722e0d207bc1bf24b9cb1bf2d43b93d6a357f6a6ad0744dcde397  C-release-acquire-is-B-cumulative.litmus
52765be4b142f963612300b21add06164af5ab692b4635ed6233d968bece3498  fr.html
140f452c0d66f5f685466ede03a3e326c4024c362c276c8e0f69d19a1734ef1d  C-release-is-A-cumulative.litmus
b1fa94ef53067c9c3966a170facdb8543d69e7a8a863b8cab1a7bcda76079b2d  PPC-LB+addrs-po.litmus.out
e4f8db6bea32e5166cdb60cda21385f2a03c50a99e07e01ee3add7d58b7abe6b  fr.svg
14078bd24426a93e73f97ad981f8e98f76c489d4d122028a6d399ac0ca00a977  RCUGuaranteeFwd.svg
218b45346b9c9151cc1fcd07fbf30b5d6e405cba6d3b9b0010b071aad1ce9b11  C-release-is-not-B-cumulative.litmus
7507937031de9e693100143759d9d4ccddd67b6a9bd0bbc4120feb05b8bf59cf  C-relseq-not-B-cumulative.litmus
5d4facea161f023b495d1b04eba96c98aff9b4f59b37a6b7d2b65538288961ba  herd.html
e4c09d9458da6bb9d28705dc7af2a79fb98062ff5a718445f6abfb874c9e21b6  C-relseq.litmus
48c5288d55bc55fdbc3392f365f04c0389d5da252f4ed5964f9e7433ab032ea3  cycle-new.svg
f60509025d6d811dd80bb1e2b21075cdcdf14d341ca46f7bb42cc70a9f2f5b5c  C-wmb-is-B-cumulative.litmus
307df124f70dc59809c82cc874ad7078fcc718bfa3b38a92e392ba49cb016637  RCUGuaranteeFwd2.svg
c939a7fbfce0772527038a5da049fed9143af37aeac9442eeb1ce1a1dcca54b4  index.html
c6cda5a3ce7af30fb96acf3d6c5fced6cbd0cba26f52823fff31a9747c6e7bc6  C-wmb-is-not-A-cumulative.litmus
d2e13636fd27aa81b7a92057304c407d250b4ed0ef36620cdb173b4aee6fb24a  PPC-MP+lwsync+addr-po.litmus
569bb202e4f14c24bfb419f3ba310613fd67033b237f14acbc4eff4bcf238069  linux.def
b5e3e05f609af9b0b643265efb0005fad74219c0fc6f46ad1066318467b7b353  cyclenot-new.svg
49badfa5303c868797955318f8467cf531f5cc5a0d618eac1c76e5862fdd9a15  Examples.html
de4fcf54495c35ffccfa26157bad0f64e9c3762464bf4df374ad30eae69ab6f7  LinuxMMModel-1.html
57badd3d09372d1e7ed195f28d8b4b164b058a7a07b3a77bf4156c39548278bf  RCUGuaranteeFwd3.svg
91d3a5d048ba490834d81731736e1c591f80182feefaadfcc7eb6b7a41849acc  lock.cat
3917a58595f0eebe1783da9e044e17b5ada48bd224079de5ee7632e98776960a  alpha-split-cache-example1.litmus
996b1c4ff2fb015bd7bbc53da4fb9854bf443b1f28a1c643f77b0eaf46a7bd57  alpha-split-cache-example2.litmus
40dd3aa2ba01476e105a343863da07d698a23b21085527343418bca14abf4f4c  lock.html
d4742394a37536ee1e6040fe558dc1d5296e83e3e41fa805bd886cb44e1ffe42  read-read-coherence.svg
396d6e776e6136812f382bf056611092be8f30abe0020da977738e923b7c660c  rf-sc.svg
12f49c26e52928ed2ae5cf38c42adf16cbb5d3e7180c7b26cf9a51910bfe8c9e  rf.svg
2ffa4f5087f96287b53e56ba91a4f87f38b5c95b834880a330a53756e626adf3  rmo-acyclic.svg
1ee689025543043e01389924040fe680060bf4b72f1ef5cee92e5deab5823a5b  rmo-cyclic.svg
aee6879467fea99f25b5f09f4dbf17974a00b8165406c7be075df66359d59ab2  srcu.html
7d82fd2dbc7e1addbaba9a8a6fedc72cc4b204352d5a13f9ad30a3100a76dc2b  strong-kernel.bell
19c35bfa818df6b01493db1f0bea82f1701eb5f58ea3a94e12989ab48d9ac8a7  strong-kernel.cat
3dd5d1560096c504997cb0a7f9594e76ae371b1dabaa79142aecb43dad02268e  strong.cfg
1a89331401d9f5336861d09bd3962d7cf8482cfc24b146d1b786c13ba2acc40e  toy-RMO.cat
4dd47e73ae93af7e818b46e43e29479e26dc4fc2d176dedc79150507428387d6  toy-RMO.cfg
82877e14f3e56010e7117804048702e25491c9ff4b027540876c9a297ca779c9  weak-kernel.cat
e54b8ded1f28e64a7268afbb792ee48ee26d8925ddebf97c67caad3eaedab4fc  weak.cfg
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQIcBAEBCAAGBQJkSEI6AAoJEGMtOgZYnaaxsBEQAJaHckpXtl/18K+1i982llQL
gljNbkrnT4qhbXgNQjg8i80+QGmTuCGWW0uGxrkyW1GJjiWD03RoWXCyn7pWX+Us
vgVDVfvwre3LwyeLDkPKmRiZD7ADupzLmKVjwWGQdagwNA8FtE2rbn8IZ30hZ3GK
F59+SQhWGBs4pwUmCY6Xl4W6g/wwmi/OpdyP3PnNsXXhKXX7neKMDMlgROlpKwna
52QGZhfzkvHfkFEJyrL+uoz/rdDkCsCvRKohorFb+NcWu/rU1L4OBhnMSfAMjgIf
Rz1Tlaj7v5MoP9q8pRAYIZ3qcO9m7LwAbNV8xEnbd5MkCPaCR7yFq0H8KrwUkaM7
7r1uHoOUu/0IIDbDZJys5yUyW4h3dnuSEYRs+1BAU4mTUtOyJuG5mQQuHm4YTUeL
LKaQ6cjaK6sBhEekcs2gI2IfKULljCGy6IHoQ5NJHhxPMhPy9brjM2buxaJAyv4W
OCxUuCREEItSc69pJZrrl5652FZ0460zW3628TtMYr+cPwwoTR6V2zBQ+S2lhqIA
CcNjqPjZaHHI1MWHN27c9ILSUGzhjEcA9Fu+zs29dfiSPjcQiRFlZV7YkEefLDYZ
Tf/IL/BGJzvqyTzf+z7RS0t16Znt2TOYS/rv4bSdyInIVsZOYhqiHWPP1N7x3xVh
Q57SPBeXdW3MtmgdkrmU
=s4g9
-----END PGP SIGNATURE-----