changes
[cdsspec-compiler.git] / correctness-model / writeup / paper.aux
index 8dd863b..d3d63d5 100644 (file)
 \bibstyle{abbrv}
 \bibdata{confstrs-long,paper}
 \bibcite{cpp11spec}{1}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Formalization of Correctness Model}{\thepage }{section.2}}
+\newlabel{sec:formalization}{{2}{\thepage }{Formalization of Correctness Model}{section.2}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}References}{\thepage }{section.3}}
 \bibcite{c11spec}{2}
 \bibcite{c11popl}{3}
 \bibcite{boehmpldi}{4}
 \bibcite{lineup}{5}
 \bibcite{rcu}{6}
 \bibcite{vyrd}{7}
-\@writefile{toc}{\contentsline {section}{\numberline {2}Formalization of Correctness Model}{\thepage }{section.2}}
-\newlabel{sec:formalization}{{2}{\thepage }{Formalization of Correctness Model}{section.2}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}References}{\thepage }{section.3}}
 \bibcite{linearizableref}{8}
 \bibcite{scmemorymodel}{9}
 \bibcite{javaConcurrentHashMap}{10}