GitHub - iwehrman/Weak-Memory-Local-Reasoning: LaTeX sources for my doctoral dissertation, "Weak-Memory Local Reasoning"

Name		Name	Last commit message	Last commit date
dependency-graph		dependency-graph
.gitignore		.gitignore
README		README
bcprules.sty		bcprules.sty
clean.sh		clean.sh
definitions.tex		definitions.tex
dissertation-old.tex		dissertation-old.tex
dissertation-really-old.tex		dissertation-really-old.tex
dissertation.bib		dissertation.bib
dissertation.tex		dissertation.tex
notation.tex		notation.tex
refresh-closure.sh		refresh-closure.sh
refresh.py		refresh.py
summary.tex		summary.tex
utthesis2.sty		utthesis2.sty