changes
[cdsspec-compiler.git] / correctness-model / writeup /
drwxr-xr-x   ..
-rw-r--r-- 9085 .#implementation.tex.1.9
-rw-r--r-- 12290 .#introduction.tex.1.24
-rw-r--r-- 12369 .#introduction.tex.1.26
-rw-r--r-- 4346 .#memorymodel.tex.1.1
-rw-r--r-- 22994 .#specification.tex.1.47
drwxr-xr-x - CVS
-rw-r--r-- 1035 abstract.tex
-rw-r--r-- 598 conclusion.tex
-rw-r--r-- 3392 confstrs-abbrv.bib
-rw-r--r-- 13970 confstrs-long.bib
-rw-r--r-- 14354 evaluation.tex
-rw-r--r-- 7163 example.tex
drwxr-xr-x - figures
-rw-r--r-- 8638 formalization.tex
-rw-r--r-- 8233 implementation.tex
-rw-r--r-- 12413 introduction.tex
-rw-r--r-- 259914 issta15_submission.pdf
-rw-r--r-- 1414 makefile
-rw-r--r-- 4351 memorymodel.tex
-rw-r--r-- 3846 paper.aux
-rw-r--r-- 3017 paper.bbl
-rw-r--r-- 22259 paper.bib
-rw-r--r-- 1052 paper.blg
-rw-r--r-- 27222 paper.log
-rw-r--r-- 152256 paper.pdf
-rw-r--r-- 4879 paper.tex
-rw-r--r-- 6686 related.tex
-rw-r--r-- 59744 sig-alternate.cls
-rw-r--r-- 343 speccfg.tex
-rw-r--r-- 22938 specification.tex
-rw-r--r-- 841 spell.lst
-rw-r--r-- 41 technical.tex