paradyx/ma-tex - Change XR47CNBXQ74C3LJR6XRP4JRSOF6YALIELZQQNJR7WB7B3AUFTQWQC

Beamer

Created by paradyx on August 4, 2023

XR47CNBXQ74C3LJR6XRP4JRSOF6YALIELZQQNJR7WB7B3AUFTQWQC

Dependencies

In channels

main

Change contents

Replacement in literature.bib at line 194 [4.18034]
B:BD[4.27551] → [4.27551:27580]
```
@InProceedings{benamram2017,
```
[4.27551]
[4.27580]
```
@InProceedings{:wq,
```

Insertion in literature.bib at line 932 [4.18034]

[3.859]

[4.35999]

@InProceedings{DBLP:conf/sas/Ben-AmramDG19,
  author    = {Amir M. Ben{-}Amram and Jes{\'{u}}s J. Dom{\'{e}}nech and Samir Genaim},
  booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings},
  title     = {Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets},
  year      = {2019},
  editor    = {Bor{-}Yuh Evan Chang},
  pages     = {459--480},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {11822},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/conf/sas/Ben-AmramDG19.bib},
  doi       = {10.1007/978-3-030-32304-2\_22},
  timestamp = {Mon, 03 Jan 2022 22:21:24 +0100},
  url       = {https://doi.org/10.1007/978-3-030-32304-2\_22},
}

Replacement in latexmkrc at line 1 [5.7445]
B:BD[5.7445] → [5.7446:7477]
```
@default_files = ('main.tex');
```
[5.7445]
[4.36044]
```
@default_files = ('main.tex', 'beamer.tex');
```

Replacement in figures/ch3_p4_tree.tex at line 7 [6.120]

B:BD[6.358] → [6.358:462]

    \node[state]            (l1)    [below=1.2cm of l0]          {$\langle l_1, \textit{true}\rangle$};

[6.358]

[6.462]

    \node[state]            (l1)    [below=1.2cm of l0]          {$\langle l_1, \texttt{true}\rangle$};

Replacement in figures/ch1_prob_pe_c.tex at line 7 [8.42]
B:BD[7.10334] → [7.10334:10348]
```
    $x = u$\;
```
[7.10334]
[7.10348]
```
    $x = u$\,\;
```

Replacement in figures/ch1_prob_pe_c.tex at line 9 [8.42]

B:BD[7.10413] → [7.10413:10544]

    \lWhile{$1 \leq x \leq 3$}{ $x = x+1 \oplus_\frac{1}{2} x = x$ }
    \lWhile{$y \geq 0$}{ $y = y-1 \oplus_\frac{1}{2} y = y$ }

[7.10413]

[7.10544]

    \lWhile{$1 \leq x \leq 3$}{ $x = x+1 \oplus_\frac{1}{2} x = x$}
    \lWhile{$y \geq 0$}{ $y = y-1 \oplus_\frac{1}{2} y = y$}

Replacement in figures/ch1_prob_c.tex at line 7 [8.83]

∅:D[7.12357] → [8.165:179]

B:BD[8.165] → [8.165:179]

B:BD[8.179] → [7.12358:12433]

∅:D[7.12433] → [8.256:287]

B:BD[8.256] → [8.256:287]

B:BD[8.287] → [7.12434:12477]

∅:D[7.12477] → [8.332:338]

B:BD[8.332] → [8.332:338]

    $x = u$\;
    \lWhile{$1 \leq x \leq 3$}{
        $x = x+1 \oplus_\frac{1}{2} x = x$
    }
    \lWhile{$y \geq 0$}{
        $y = y-1 \oplus_\frac{1}{2} y = y$
    }

[7.12357]

[8.338]

    $x = u$\,\;
    \lWhile{$1 \leq x \leq 3$}{ $x = x+1 \oplus_\frac{1}{2} x = x$ }
    \lWhile{$y \geq 0$}{ $y = y-1 \oplus_\frac{1}{2} y = y$ }

Replacement in figures/ch1_classic_pe_c.tex at line 7 [8.400]
∅:D[7.13987] → [8.482:496]
B:BD[8.482] → [8.482:496]
```
    $x = u$\;
```
[7.13987]
[7.13988]
```
    $x = u$\,\;
```

Replacement in figures/ch1_classic_pe_c.tex at line 9 [8.400]

B:BD[7.14029] → [7.14029:14112]

    \lWhile{$2 \leq x \leq 3$}{ $x = x + 1$}
    \lWhile{$y \geq 0$}{ $y = y + 1$}

[7.14029]

[8.629]

    \lWhile{$2 \leq x \leq 3$}{$x = x + 1$}
    \lWhile{$y \geq 0$}{$y = y + 1$}

Replacement in figures/ch1_classic_c.tex at line 7 [8.688]
∅:D[7.15672] → [8.770:784]
B:BD[8.770] → [8.770:784]
B:BD[8.784] → [7.15673:15718]
```
    $x = u$\;
    \lWhile{$1 \leq x \leq 3$}{ $x = x + 1$}
```
[7.15672]
[7.15718]
```
    $x = u$\,\;
    \lWhile{$1 \leq x \leq 3$}{$x = x + 1$}
```

Replacement in abbrv.tex at line 52 [9.35728]

B:BD[9.38112] → [9.38112:38253]

\newcommand{\pr}[0]{\textit{pr}}
\newcommand{\prSs}[0]{\textit{pr}_{\scheduler, s_0}}
\newcommand{\prSns}[0]{\textit{pr}_{\scheduler', s_0}}

[9.38112]

[9.38253]

\newcommand{\pr}[0]{\mathit{pr}}
\newcommand{\prSs}[0]{\mathit{pr}_{\scheduler, s_0}}
\newcommand{\prSns}[0]{\mathit{pr}_{\scheduler', s_0}}

Insertion in .ignore at line 14 [4.40377]
[2.53]
[4.40424]
```
*.nav
*.out
*.ist
*.snm
```

Beamer

Dependencies

In channels

Change contents

Replacement in literature.bib at line 194 [4.18034]

Insertion in literature.bib at line 932 [4.18034]

Replacement in latexmkrc at line 1 [5.7445]

Replacement in figures/ch3_p4_tree.tex at line 7 [6.120]

Replacement in figures/ch1_prob_pe_c.tex at line 7 [8.42]

Replacement in figures/ch1_prob_pe_c.tex at line 9 [8.42]

Replacement in figures/ch1_prob_c.tex at line 7 [8.83]

Replacement in figures/ch1_classic_pe_c.tex at line 7 [8.400]

Replacement in figures/ch1_classic_pe_c.tex at line 9 [8.400]

Replacement in figures/ch1_classic_c.tex at line 7 [8.688]

Replacement in abbrv.tex at line 52 [9.35728]

Insertion in .ignore at line 14 [4.40377]