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)

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(<tab:rasta-tools>)),
     scale(55%, reflow: true, get_figure(<tab:rasta-sources>)),
-  )*/
+  )
 ]
 
-#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(<fig:th-cg-before-after>))
 ]
@@ -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")

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")

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,