diff --git a/X_appendices/released_software.typ b/X_appendices/released_software.typ index 5c82a2a..943f485 100644 --- a/X_appendices/released_software.typ +++ b/X_appendices/released_software.typ @@ -65,4 +65,4 @@ Androscalpel can be found at the following locations: - https://git.mineau.eu/these-android-re/androscalpel - https://github.com/histausse/androscalpel -The dataset, results of the dynamic analysis and results of benchmark before and after the instrumentations with Theseus are available on Zenodo at https://doi.org/10.5281/zenodo.17350991. +The dataset, results of the dynamic analysis and results of benchmark before and after the instrumentations with Theseus are available on Zenodo (link to appear) diff --git a/slides.typ b/slides.typ index 91de594..16fd024 100644 --- a/slides.typ +++ b/slides.typ @@ -49,71 +49,16 @@ ) ) -#set page(foreground: ghost-5(dx:-45%, dy: 43%)) -#slide(new-sec: true, title: [Introduction], hide-title: true)[ - Intro 1 -] -#set page(foreground: []) - -#slide[ - Intro 2 - -] - -#new-section-slide([Tool Reusability]) - -#slide[ - Rasta 1 - /* +#slide( + title: [Test], + subtitle: [Test Slide], +)[ #stack(dir: ltr, scale(40%, reflow: true, get_figure()), scale(55%, reflow: true, get_figure()), - )*/ + ) ] -#slide[ - Rasta 2 - -] - -#new-section-slide([Class Shadowing]) - -#slide[Shadow 1 - -] -#slide[Shadow 2 - -] -#slide[Shadow 3 - -] - -#new-section-slide([The Application of Theseus]) - -#slide[Th 1 - -] -#slide[Th 2 - -] - -#new-section-slide([Conclusion]) - -#slide[Conclusion 1 - -] -#slide[Conclusion 2 - -] - - -#empty-slide[ - Questions -] - - -/* - #slide()[ #get_figure()) ] @@ -135,6 +80,7 @@ // #toc-slide( title: [Outline] ) +#new-section-slide([First section]) #slide( title: [A slide without subtitle], @@ -174,7 +120,7 @@ #empty-slide()[ Ending slide ] -*/ + @@ -189,6 +135,4 @@ * */ -#pagebreak() -#set page(height: auto, margin: 25mm) #bibliography("bibliography.bib") diff --git a/slides/imgs/ghosts/eye-1.png b/slides/imgs/ghosts/eye-1.png deleted file mode 100644 index 8ff9f82..0000000 Binary files a/slides/imgs/ghosts/eye-1.png and /dev/null differ diff --git a/slides/imgs/ghosts/eye-2.png b/slides/imgs/ghosts/eye-2.png deleted file mode 100644 index 8c555a3..0000000 Binary files a/slides/imgs/ghosts/eye-2.png and /dev/null differ diff --git a/slides/imgs/ghosts/eye-3.png b/slides/imgs/ghosts/eye-3.png deleted file mode 100644 index 8b74907..0000000 Binary files a/slides/imgs/ghosts/eye-3.png and /dev/null differ diff --git a/slides/imgs/ghosts/eye-4.png b/slides/imgs/ghosts/eye-4.png deleted file mode 100644 index 5c3cfcc..0000000 Binary files a/slides/imgs/ghosts/eye-4.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-1.png b/slides/imgs/ghosts/ghost-1.png deleted file mode 100644 index f353979..0000000 Binary files a/slides/imgs/ghosts/ghost-1.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-2.png b/slides/imgs/ghosts/ghost-2.png deleted file mode 100644 index cb39b09..0000000 Binary files a/slides/imgs/ghosts/ghost-2.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-3.png b/slides/imgs/ghosts/ghost-3.png deleted file mode 100644 index 95c4e48..0000000 Binary files a/slides/imgs/ghosts/ghost-3.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-4.png b/slides/imgs/ghosts/ghost-4.png deleted file mode 100644 index 798019f..0000000 Binary files a/slides/imgs/ghosts/ghost-4.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-5.png b/slides/imgs/ghosts/ghost-5.png deleted file mode 100644 index 047806a..0000000 Binary files a/slides/imgs/ghosts/ghost-5.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-6.png b/slides/imgs/ghosts/ghost-6.png deleted file mode 100644 index 4703cca..0000000 Binary files a/slides/imgs/ghosts/ghost-6.png and /dev/null differ diff --git a/slides/imgs/ghosts/ghost-7.png b/slides/imgs/ghosts/ghost-7.png deleted file mode 100644 index 2adbfc1..0000000 Binary files a/slides/imgs/ghosts/ghost-7.png and /dev/null differ diff --git a/slides/lib.typ b/slides/lib.typ index 7f788ab..a5265da 100644 --- a/slides/lib.typ +++ b/slides/lib.typ @@ -29,22 +29,3 @@ pirat-color.red, }) } ] - -#let ghost(img, ..args,) = { - move( - ..args, - image(img, height: 100pt) - ) -} - -#let ghost-1 = ghost.with("imgs/ghosts/ghost-1.png") -#let ghost-2 = ghost.with("imgs/ghosts/ghost-2.png") -#let ghost-3 = ghost.with("imgs/ghosts/ghost-3.png") -#let ghost-4 = ghost.with("imgs/ghosts/ghost-4.png") -#let ghost-5 = ghost.with("imgs/ghosts/ghost-5.png") -#let ghost-6 = ghost.with("imgs/ghosts/ghost-6.png") -#let ghost-7 = ghost.with("imgs/ghosts/ghost-7.png") -#let eye-1 = ghost.with("imgs/ghosts/eye-1.png") -#let eye-2 = ghost.with("imgs/ghosts/eye-2.png") -#let eye-3 = ghost.with("imgs/ghosts/eye-3.png") -#let eye-4 = ghost.with("imgs/ghosts/eye-4.png") diff --git a/slides/sns_polylux_template.typ b/slides/sns_polylux_template.typ index 160e19a..42a0f9e 100644 --- a/slides/sns_polylux_template.typ +++ b/slides/sns_polylux_template.typ @@ -123,25 +123,11 @@ cmyk(25%,7%,0%,0%), sns-polylux-template_date.update(date) body - - context { - //let section-pages = sns-polylux-template_section-pages.final() - if not "END" in sns-polylux-template_section-pages.at(here()).keys() { - let page_num = counter("logical-slide").at(here()) - sns-polylux-template_section-pages.update(secpages => { - secpages.insert("END", page_num) - secpages - }) - } - } } -#let register-section(title, no_dedicated_slide: false) = context { +#let register-section(title) = context { // YUCKKKKK, but polylux don't allows access to integers soooooo let page_num = counter("logical-slide").at(here()) //sns-polylux-template_slide-pages.at(here()) - if no_dedicated_slide { - page_num.at(0) += 1 - } sns-polylux-template_section-pages.update(secpages => { secpages.insert(repr(title), page_num) secpages @@ -281,52 +267,35 @@ cmyk(25%,7%,0%,0%), #let sections() = context { let section-pages = sns-polylux-template_section-pages.final() - let pnum = counter("logical-slide").at(here()).first() + 1 + let pnum = counter("logical-slide").at(here()).first() pl.toolbox.all-sections((sections, current) => { - let beg-end-section = (:) - let prev-sec = none - for section in sections { - let s = repr(section.at("body")) - if prev-sec != none { - beg-end-section.insert(prev-sec, (section-pages.at(prev-sec).first(), section-pages.at(s).first())) - } - prev-sec = s - } - if prev-sec != none { - beg-end-section.insert(prev-sec, (section-pages.at(prev-sec).first(), section-pages.at("END").first() + 1)) - } - + let pnum_i = 0 let section_names = () let section_pages = () for s in sections { let pages = () - let (pmin, pmax) = beg-end-section.at(repr(s.at("body"))) - - let p_i = pmin - while p_i < pmax and p_i < pnum { - // In section, before current page + let pnum_max = section-pages.at(repr(s.at("body"))).first() + while pnum_i < pnum_max and pnum_i < pnum - 1 { pages.push(sym.circle.filled) - p_i += 1 + pnum_i += 1 } - if p_i == pnum and p_i != pmax { - // In section, current page + if pnum_i == pnum { pages.push(sym.ast.circle) - p_i += 1 + pnum_i += 1 } - while p_i < pmax { - // In section, after current page + while pnum_i < pnum_max { pages.push(sym.circle.dotted) - p_i += 1 + pnum_i += 1 } - //section_names.push(scale(50%, reflow: true, [#pnum #s (#pmin, #pmax)])) + /* if s == current { - section_names.push(strong(s)) - section_pages.push(strong(pages.join([]))) + strong(s + " " + str(pnum)) } else { - section_names.push(s) - section_pages.push(pages.join([])) - } + s + " " + str(pnum) + }*/ + section_names.push(s) + section_pages.push(pages.join([])) } grid( columns: (auto,)*section_names.len(), @@ -371,7 +340,6 @@ cmyk(25%,7%,0%,0%), new-sec : false, page-number : true, hide-section : false, - hide-title : false, body ) = context( { let sections_height = 1.5cm @@ -387,7 +355,7 @@ cmyk(25%,7%,0%,0%), // Else the new-sec name is new-sec if type(new-sec)==bool { if new-sec { - register-section(title, no_dedicated_slide: true) + register-section(title) } } else { register-section(new-sec) @@ -411,7 +379,7 @@ cmyk(25%,7%,0%,0%), })) ), grid.cell(colspan: columns.len(), progress-bar()), - if title != none and not hide-title { + if title != none { rect( width: 100%, height: title_bar_height, inset: 0.8cm, outset: 0pt,