Skip to content

Commit

Permalink
link to videos
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Apr 13, 2023
1 parent 9a62227 commit e774dcf
Show file tree
Hide file tree
Showing 10 changed files with 13 additions and 19 deletions.
2 changes: 1 addition & 1 deletion 01-grammar/01-grammar.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{CSG, CFG, Parse Tree, Ambiguity, Non-Determinism}
\begin{document}

\plush{\innoTitlePage{1}}
\plush{\ppaTitlePage{1}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 02-syntax/02-syntax.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{DFA, Flex, Bison, ANTLR}
\begin{document}

\plush{\innoTitlePage{2}}
\plush{\ppaTitlePage{2}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 03-ast/03-ast.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{AST, Interpretation, CFG}
\begin{document}

\plush{\innoTitlePage{3}}
\plush{\ppaTitlePage{3}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 04-semantics/04-semantics.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{Rules, Structural, Natural, Reduction}
\begin{document}

\plush{\innoTitlePage{4}}
\plush{\ppaTitlePage{4}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 05-machines/05-machines.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{Turing, LLVM, Lambda, SECD, Semantics}
\begin{document}

\plush{\innoTitlePage{5}}
\plush{\ppaTitlePage{5}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 06-program-analysis/06-program-analysis.tex
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@
\newcommand*\thesubtitle{Metrics, Soundness, Lattices, AI}
\begin{document}

\plush{\innoTitlePage{6}}
\plush{\ppaTitlePage{6}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 07-data-flow-analysis/07-data-flow-analysis.tex
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
\newcommand*\thesubtitle{Example, Method, Lattice, Precision, Sensitivity}
\begin{document}

\plush{\innoTitlePage{7}}
\plush{\ppaTitlePage{7}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 08-symbolic-execution/08-symbolic-execution.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{Theory, Limitations, Tests, Concolic Testing}
\begin{document}

\plush{\innoTitlePage{8}}
\plush{\ppaTitlePage{8}}

\pptToc

Expand Down
2 changes: 1 addition & 1 deletion 09-model-checking/09-model-checking.tex
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
\newcommand*\thesubtitle{...}
\begin{document}

\plush{\innoTitlePage{9}}
\plush{\ppaTitlePage{9}}

\pptToc

Expand Down
14 changes: 4 additions & 10 deletions ppa.sty
Original file line number Diff line number Diff line change
Expand Up @@ -56,27 +56,21 @@

\newcommand\br{\newline}

\newcommand\innoDisclaimer{{%
\newcommand\ppaDisclaimer{{%
\color{grey}\ttfamily\footnotesize
All visual and text materials presented in this slidedeck are
either originally made by the author or taken from public Internet
sources, such as website. Copyright belongs to their
respected authors.\par
}}

\newcommand\innoTitlePage[1]{%
\newcommand\ppaTitlePage[1]{%
\pptTitle{\thetitle}{\thesubtitle}\par
{\scshape Yegor Bugayenko}\par
Lecture \##1 out of 10 \br
90 minutes\par
\innoDisclaimer{}
}

% 1: cover file
% 2: author
% 3: title
\newcommand\innoBook[3]{%
\pptPic{0.4}{books/#1} \br ``#3'' by {\scshape #2}
All videos are in \href{https://www.youtube.com/playlist?list=PLaIsQH4uc08wdXIC4utfgMxV_iswE9_Md}{this YouTube playlist}.\par
\ppaDisclaimer{}
}

\newcommand\nospell[1]{#1}
Expand Down

0 comments on commit e774dcf

Please sign in to comment.