├── LICENSE ├── README.md ├── doc ├── clean.sh ├── make.sh ├── manual.pdf ├── manual.tex └── performance │ ├── clean.sh │ ├── make.sh │ ├── plot.py │ ├── pow.pdf │ ├── results │ ├── pow │ │ ├── 16t.txt │ │ ├── 32t.txt │ │ └── 4t.txt │ ├── tso │ │ ├── 16t.txt │ │ ├── 32t.txt │ │ └── 4t.txt │ └── wmo │ │ ├── 16t.txt │ │ ├── 32t.txt │ │ └── 4t.txt │ ├── tso.pdf │ └── wmo.pdf ├── src ├── Analysis.cpp ├── Analysis.h ├── Backtrack.h ├── Edges.cpp ├── Edges.h ├── Graph.cpp ├── Graph.h ├── Hash.h ├── Instr.cpp ├── Instr.h ├── Main.cpp ├── Models.cpp ├── Models.h ├── Options.cpp ├── Options.h ├── Parser.cpp ├── Parser.h ├── Seq.h ├── Trace.cpp ├── Trace.h ├── ValOrder.cpp ├── ValOrder.h ├── axe-big-shrink.py ├── axe-shrink.py ├── clean.sh └── make.sh └── tests ├── litmus.tar.bz2 ├── more-random.tar.bz2 ├── random.tar.bz2 └── test.sh /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/README.md -------------------------------------------------------------------------------- /doc/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/clean.sh -------------------------------------------------------------------------------- /doc/make.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/make.sh -------------------------------------------------------------------------------- /doc/manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/manual.pdf -------------------------------------------------------------------------------- /doc/manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/manual.tex -------------------------------------------------------------------------------- /doc/performance/clean.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | rm -f *.png 4 | -------------------------------------------------------------------------------- /doc/performance/make.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/make.sh -------------------------------------------------------------------------------- /doc/performance/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/plot.py -------------------------------------------------------------------------------- /doc/performance/pow.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/pow.pdf -------------------------------------------------------------------------------- /doc/performance/results/pow/16t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/pow/16t.txt -------------------------------------------------------------------------------- /doc/performance/results/pow/32t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/pow/32t.txt -------------------------------------------------------------------------------- /doc/performance/results/pow/4t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/pow/4t.txt -------------------------------------------------------------------------------- /doc/performance/results/tso/16t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/tso/16t.txt -------------------------------------------------------------------------------- /doc/performance/results/tso/32t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/tso/32t.txt -------------------------------------------------------------------------------- /doc/performance/results/tso/4t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/tso/4t.txt -------------------------------------------------------------------------------- /doc/performance/results/wmo/16t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/wmo/16t.txt -------------------------------------------------------------------------------- /doc/performance/results/wmo/32t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/wmo/32t.txt -------------------------------------------------------------------------------- /doc/performance/results/wmo/4t.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/results/wmo/4t.txt -------------------------------------------------------------------------------- /doc/performance/tso.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/tso.pdf -------------------------------------------------------------------------------- /doc/performance/wmo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/doc/performance/wmo.pdf -------------------------------------------------------------------------------- /src/Analysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Analysis.cpp -------------------------------------------------------------------------------- /src/Analysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Analysis.h -------------------------------------------------------------------------------- /src/Backtrack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Backtrack.h -------------------------------------------------------------------------------- /src/Edges.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Edges.cpp -------------------------------------------------------------------------------- /src/Edges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Edges.h -------------------------------------------------------------------------------- /src/Graph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Graph.cpp -------------------------------------------------------------------------------- /src/Graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Graph.h -------------------------------------------------------------------------------- /src/Hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Hash.h -------------------------------------------------------------------------------- /src/Instr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Instr.cpp -------------------------------------------------------------------------------- /src/Instr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Instr.h -------------------------------------------------------------------------------- /src/Main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Main.cpp -------------------------------------------------------------------------------- /src/Models.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Models.cpp -------------------------------------------------------------------------------- /src/Models.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Models.h -------------------------------------------------------------------------------- /src/Options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Options.cpp -------------------------------------------------------------------------------- /src/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Options.h -------------------------------------------------------------------------------- /src/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Parser.cpp -------------------------------------------------------------------------------- /src/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Parser.h -------------------------------------------------------------------------------- /src/Seq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Seq.h -------------------------------------------------------------------------------- /src/Trace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Trace.cpp -------------------------------------------------------------------------------- /src/Trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/Trace.h -------------------------------------------------------------------------------- /src/ValOrder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/ValOrder.cpp -------------------------------------------------------------------------------- /src/ValOrder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/ValOrder.h -------------------------------------------------------------------------------- /src/axe-big-shrink.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/axe-big-shrink.py -------------------------------------------------------------------------------- /src/axe-shrink.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/axe-shrink.py -------------------------------------------------------------------------------- /src/clean.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | rm -f axe 4 | -------------------------------------------------------------------------------- /src/make.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/src/make.sh -------------------------------------------------------------------------------- /tests/litmus.tar.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/tests/litmus.tar.bz2 -------------------------------------------------------------------------------- /tests/more-random.tar.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/tests/more-random.tar.bz2 -------------------------------------------------------------------------------- /tests/random.tar.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/tests/random.tar.bz2 -------------------------------------------------------------------------------- /tests/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CTSRD-CHERI/axe/HEAD/tests/test.sh --------------------------------------------------------------------------------