Skip to content

Commit

Permalink
checkpoint
Browse files Browse the repository at this point in the history
  • Loading branch information
@wintersmind
wintersmind committed Jul 11, 2024
1 parent 2da4de7 commit 5cbb988
Show file tree
Hide file tree
Showing 6 changed files with 181 additions and 89 deletions.
10 changes: 5 additions & 5 deletions revision-1/main.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -74,15 +74,15 @@

%\maketitle

\input{lang}
%\input{lang}

\input{model}
%\input{model}

\input{hyper}
%\input{hyper}

\input{types}
%\input{types}

%\input{scratch}
\input{scratch}

\bibliographystyle{ACM-Reference-Format}
\bibliography{logic-bibliography,secure-computation-bibliography}
Expand Down
14 changes: 9 additions & 5 deletions revision-2/main.aux
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,14 +18,18 @@
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}$\mathit {Overture}$ Syntax and Semantics}{1}{section.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}$\mathit {Overture}$ Adversarial Semantics}{1}{section.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}$\mathit {Overture}$ Constraint Typing}{2}{section.3}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}$\mathit {Prelude}$ Syntax and Semantics}{2}{section.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}Examples}{3}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}$\mathit {Overture}$ Constraint Typing}{1}{section.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Confidentiality Types}{1}{subsection.3.1}\protected@file@percent }
\@writefile{loe}{\contentsline {definition}{\numberline {3.1}Definition}{2}{definition.3.1}\protected@file@percent }
\@writefile{loe}{\contentsline {theorem}{\numberline {3.2}Theorem}{2}{theorem.3.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Integrity Types}{2}{subsection.3.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}$\mathit {Prelude}$ Syntax and Semantics}{3}{section.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}Examples}{4}{section.5}\protected@file@percent }
\bibstyle{ACM-Reference-Format}
\bibdata{logic-bibliography,secure-computation-bibliography}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{0pt}
\newlabel{tocindent1}{4.65pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent2}{11.49998pt}
\newlabel{tocindent3}{0pt}
\newlabel{TotPages}{{5}{5}{}{page.5}{}}
\newlabel{TotPages}{{6}{6}{}{page.6}{}}
141 changes: 75 additions & 66 deletions revision-2/main.log
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=pdflatex 2020.4.7) 29 JUN 2024 15:45
This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=pdflatex 2020.4.7) 11 JUL 2024 15:54
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
Expand Down Expand Up @@ -1007,136 +1007,148 @@ Class acmart Info: Printing folios on input line 103.

(./scratch.tex
LaTeX Font Info: Trying to load font information for T1+LinuxBiolinumT-TLF o
n input line 32.
n input line 37.

(/usr/local/texlive/2020/texmf-dist/tex/latex/libertine/T1LinuxBiolinumT-TLF.fd
File: T1LinuxBiolinumT-TLF.fd 2017/03/20 (autoinst) Font definitions for T1/Lin
uxBiolinumT-TLF.
)
LaTeX Font Info: Font shape `T1/LinuxBiolinumT-TLF/m/n' will be
(Font) scaled to size 10.0pt on input line 32.
(Font) scaled to size 10.0pt on input line 37.
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `LinuxBiolinumT-TLF' (encoding: T1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Font shape `T1/LinuxBiolinumT-TLF/b/n' will be
(Font) scaled to size 10.0pt on input line 32.
(Font) scaled to size 10.0pt on input line 37.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 10.0pt on input line 32.
(Font) scaled to size 10.0pt on input line 37.
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `LinuxLibertineT-TLF' (encoding: OT1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 7.3pt on input line 32.
(Font) scaled to size 7.3pt on input line 37.
(/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/mt-msa.cfg
File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS)
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/mt-msb.cfg
File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS)
)
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/m/it' will be
(Font) scaled to size 10.0pt on input line 32.
(Font) scaled to size 10.0pt on input line 37.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/m/it' will be
(Font) scaled to size 7.3pt on input line 32.
(Font) scaled to size 7.3pt on input line 37.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/m/it' will be
(Font) scaled to size 5.5pt on input line 32.
(Font) scaled to size 5.5pt on input line 37.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 32.
(hyperref) removing `math shift' on input line 37.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 32.
(hyperref) removing `math shift' on input line 37.

LaTeX Font Info: Trying to load font information for T1+zi4 on input line 37
LaTeX Font Info: Trying to load font information for T1+zi4 on input line 42
.
(/usr/local/texlive/2020/texmf-dist/tex/latex/inconsolata/t1zi4.fd
File: t1zi4.fd 2018/01/14 T1/zi4 (Inconsolata)
)
LaTeX Font Info: Font shape `T1/zi4/m/n' will be
(Font) scaled to size 10.0pt on input line 37.
(Font) scaled to size 10.0pt on input line 42.
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `zi4' (encoding: T1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 7.3pt on input line 37.
(Font) scaled to size 7.3pt on input line 42.
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 5.5pt on input line 37.
(Font) scaled to size 5.5pt on input line 42.
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/it' will be
(Font) scaled to size 10.0pt on input line 37.
(Font) scaled to size 10.0pt on input line 42.


Class acmart Warning: \vspace should only be used to provide space above/below
surrounding objects on input line 47.
surrounding objects on input line 52.


Class acmart Warning: \vspace should only be used to provide space above/below
surrounding objects on input line 67.
surrounding objects on input line 72.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 80.
(hyperref) removing `math shift' on input line 85.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 80.
(hyperref) removing `math shift' on input line 85.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 113.
(hyperref) removing `math shift' on input line 118.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 113.
(hyperref) removing `math shift' on input line 118.

LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 9.0pt on input line 118.
(Font) scaled to size 9.0pt on input line 135.
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/sc' will be
(Font) scaled to size 9.0pt on input line 118.
(Font) scaled to size 9.0pt on input line 135.
Package hyperref Info: bookmark level for unknown definition defaults to 0 on i
nput line 156.
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 7.0pt on input line 156.
[1.1{/usr/local/texlive/2020/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/sc' will be
(Font) scaled to size 10.0pt on input line 179.
Package hyperref Info: bookmark level for unknown theorem defaults to 0 on inpu
t line 179.

Underfull \vbox (badness 2529) has occurred while \output is active []

LaTeX Font Info: Font shape `T1/LinuxLibertineT-TLF/m/n' will be
(Font) scaled to size 7.0pt on input line 154.
[1.1{/usr/local/texlive/2020/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Font Warning: Font shape `T1/zi4/m/it' undefined
(Font) using `T1/zi4/m/n' instead on input line 180.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 186.
(hyperref) removing `math shift' on input line 263.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 186.
(hyperref) removing `math shift' on input line 263.

LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/sb/n' will be
(Font) scaled to size 10.0pt on input line 197.
(Font) scaled to size 10.0pt on input line 274.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/sb/n' will be
(Font) scaled to size 7.3pt on input line 197.
(Font) scaled to size 7.3pt on input line 274.
LaTeX Font Info: Font shape `OT1/LinuxLibertineT-TLF/sb/n' will be
(Font) scaled to size 5.5pt on input line 197.
(Font) scaled to size 5.5pt on input line 274.

Underfull \vbox (badness 2495) has occurred while \output is active []
Underfull \vbox (badness 10000) has occurred while \output is active []

LaTeX Font Info: Font shape `T1/LinuxBiolinumT-TLF/m/n' will be
(Font) scaled to size 8.0pt on input line 230.
(Font) scaled to size 8.0pt on input line 284.
[2.2]
[3.3]
Underfull \vbox (badness 1102) has occurred while \output is active []

[4.4]
Package textcomp Info: Symbol \textasciigrave not provided by
(textcomp) font family zi4 in TS1 encoding.
(textcomp) Default family used instead on input line 343.
LaTeX Font Info: Trying to load font information for T1+cmtt on input line 3
43.
(/usr/local/texlive/2020/texmf-dist/tex/latex/base/t1cmtt.fd
(textcomp) Default family used instead on input line 420.
LaTeX Font Info: Trying to load font information for T1+cmtt on input line 4
20.

(/usr/local/texlive/2020/texmf-dist/tex/latex/base/t1cmtt.fd
File: t1cmtt.fd 2019/12/16 v2.5j Standard LaTeX font definitions
)
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `cmtt' (encoding: T1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Trying to load font information for TS1+cmtt on input line
343.
420.

(/usr/local/texlive/2020/texmf-dist/tex/latex/base/ts1cmtt.fd
File: ts1cmtt.fd 2019/12/16 v2.5j Standard LaTeX font definitions
Expand All @@ -1145,46 +1157,43 @@ Package microtype Info: Loading generic protrusion settings for font family
(microtype) `cmtt' (encoding: TS1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
[5.5])
No file main.bbl.

Underfull \vbox (badness 3250) has occurred while \output is active []
Class acmart Warning: ACM keywords are mandatory for papers over two pages.

[4.4])
No file main.bbl.
[5.5]

Class acmart Warning: CCS concepts are mandatory for papers over two pages.

[6.6]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 131.
Package atveryend Info: Empty hook `AfterLastShipout' on input line 131.
(./main.aux)
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 131.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 131.
Package rerunfilecheck Info: File `main.out' has not changed.
(rerunfilecheck) Checksum: 01A0DF4BDDC3148771250687D9F7A595;1261.


Package rerunfilecheck Warning: File `main.out' has changed.
(rerunfilecheck) Rerun to get outlines right
(rerunfilecheck) or use package `bookmark'.

Package rerunfilecheck Info: Checksums for `main.out':
(rerunfilecheck) Before: 48CF4737CEC00DF32BB18F932FFD27EE;422
(rerunfilecheck) After: DF5DB84BF4C42333ACAE64C693FED8A0;915.

LaTeX Font Warning: Size substitutions with differences
(Font) up to 0.5pt have occurred.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
LaTeX Font Warning: Some font shapes were not available, defaults substituted.

)
Here is how much of TeX's memory you used:
20341 strings out of 480608
302275 string characters out of 5903631
610335 words of memory out of 5000000
35520 multiletter control sequences out of 15000+600000
646227 words of font info for 162 fonts, out of 8000000 for 9000
20391 strings out of 480608
303289 string characters out of 5903631
609369 words of memory out of 5000000
35540 multiletter control sequences out of 15000+600000
652162 words of font info for 176 fonts, out of 8000000 for 9000
1302 hyphenation exceptions out of 8191
63i,16n,100p,791b,569s stack positions out of 5000i,500n,10000p,200000b,80000s
63i,16n,100p,791b,570s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc
}{/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_fygcup.enc}
{/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_ncsllp.enc}{
/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_25tcsq.enc}{/
{/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_25tcsq.enc}{
/usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_ncsllp.enc}{/
usr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_76gpa5.enc}{/u
sr/local/texlive/2020/texmf-dist/fonts/enc/dvips/libertine/lbtn_7grukw.enc}{/us
r/local/texlive/2020/texmf-dist/fonts/enc/dvips/inconsolata/i4-t1-4.enc}{/usr/l
Expand All @@ -1205,10 +1214,10 @@ c/stmaryrd/stmary10.pfb></usr/local/texlive/2020/texmf-dist/fonts/type1/public/
newtx/txmiaX.pfb></usr/local/texlive/2020/texmf-dist/fonts/type1/public/txfonts
/txsyb.pfb></usr/local/texlive/2020/texmf-dist/fonts/type1/public/newtx/txsys.p
fb>
Output written on main.pdf (5 pages, 381713 bytes).
Output written on main.pdf (6 pages, 394388 bytes).
PDF statistics:
134 PDF objects out of 1000 (max. 8388607)
92 compressed objects within 1 object stream
11 named destinations out of 1000 (max. 500000)
42013 words of extra memory for PDF output out of 42996 (max. 10000000)
161 PDF objects out of 1000 (max. 8388607)
117 compressed objects within 2 object streams
18 named destinations out of 1000 (max. 500000)
46149 words of extra memory for PDF output out of 51595 (max. 10000000)

6 changes: 4 additions & 2 deletions revision-2/main.out
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
\BOOKMARK [1][-]{section.1}{\376\377\0001\000\040\000O\000v\000e\000r\000t\000u\000r\000e\000\040\000S\000y\000n\000t\000a\000x\000\040\000a\000n\000d\000\040\000S\000e\000m\000a\000n\000t\000i\000c\000s}{}% 1
\BOOKMARK [1][-]{section.2}{\376\377\0002\000\040\000O\000v\000e\000r\000t\000u\000r\000e\000\040\000A\000d\000v\000e\000r\000s\000a\000r\000i\000a\000l\000\040\000S\000e\000m\000a\000n\000t\000i\000c\000s}{}% 2
\BOOKMARK [1][-]{section.3}{\376\377\0003\000\040\000O\000v\000e\000r\000t\000u\000r\000e\000\040\000C\000o\000n\000s\000t\000r\000a\000i\000n\000t\000\040\000T\000y\000p\000i\000n\000g}{}% 3
\BOOKMARK [1][-]{section.4}{\376\377\0004\000\040\000P\000r\000e\000l\000u\000d\000e\000\040\000S\000y\000n\000t\000a\000x\000\040\000a\000n\000d\000\040\000S\000e\000m\000a\000n\000t\000i\000c\000s}{}% 4
\BOOKMARK [1][-]{section.5}{\376\377\0005\000\040\000E\000x\000a\000m\000p\000l\000e\000s}{}% 5
\BOOKMARK [2][-]{subsection.3.1}{\376\377\0003\000.\0001\000\040\000C\000o\000n\000f\000i\000d\000e\000n\000t\000i\000a\000l\000i\000t\000y\000\040\000T\000y\000p\000e\000s}{section.3}% 4
\BOOKMARK [2][-]{subsection.3.2}{\376\377\0003\000.\0002\000\040\000I\000n\000t\000e\000g\000r\000i\000t\000y\000\040\000T\000y\000p\000e\000s}{section.3}% 5
\BOOKMARK [1][-]{section.4}{\376\377\0004\000\040\000P\000r\000e\000l\000u\000d\000e\000\040\000S\000y\000n\000t\000a\000x\000\040\000a\000n\000d\000\040\000S\000e\000m\000a\000n\000t\000i\000c\000s}{}% 6
\BOOKMARK [1][-]{section.5}{\376\377\0005\000\040\000E\000x\000a\000m\000p\000l\000e\000s}{}% 7
Binary file modified revision-2/main.pdf
View file
Binary file not shown.
Loading

0 comments on commit 5cbb988

Please sign in to comment.