├── GettingStarted.txt ├── LICENSE ├── Makefile ├── README.md ├── html ├── ace.js ├── grapher.js ├── index.html ├── jquery.layout.min.js ├── layout-uhbcheck.css ├── pako_inflate.min.js ├── pipecheck.css ├── pipecheck_form.js ├── theme-github.js ├── viz.js └── worker.js ├── src ├── BackendJS.ml ├── BackendLinux.ml ├── Debug.v ├── FOL.v ├── FOLPredicate.v ├── Graph.v ├── GraphvizCompressed.v ├── HerdGraph.ml ├── Instruction.v ├── Lexer.mll ├── Main.ml ├── Makefile ├── MicroarchLexer.mll ├── MicroarchParser.mly ├── Parser.mly ├── PipeGraph.v ├── Process.ml ├── StringUtil.v ├── Util.ml ├── Util.v ├── WebMain.ml ├── _tags └── runtests.sh ├── tests └── x86tso │ ├── amd10.test │ ├── amd3.test │ ├── amd5.test │ ├── co-iriw.test │ ├── co-mp.test │ ├── iriw.test │ ├── iwp23b.test │ ├── iwp24.test │ ├── iwp24a.test │ ├── iwp27.test │ ├── iwp28a.test │ ├── iwp28b.test │ ├── lb.test │ ├── mp+fences.test │ ├── mp+staleld.test │ ├── mp.test │ ├── n1.test │ ├── n2.test │ ├── n3.test │ ├── n4.test │ ├── n5.test │ ├── n6.test │ ├── n7.test │ ├── n8.test │ ├── podwr000.test │ ├── podwr001.test │ ├── rfi000.test │ ├── rfi001.test │ ├── rfi002.test │ ├── rfi003.test │ ├── rfi004.test │ ├── rfi005.test │ ├── rfi006.test │ ├── rfi007.test │ ├── rfi008.test │ ├── rfi009.test │ ├── rfi010.test │ ├── rfi011.test │ ├── rfi012.test │ ├── rfi013.test │ ├── rfi014.test │ ├── rfi015.test │ ├── rfi016.test │ ├── rfi017.test │ ├── rfi018.test │ ├── rwc-fenced.test │ ├── rwc-unfenced.test │ ├── safe000.test │ ├── safe001.test │ ├── safe002.test │ ├── safe003.test │ ├── safe004.test │ ├── safe005.test │ ├── safe006.test │ ├── safe007.test │ ├── safe008.test │ ├── safe009.test │ ├── safe010.test │ ├── safe011.test │ ├── safe012.test │ ├── safe013.test │ ├── safe014.test │ ├── safe015.test │ ├── safe016.test │ ├── safe017.test │ ├── safe018.test │ ├── safe019.test │ ├── safe020.test │ ├── safe021.test │ ├── safe022.test │ ├── safe023.test │ ├── safe024.test │ ├── safe025.test │ ├── safe026.test │ ├── safe027.test │ ├── safe028.test │ ├── safe029.test │ ├── safe030.test │ ├── safe031.test │ ├── safe032.test │ ├── safe033.test │ ├── safe034.test │ ├── safe035.test │ ├── safe036.test │ ├── safe037.test │ ├── sb.test │ ├── ssl.test │ ├── testandset+earlyld.test │ ├── testandset.test │ ├── testandset2+earlyld.test │ ├── testandset2.test │ └── wrc.test ├── uarches ├── ccicheck │ ├── FiveStagePeekaboo.uarch │ └── FiveStageTSOCC.uarch └── pipecheck │ ├── FiveStage.uarch │ ├── gem5-slrbug.uarch │ └── gem5.uarch └── x86tso.cat /GettingStarted.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/GettingStarted.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/README.md -------------------------------------------------------------------------------- /html/ace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/ace.js -------------------------------------------------------------------------------- /html/grapher.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/grapher.js -------------------------------------------------------------------------------- /html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/index.html -------------------------------------------------------------------------------- /html/jquery.layout.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/jquery.layout.min.js -------------------------------------------------------------------------------- /html/layout-uhbcheck.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/layout-uhbcheck.css -------------------------------------------------------------------------------- /html/pako_inflate.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/pako_inflate.min.js -------------------------------------------------------------------------------- /html/pipecheck.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/pipecheck.css -------------------------------------------------------------------------------- /html/pipecheck_form.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/pipecheck_form.js -------------------------------------------------------------------------------- /html/theme-github.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/theme-github.js -------------------------------------------------------------------------------- /html/viz.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/viz.js -------------------------------------------------------------------------------- /html/worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/html/worker.js -------------------------------------------------------------------------------- /src/BackendJS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/BackendJS.ml -------------------------------------------------------------------------------- /src/BackendLinux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/BackendLinux.ml -------------------------------------------------------------------------------- /src/Debug.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Debug.v -------------------------------------------------------------------------------- /src/FOL.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/FOL.v -------------------------------------------------------------------------------- /src/FOLPredicate.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/FOLPredicate.v -------------------------------------------------------------------------------- /src/Graph.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Graph.v -------------------------------------------------------------------------------- /src/GraphvizCompressed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/GraphvizCompressed.v -------------------------------------------------------------------------------- /src/HerdGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/HerdGraph.ml -------------------------------------------------------------------------------- /src/Instruction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Instruction.v -------------------------------------------------------------------------------- /src/Lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Lexer.mll -------------------------------------------------------------------------------- /src/Main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Main.ml -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/MicroarchLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/MicroarchLexer.mll -------------------------------------------------------------------------------- /src/MicroarchParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/MicroarchParser.mly -------------------------------------------------------------------------------- /src/Parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Parser.mly -------------------------------------------------------------------------------- /src/PipeGraph.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/PipeGraph.v -------------------------------------------------------------------------------- /src/Process.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Process.ml -------------------------------------------------------------------------------- /src/StringUtil.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/StringUtil.v -------------------------------------------------------------------------------- /src/Util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Util.ml -------------------------------------------------------------------------------- /src/Util.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/Util.v -------------------------------------------------------------------------------- /src/WebMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/WebMain.ml -------------------------------------------------------------------------------- /src/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/_tags -------------------------------------------------------------------------------- /src/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/src/runtests.sh -------------------------------------------------------------------------------- /tests/x86tso/amd10.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/amd10.test -------------------------------------------------------------------------------- /tests/x86tso/amd3.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/amd3.test -------------------------------------------------------------------------------- /tests/x86tso/amd5.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/amd5.test -------------------------------------------------------------------------------- /tests/x86tso/co-iriw.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/co-iriw.test -------------------------------------------------------------------------------- /tests/x86tso/co-mp.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/co-mp.test -------------------------------------------------------------------------------- /tests/x86tso/iriw.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iriw.test -------------------------------------------------------------------------------- /tests/x86tso/iwp23b.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp23b.test -------------------------------------------------------------------------------- /tests/x86tso/iwp24.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp24.test -------------------------------------------------------------------------------- /tests/x86tso/iwp24a.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp24a.test -------------------------------------------------------------------------------- /tests/x86tso/iwp27.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp27.test -------------------------------------------------------------------------------- /tests/x86tso/iwp28a.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp28a.test -------------------------------------------------------------------------------- /tests/x86tso/iwp28b.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/iwp28b.test -------------------------------------------------------------------------------- /tests/x86tso/lb.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/lb.test -------------------------------------------------------------------------------- /tests/x86tso/mp+fences.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/mp+fences.test -------------------------------------------------------------------------------- /tests/x86tso/mp+staleld.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/mp+staleld.test -------------------------------------------------------------------------------- /tests/x86tso/mp.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/mp.test -------------------------------------------------------------------------------- /tests/x86tso/n1.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n1.test -------------------------------------------------------------------------------- /tests/x86tso/n2.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n2.test -------------------------------------------------------------------------------- /tests/x86tso/n3.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n3.test -------------------------------------------------------------------------------- /tests/x86tso/n4.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n4.test -------------------------------------------------------------------------------- /tests/x86tso/n5.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n5.test -------------------------------------------------------------------------------- /tests/x86tso/n6.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n6.test -------------------------------------------------------------------------------- /tests/x86tso/n7.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n7.test -------------------------------------------------------------------------------- /tests/x86tso/n8.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/n8.test -------------------------------------------------------------------------------- /tests/x86tso/podwr000.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/podwr000.test -------------------------------------------------------------------------------- /tests/x86tso/podwr001.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/podwr001.test -------------------------------------------------------------------------------- /tests/x86tso/rfi000.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi000.test -------------------------------------------------------------------------------- /tests/x86tso/rfi001.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi001.test -------------------------------------------------------------------------------- /tests/x86tso/rfi002.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi002.test -------------------------------------------------------------------------------- /tests/x86tso/rfi003.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi003.test -------------------------------------------------------------------------------- /tests/x86tso/rfi004.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi004.test -------------------------------------------------------------------------------- /tests/x86tso/rfi005.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi005.test -------------------------------------------------------------------------------- /tests/x86tso/rfi006.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi006.test -------------------------------------------------------------------------------- /tests/x86tso/rfi007.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi007.test -------------------------------------------------------------------------------- /tests/x86tso/rfi008.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi008.test -------------------------------------------------------------------------------- /tests/x86tso/rfi009.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi009.test -------------------------------------------------------------------------------- /tests/x86tso/rfi010.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi010.test -------------------------------------------------------------------------------- /tests/x86tso/rfi011.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi011.test -------------------------------------------------------------------------------- /tests/x86tso/rfi012.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi012.test -------------------------------------------------------------------------------- /tests/x86tso/rfi013.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi013.test -------------------------------------------------------------------------------- /tests/x86tso/rfi014.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi014.test -------------------------------------------------------------------------------- /tests/x86tso/rfi015.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi015.test -------------------------------------------------------------------------------- /tests/x86tso/rfi016.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi016.test -------------------------------------------------------------------------------- /tests/x86tso/rfi017.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi017.test -------------------------------------------------------------------------------- /tests/x86tso/rfi018.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rfi018.test -------------------------------------------------------------------------------- /tests/x86tso/rwc-fenced.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rwc-fenced.test -------------------------------------------------------------------------------- /tests/x86tso/rwc-unfenced.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/rwc-unfenced.test -------------------------------------------------------------------------------- /tests/x86tso/safe000.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe000.test -------------------------------------------------------------------------------- /tests/x86tso/safe001.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe001.test -------------------------------------------------------------------------------- /tests/x86tso/safe002.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe002.test -------------------------------------------------------------------------------- /tests/x86tso/safe003.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe003.test -------------------------------------------------------------------------------- /tests/x86tso/safe004.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe004.test -------------------------------------------------------------------------------- /tests/x86tso/safe005.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe005.test -------------------------------------------------------------------------------- /tests/x86tso/safe006.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe006.test -------------------------------------------------------------------------------- /tests/x86tso/safe007.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe007.test -------------------------------------------------------------------------------- /tests/x86tso/safe008.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe008.test -------------------------------------------------------------------------------- /tests/x86tso/safe009.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe009.test -------------------------------------------------------------------------------- /tests/x86tso/safe010.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe010.test -------------------------------------------------------------------------------- /tests/x86tso/safe011.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe011.test -------------------------------------------------------------------------------- /tests/x86tso/safe012.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe012.test -------------------------------------------------------------------------------- /tests/x86tso/safe013.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe013.test -------------------------------------------------------------------------------- /tests/x86tso/safe014.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe014.test -------------------------------------------------------------------------------- /tests/x86tso/safe015.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe015.test -------------------------------------------------------------------------------- /tests/x86tso/safe016.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe016.test -------------------------------------------------------------------------------- /tests/x86tso/safe017.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe017.test -------------------------------------------------------------------------------- /tests/x86tso/safe018.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe018.test -------------------------------------------------------------------------------- /tests/x86tso/safe019.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe019.test -------------------------------------------------------------------------------- /tests/x86tso/safe020.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe020.test -------------------------------------------------------------------------------- /tests/x86tso/safe021.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe021.test -------------------------------------------------------------------------------- /tests/x86tso/safe022.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe022.test -------------------------------------------------------------------------------- /tests/x86tso/safe023.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe023.test -------------------------------------------------------------------------------- /tests/x86tso/safe024.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe024.test -------------------------------------------------------------------------------- /tests/x86tso/safe025.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe025.test -------------------------------------------------------------------------------- /tests/x86tso/safe026.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe026.test -------------------------------------------------------------------------------- /tests/x86tso/safe027.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe027.test -------------------------------------------------------------------------------- /tests/x86tso/safe028.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe028.test -------------------------------------------------------------------------------- /tests/x86tso/safe029.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe029.test -------------------------------------------------------------------------------- /tests/x86tso/safe030.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe030.test -------------------------------------------------------------------------------- /tests/x86tso/safe031.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe031.test -------------------------------------------------------------------------------- /tests/x86tso/safe032.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe032.test -------------------------------------------------------------------------------- /tests/x86tso/safe033.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe033.test -------------------------------------------------------------------------------- /tests/x86tso/safe034.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe034.test -------------------------------------------------------------------------------- /tests/x86tso/safe035.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe035.test -------------------------------------------------------------------------------- /tests/x86tso/safe036.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe036.test -------------------------------------------------------------------------------- /tests/x86tso/safe037.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/safe037.test -------------------------------------------------------------------------------- /tests/x86tso/sb.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/sb.test -------------------------------------------------------------------------------- /tests/x86tso/ssl.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/ssl.test -------------------------------------------------------------------------------- /tests/x86tso/testandset+earlyld.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/testandset+earlyld.test -------------------------------------------------------------------------------- /tests/x86tso/testandset.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/testandset.test -------------------------------------------------------------------------------- /tests/x86tso/testandset2+earlyld.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/testandset2+earlyld.test -------------------------------------------------------------------------------- /tests/x86tso/testandset2.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/testandset2.test -------------------------------------------------------------------------------- /tests/x86tso/wrc.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/tests/x86tso/wrc.test -------------------------------------------------------------------------------- /uarches/ccicheck/FiveStagePeekaboo.uarch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/uarches/ccicheck/FiveStagePeekaboo.uarch -------------------------------------------------------------------------------- /uarches/ccicheck/FiveStageTSOCC.uarch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/uarches/ccicheck/FiveStageTSOCC.uarch -------------------------------------------------------------------------------- /uarches/pipecheck/FiveStage.uarch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/uarches/pipecheck/FiveStage.uarch -------------------------------------------------------------------------------- /uarches/pipecheck/gem5-slrbug.uarch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/uarches/pipecheck/gem5-slrbug.uarch -------------------------------------------------------------------------------- /uarches/pipecheck/gem5.uarch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/uarches/pipecheck/gem5.uarch -------------------------------------------------------------------------------- /x86tso.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daniellustig/coatcheck/HEAD/x86tso.cat --------------------------------------------------------------------------------