Build graph

This page shows how this website is built. The diagram is a dependency graph showing how the website’s HTML pages are generated from scripts and data in the website’s repository. The diagram is automatically generated by ninja, the tool that runs the scripts in dependency order; the process of generating this diagram and building this web page is described by the sequence of steps ending in ‘out/build-graph/index.html’.

Using the ninja build system to build this website has several advantages. Ninja only re-builds pages when their dependencies change, and runs tasks that don’t depend on each other in parallel; this shortens the build time and saves energy. The design is also highly debuggable and tolerant to faults, because the build is composed of lots of small scripts that each perform one task and emit an intermediate file that is then consumed by the next step. It’s therefore easy to read the output of a step that fails, make manual changes and re-run the build while debugging.

ninja 0x55b1e544eed0 configure 0x55b1e544e9f0 build.ninja 0x55b1e544e9f0->0x55b1e544eed0 phony 0x55b1e544e940 configure 0x55b1e544e940->0x55b1e544e9f0 0x55b1e544eb20 configure 0x55b1e544eb20->0x55b1e544e940 0x55b1e5448cc0 karkhaz.srht.site/tmp/build-jsons/builds.json 0x55b1e5448cc0->0x55b1e544e940 0x55b1e5449b00 karkhaz.srht.site/tmp/build-jsons/public_assets/builds.json 0x55b1e5449b00->0x55b1e544e940 0x55b1e544a800 karkhaz.srht.site/tmp/build-jsons/tmp/builds.json 0x55b1e544a800->0x55b1e544e940 0x55b1e544b3a0 karkhaz.srht.site/tmp/build-jsons/public/builds.json 0x55b1e544b3a0->0x55b1e544e940 0x55b1e544c080 karkhaz.srht.site/tmp/build-jsons/public/pubs/builds.json 0x55b1e544c080->0x55b1e544e940 0x55b1e544cc90 karkhaz.srht.site/tmp/build-jsons/public/photo_cv/builds.json 0x55b1e544cc90->0x55b1e544e940 0x55b1e544d9f0 karkhaz.srht.site/tmp/build-jsons/public/build-graph/builds.json 0x55b1e544d9f0->0x55b1e544e940 0x55b1e5448e10 src/get_builds 0x55b1e5448e10->0x55b1e544e940 0x55b1e5436e50 run-script 0x55b1e5448e10->0x55b1e5436e50 0x55b1e5448e10->0x55b1e5436e50 0x55b1e5449bd0 src/public_assets/get_builds 0x55b1e5449bd0->0x55b1e544e940 0x55b1e5449a50 run-script 0x55b1e5449bd0->0x55b1e5449a50 0x55b1e5449bd0->0x55b1e5449a50 0x55b1e544a8e0 src/tmp/get_builds 0x55b1e544a8e0->0x55b1e544e940 0x55b1e544a750 run-script 0x55b1e544a8e0->0x55b1e544a750 0x55b1e544a8e0->0x55b1e544a750 0x55b1e544b480 src/public/get_builds 0x55b1e544b480->0x55b1e544e940 0x55b1e544b2f0 run-script 0x55b1e544b480->0x55b1e544b2f0 0x55b1e544b480->0x55b1e544b2f0 0x55b1e544c120 src/public/pubs/get_builds 0x55b1e544c120->0x55b1e544e940 0x55b1e544bfd0 run-script 0x55b1e544c120->0x55b1e544bfd0 0x55b1e544c120->0x55b1e544bfd0 0x55b1e544cd80 src/public/photo_cv/get_builds 0x55b1e544cd80->0x55b1e544e940 0x55b1e544cbe0 run-script 0x55b1e544cd80->0x55b1e544cbe0 0x55b1e544cd80->0x55b1e544cbe0 0x55b1e544dae0 src/public/build-graph/get_builds 0x55b1e544dae0->0x55b1e544e940 0x55b1e544d940 run-script 0x55b1e544dae0->0x55b1e544d940 0x55b1e544dae0->0x55b1e544d940 0x55b1e544ed00 karkhaz.srht.site/src/public/transform_builds.py 0x55b1e544ed00->0x55b1e544e940 0x55b1e5436e50->0x55b1e5448cc0 0x55b1e5449a50->0x55b1e5449b00 0x55b1e544a750->0x55b1e544a800 0x55b1e544b2f0->0x55b1e544b3a0 0x55b1e544bfd0->0x55b1e544c080 0x55b1e544cbe0->0x55b1e544cc90 0x55b1e544d940->0x55b1e544d9f0 0x55b1e5453c20 build 0x55b1e5450c20 out 0x55b1e5450c20->0x55b1e5453c20 phony 0x55b1e5455190 mkdir_p 0x55b1e5455190->0x55b1e5450c20 0x55b1e5455590 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova.otf 0x55b1e5455590->0x55b1e5455190 0x55b1e54556b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Bold.otf 0x55b1e54556b0->0x55b1e5455190 0x55b1e54557b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova ExtraCond Bold.otf 0x55b1e54557b0->0x55b1e5455190 0x55b1e54558d0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Light.otf 0x55b1e54558d0->0x55b1e5455190 0x55b1e54559f0 karkhaz.srht.site/out/assets/2017-amazon-boston.jpg 0x55b1e54559f0->0x55b1e5455190 0x55b1e5455b40 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Bold.otf 0x55b1e5455b40->0x55b1e5455190 0x55b1e5456090 karkhaz.srht.site/out/pdf/icse20.pdf 0x55b1e5456090->0x55b1e5455190 0x55b1e5456190 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Light Italic.otf 0x55b1e5456190->0x55b1e5455190 0x55b1e5456280 karkhaz.srht.site/out/favicon/favicon-114.png 0x55b1e5456280->0x55b1e5455190 0x55b1e5456390 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline.otf 0x55b1e5456390->0x55b1e5455190 0x55b1e54564b0 karkhaz.srht.site/out/assets/qmul_small.jpg 0x55b1e54564b0->0x55b1e5455190 0x55b1e54565c0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Medium It.otf 0x55b1e54565c0->0x55b1e5455190 0x55b1e5456710 karkhaz.srht.site/out/index.html 0x55b1e5456710->0x55b1e5455190 0x55b1e5456810 karkhaz.srht.site/out/pdf/firmware-memory-safety.pdf 0x55b1e5456810->0x55b1e5455190 0x55b1e54568f0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Black Italic.otf 0x55b1e54568f0->0x55b1e5455190 0x55b1e5456a10 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Book Italic.otf 0x55b1e5456a10->0x55b1e5455190 0x55b1e5456b30 karkhaz.srht.site/out/assets/amazon_1.jpg 0x55b1e5456b30->0x55b1e5455190 0x55b1e5456c40 karkhaz.srht.site/out/assets/msr_small.jpg 0x55b1e5456c40->0x55b1e5455190 0x55b1e5456d50 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Medium.otf 0x55b1e5456d50->0x55b1e5455190 0x55b1e5456e70 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Bold Italic.otf 0x55b1e5456e70->0x55b1e5455190 0x55b1e5456f90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Heavy Italic.otf 0x55b1e5456f90->0x55b1e5455190 0x55b1e54570b0 karkhaz.srht.site/out/favicon/favicon-120.png 0x55b1e54570b0->0x55b1e5455190 0x55b1e54571c0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova ExtraBold.otf 0x55b1e54571c0->0x55b1e5455190 0x55b1e54572e0 karkhaz.srht.site/out/favicon/favicon-70.png 0x55b1e54572e0->0x55b1e5455190 0x55b1e54573f0 karkhaz.srht.site/out/favicon/favicon-16.png 0x55b1e54573f0->0x55b1e5455190 0x55b1e5457500 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn SemiBold It.otf 0x55b1e5457500->0x55b1e5455190 0x55b1e5457620 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Italic.otf 0x55b1e5457620->0x55b1e5455190 0x55b1e5457740 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraLight It.otf 0x55b1e5457740->0x55b1e5455190 0x55b1e5457860 karkhaz.srht.site/out/pdf/tuscan-issta-presentation.pdf 0x55b1e5457860->0x55b1e5455190 0x55b1e5457970 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Bold.otf 0x55b1e5457970->0x55b1e5455190 0x55b1e5457a90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraLight.otf 0x55b1e5457a90->0x55b1e5455190 0x55b1e5457bb0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova SemiBold.otf 0x55b1e5457bb0->0x55b1e5455190 0x55b1e5457cd0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Medium.otf 0x55b1e5457cd0->0x55b1e5455190 0x55b1e5457df0 karkhaz.srht.site/out/favicon/favicon-152.png 0x55b1e5457df0->0x55b1e5455190 0x55b1e5457f00 karkhaz.srht.site/out/assets/2024-amazon-uk.png 0x55b1e5457f00->0x55b1e5455190 0x55b1e5458010 karkhaz.srht.site/out/favicon/favicon-64.png 0x55b1e5458010->0x55b1e5455190 0x55b1e5458120 karkhaz.srht.site/out/pdf/linker-script-semantics-2018.pdf 0x55b1e5458120->0x55b1e5455190 0x55b1e5458240 karkhaz.srht.site/out/photo_cv/index.html 0x55b1e5458240->0x55b1e5455190 0x55b1e5458350 karkhaz.srht.site/out/assets/copland_small.jpg 0x55b1e5458350->0x55b1e5455190 0x55b1e5458460 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Heavy.otf 0x55b1e5458460->0x55b1e5455190 0x55b1e5458580 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Medium.otf 0x55b1e5458580->0x55b1e5455190 0x55b1e5458700 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Condensed.otf 0x55b1e5458700->0x55b1e5455190 0x55b1e5458890 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraLight It.otf 0x55b1e5458890->0x55b1e5455190 0x55b1e54589c0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraLight.otf 0x55b1e54589c0->0x55b1e5455190 0x55b1e5458ae0 karkhaz.srht.site/out/favicon/favicon-60.png 0x55b1e5458ae0->0x55b1e5455190 0x55b1e5458bf0 karkhaz.srht.site/out/favicon/favicon-192.png 0x55b1e5458bf0->0x55b1e5455190 0x55b1e5458d00 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova ExtraBold.otf 0x55b1e5458d00->0x55b1e5455190 0x55b1e5458e20 karkhaz.srht.site/out/favicon/favicon-32.png 0x55b1e5458e20->0x55b1e5455190 0x55b1e5458f30 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Bold.otf 0x55b1e5458f30->0x55b1e5455190 0x55b1e5459050 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Heavy It.otf 0x55b1e5459050->0x55b1e5455190 0x55b1e5459170 karkhaz.srht.site/out/assets/ucl_phd_small.jpg 0x55b1e5459170->0x55b1e5455190 0x55b1e5459280 karkhaz.srht.site/out/pdf/making-data-driven-porting-decisions-with-tuscan.pdf 0x55b1e5459280->0x55b1e5455190 0x55b1e54593b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Medium Italic.otf 0x55b1e54593b0->0x55b1e5455190 0x55b1e54594d0 karkhaz.srht.site/out/favicon/favicon-76.png 0x55b1e54594d0->0x55b1e5455190 0x55b1e54595e0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Outline.otf 0x55b1e54595e0->0x55b1e5455190 0x55b1e5459710 karkhaz.srht.site/out/favicon/favicon.ico 0x55b1e5459710->0x55b1e5455190 0x55b1e5459820 karkhaz.srht.site/out/pdf/firmware-memory-safety-arm-2018.pdf 0x55b1e5459820->0x55b1e5455190 0x55b1e5459940 karkhaz.srht.site/out/assets/ucl_visitor_small.jpg 0x55b1e5459940->0x55b1e5455190 0x55b1e5459a50 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn ExtraBold.otf 0x55b1e5459a50->0x55b1e5455190 0x55b1e5459b70 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Book.otf 0x55b1e5459b70->0x55b1e5455190 0x55b1e5459c90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline ExtraLt.otf 0x55b1e5459c90->0x55b1e5455190 0x55b1e5459db0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Deco.otf 0x55b1e5459db0->0x55b1e5455190 0x55b1e5459ed0 karkhaz.srht.site/out/favicon/favicon-72.png 0x55b1e5459ed0->0x55b1e5455190 0x55b1e5459fe0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Light.otf 0x55b1e5459fe0->0x55b1e5455190 0x55b1e545a100 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Medium Italic.otf 0x55b1e545a100->0x55b1e5455190 0x55b1e545a230 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraBold.otf 0x55b1e545a230->0x55b1e5455190 0x55b1e545a350 karkhaz.srht.site/out/assets/imperial_small.jpg 0x55b1e545a350->0x55b1e5455190 0x55b1e545a460 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova ExtraBold It.otf 0x55b1e545a460->0x55b1e5455190 0x55b1e545a580 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova SemiBold Italic.otf 0x55b1e545a580->0x55b1e5455190 0x55b1e545a6b0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Thin.otf 0x55b1e545a6b0->0x55b1e5455190 0x55b1e545a7d0 karkhaz.srht.site/out/favicon/favicon-144.png 0x55b1e545a7d0->0x55b1e5455190 0x55b1e545a8e0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Book It.otf 0x55b1e545a8e0->0x55b1e5455190 0x55b1e545aa00 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Bold Italic.otf 0x55b1e545aa00->0x55b1e5455190 0x55b1e545ab20 karkhaz.srht.site/out/favicon/favicon-96.png 0x55b1e545ab20->0x55b1e5455190 0x55b1e545b440 karkhaz.srht.site/out/favicon/favicon-310.png 0x55b1e545b440->0x55b1e5455190 0x55b1e545b550 karkhaz.srht.site/out/assets/amazon-2024-card.xcf 0x55b1e545b550->0x55b1e5455190 0x55b1e545b660 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Book Italic.otf 0x55b1e545b660->0x55b1e5455190 0x55b1e545b780 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Bold It.otf 0x55b1e545b780->0x55b1e5455190 0x55b1e545b8a0 karkhaz.srht.site/out/pdf/model-checking-boot-code-fmsd-2020.pdf 0x55b1e545b8a0->0x55b1e5455190 0x55b1e545b9c0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Thin Italic.otf 0x55b1e545b9c0->0x55b1e5455190 0x55b1e545bae0 karkhaz.srht.site/out/tmp/db19d7a2-5536-7a0d-0439-fee010a52278/a618231d-724a-6774-f835-3716d5cff51c 0x55b1e545bae0->0x55b1e5455190 0x55b1e545bc90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Light It.otf 0x55b1e545bc90->0x55b1e5455190 0x55b1e545bde0 karkhaz.srht.site/out/assets/goog.jpg 0x55b1e545bde0->0x55b1e5455190 0x55b1e545bee0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Light.otf 0x55b1e545bee0->0x55b1e5455190 0x55b1e545bfd0 karkhaz.srht.site/out/pdf/sv-comp-2019.pdf 0x55b1e545bfd0->0x55b1e5455190 0x55b1e545c0e0 karkhaz.srht.site/out/favicon/favicon-57.png 0x55b1e545c0e0->0x55b1e5455190 0x55b1e545c1f0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Light.otf 0x55b1e545c1f0->0x55b1e5455190 0x55b1e545c310 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Light Italic.otf 0x55b1e545c310->0x55b1e5455190 0x55b1e545c430 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Book.otf 0x55b1e545c430->0x55b1e5455190 0x55b1e545c550 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Book.otf 0x55b1e545c550->0x55b1e5455190 0x55b1e545c670 karkhaz.srht.site/out/assets/goog-2017.jpg 0x55b1e545c670->0x55b1e5455190 0x55b1e545c780 karkhaz.srht.site/out/favicon/favicon-180.png 0x55b1e545c780->0x55b1e5455190 0x55b1e545c890 karkhaz.srht.site/out/pdf/tuscan-issta-poster.pdf 0x55b1e545c890->0x55b1e5455190 0x55b1e545c9a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraBold.otf 0x55b1e545c9a0->0x55b1e5455190 0x55b1e545cac0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Heavy.otf 0x55b1e545cac0->0x55b1e5455190 0x55b1e545cbe0 karkhaz.srht.site/out/favicon/favicon-150.png 0x55b1e545cbe0->0x55b1e5455190 0x55b1e545ccf0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn SemiBold.otf 0x55b1e545ccf0->0x55b1e5455190 0x55b1e545ce10 karkhaz.srht.site/out/tmp/a2b9e707-e029-d5aa-bd19-8cc5aff9c223/63f316ec-f397-36d2-1abf-01cfbab9be06 0x55b1e545ce10->0x55b1e5455190 0x55b1e545cf50 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Black.otf 0x55b1e545cf50->0x55b1e5455190 0x55b1e545d0a0 karkhaz.srht.site/out/pubs/index.html 0x55b1e545d0a0->0x55b1e5455190 0x55b1e545d1a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline SemiBold.otf 0x55b1e545d1a0->0x55b1e5455190 0x55b1e545d2a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Medium.otf 0x55b1e545d2a0->0x55b1e5455190 0x55b1e545d3d0 karkhaz.srht.site/out/build-graph/index.html 0x55b1e545d3d0->0x55b1e5455190 0x55b1e545d4e0 karkhaz.srht.site/out/favicon/favicon-160.png 0x55b1e545d4e0->0x55b1e5455190 0x55b1e545d5f0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Light.otf 0x55b1e545d5f0->0x55b1e5455190 0x55b1e54622f0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova.otf 0x55b1e54622f0->0x55b1e5455590 copy_file 0x55b1e545fff0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Bold.otf 0x55b1e545fff0->0x55b1e54556b0 copy_file 0x55b1e545f830 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova ExtraCond Bold.otf 0x55b1e545f830->0x55b1e54557b0 copy_file 0x55b1e54536e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Light.otf 0x55b1e54536e0->0x55b1e54558d0 copy_file 0x55b1e545b360 karkhaz.srht.site/src/public_assets/assets/2017-amazon-boston.jpg 0x55b1e545b360->0x55b1e54559f0 copy_file 0x55b1e545d730 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Bold.otf 0x55b1e545d730->0x55b1e5455b40 copy_file 0x55b1e5465f80 karkhaz.srht.site/src/public_assets/pdf/icse20.pdf 0x55b1e5465f80->0x55b1e5456090 copy_file 0x55b1e54612c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Light Italic.otf 0x55b1e54612c0->0x55b1e5456190 copy_file 0x55b1e5464f00 karkhaz.srht.site/src/public_assets/favicon/favicon-114.png 0x55b1e5464f00->0x55b1e5456280 copy_file 0x55b1e545eee0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline.otf 0x55b1e545eee0->0x55b1e5456390 copy_file 0x55b1e5466330 karkhaz.srht.site/src/public_assets/assets/qmul_small.jpg 0x55b1e5466330->0x55b1e54564b0 copy_file 0x55b1e5452960 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Medium It.otf 0x55b1e5452960->0x55b1e54565c0 copy_file 0x55b1e5469110 karkhaz.srht.site/tmp/public/index.html 0x55b1e5469110->0x55b1e5456710 tidy 0x55b1e5469b40 jinja-cli 0x55b1e5469b40->0x55b1e5469110 0x55b1e54696e0 karkhaz.srht.site/tmp/public/page-data.json 0x55b1e54696e0->0x55b1e5469b40 0x55b1e5469c30 src/public/top_level.jinja.html 0x55b1e5469c30->0x55b1e5469b40 0x55b1e546c800 jinja-cli 0x55b1e5469c30->0x55b1e546c800 0x55b1e546b320 jinja-cli 0x55b1e5469c30->0x55b1e546b320 0x55b1e5469630 create-page-data 0x55b1e5469630->0x55b1e54696e0 0x55b1e5468e20 karkhaz.srht.site/tmp/public/content.html 0x55b1e5468e20->0x55b1e5469630 0x55b1e5468c30 karkhaz.srht.site/tmp/public/sidebar.json 0x55b1e5468c30->0x55b1e5469630 0x55b1e54697e0 karkhaz.srht.site/src/public/title 0x55b1e54697e0->0x55b1e5469630 0x55b1e54698e0 karkhaz.srht.site/src/public/style.css 0x55b1e54698e0->0x55b1e5469630 0x55b1e5468ec0 karkhaz.srht.site/src/public/content.md 0x55b1e5468ec0->0x55b1e5468e20 markdown 0x55b1e5453d70 tmp/sidebar.json 0x55b1e5453d70->0x55b1e5468c30 generate-page-sidebar 0x55b1e546b5f0 karkhaz.srht.site/tmp/public/photo_cv/sidebar.json 0x55b1e5453d70->0x55b1e546b5f0 generate-page-sidebar 0x55b1e5469f00 karkhaz.srht.site/tmp/public/pubs/sidebar.json 0x55b1e5453d70->0x55b1e5469f00 generate-page-sidebar 0x55b1e546d0b0 karkhaz.srht.site/tmp/public/build-graph/sidebar.json 0x55b1e5453d70->0x55b1e546d0b0 generate-page-sidebar 0x55b1e5453cc0 generate-sidebar 0x55b1e5453cc0->0x55b1e5453d70 0x55b1e544f420 bin/generate-sidebar 0x55b1e544f420->0x55b1e5453cc0 0x55b1e5453df0 src/public_assets 0x55b1e5453df0->0x55b1e5453cc0 0x55b1e5453e70 src/tmp 0x55b1e5453e70->0x55b1e5453cc0 0x55b1e5453f10 src/public 0x55b1e5453f10->0x55b1e5453cc0 0x55b1e5465910 karkhaz.srht.site/src/public_assets/pdf/firmware-memory-safety.pdf 0x55b1e5465910->0x55b1e5456810 copy_file 0x55b1e545f450 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Black Italic.otf 0x55b1e545f450->0x55b1e54568f0 copy_file 0x55b1e5462730 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Book Italic.otf 0x55b1e5462730->0x55b1e5456a10 copy_file 0x55b1e5466d80 karkhaz.srht.site/src/public_assets/assets/amazon_1.jpg 0x55b1e5466d80->0x55b1e5456b30 copy_file 0x55b1e5466960 karkhaz.srht.site/src/public_assets/assets/msr_small.jpg 0x55b1e5466960->0x55b1e5456c40 copy_file 0x55b1e545dbe0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Medium.otf 0x55b1e545dbe0->0x55b1e5456d50 copy_file 0x55b1e5451f50 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Bold Italic.otf 0x55b1e5451f50->0x55b1e5456e70 copy_file 0x55b1e5452140 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Heavy Italic.otf 0x55b1e5452140->0x55b1e5456f90 copy_file 0x55b1e5463480 karkhaz.srht.site/src/public_assets/favicon/favicon-120.png 0x55b1e5463480->0x55b1e54570b0 copy_file 0x55b1e545dd70 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova ExtraBold.otf 0x55b1e545dd70->0x55b1e54571c0 copy_file 0x55b1e5462b70 karkhaz.srht.site/src/public_assets/favicon/favicon-70.png 0x55b1e5462b70->0x55b1e54572e0 copy_file 0x55b1e5463690 karkhaz.srht.site/src/public_assets/favicon/favicon-16.png 0x55b1e5463690->0x55b1e54573f0 copy_file 0x55b1e545f070 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn SemiBold It.otf 0x55b1e545f070->0x55b1e5457500 copy_file 0x55b1e545df00 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Italic.otf 0x55b1e545df00->0x55b1e5457620 copy_file 0x55b1e545fe60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraLight It.otf 0x55b1e545fe60->0x55b1e5457740 copy_file 0x55b1e54654f0 karkhaz.srht.site/src/public_assets/pdf/tuscan-issta-presentation.pdf 0x55b1e54654f0->0x55b1e5457860 copy_file 0x55b1e54601e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Bold.otf 0x55b1e54601e0->0x55b1e5457970 copy_file 0x55b1e5460af0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraLight.otf 0x55b1e5460af0->0x55b1e5457a90 copy_file 0x55b1e54512a0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova SemiBold.otf 0x55b1e54512a0->0x55b1e5457bb0 copy_file 0x55b1e54617d0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Medium.otf 0x55b1e54617d0->0x55b1e5457cd0 copy_file 0x55b1e5464500 karkhaz.srht.site/src/public_assets/favicon/favicon-152.png 0x55b1e5464500->0x55b1e5457df0 copy_file 0x55b1e5451420 karkhaz.srht.site/src/public_assets/assets/2024-amazon-uk.png 0x55b1e5451420->0x55b1e5457f00 copy_file 0x55b1e5463ed0 karkhaz.srht.site/src/public_assets/favicon/favicon-64.png 0x55b1e5463ed0->0x55b1e5458010 copy_file 0x55b1e5465b20 karkhaz.srht.site/src/public_assets/pdf/linker-script-semantics-2018.pdf 0x55b1e5465b20->0x55b1e5458120 copy_file 0x55b1e546b760 karkhaz.srht.site/tmp/public/photo_cv/index.html 0x55b1e546b760->0x55b1e5458240 tidy 0x55b1e546c800->0x55b1e546b760 0x55b1e546bdf0 karkhaz.srht.site/tmp/public/photo_cv/page-data.json 0x55b1e546bdf0->0x55b1e546c800 0x55b1e546bd40 create-page-data 0x55b1e546bd40->0x55b1e546bdf0 0x55b1e546bee0 karkhaz.srht.site/tmp/public/photo_cv/content.html 0x55b1e546bee0->0x55b1e546bd40 0x55b1e546b5f0->0x55b1e546bd40 0x55b1e546c010 karkhaz.srht.site/src/public/photo_cv/title 0x55b1e546c010->0x55b1e546bd40 0x55b1e546c120 karkhaz.srht.site/src/public/photo_cv/style.css 0x55b1e546c120->0x55b1e546bd40 0x55b1e546c390 jinja-cli 0x55b1e546c390->0x55b1e546bee0 0x55b1e546c460 karkhaz.srht.site/src/public/photo_cv/template.jinja.html 0x55b1e546c460->0x55b1e546c390 0x55b1e546c550 karkhaz.srht.site/src/public/photo_cv/data.yaml 0x55b1e546c550->0x55b1e546c390 0x55b1e5466b70 karkhaz.srht.site/src/public_assets/assets/copland_small.jpg 0x55b1e5466b70->0x55b1e5458350 copy_file 0x55b1e545e4d0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Heavy.otf 0x55b1e545e4d0->0x55b1e5458460 copy_file 0x55b1e5454250 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Medium.otf 0x55b1e5454250->0x55b1e5458580 copy_file 0x55b1e545eaa0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Condensed.otf 0x55b1e545eaa0->0x55b1e5458700 copy_file 0x55b1e54615e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraLight It.otf 0x55b1e54615e0->0x55b1e5458890 copy_file 0x55b1e5460960 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraLight.otf 0x55b1e5460960->0x55b1e54589c0 copy_file 0x55b1e54642f0 karkhaz.srht.site/src/public_assets/favicon/favicon-60.png 0x55b1e54642f0->0x55b1e5458ae0 copy_file 0x55b1e5463ab0 karkhaz.srht.site/src/public_assets/favicon/favicon-192.png 0x55b1e5463ab0->0x55b1e5458bf0 copy_file 0x55b1e5462950 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova ExtraBold.otf 0x55b1e5462950->0x55b1e5458d00 copy_file 0x55b1e5464b30 karkhaz.srht.site/src/public_assets/favicon/favicon-32.png 0x55b1e5464b30->0x55b1e5458e20 copy_file 0x55b1e5453000 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Bold.otf 0x55b1e5453000->0x55b1e5458f30 copy_file 0x55b1e545e8b0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Heavy It.otf 0x55b1e545e8b0->0x55b1e5459050 copy_file 0x55b1e545af40 karkhaz.srht.site/src/public_assets/assets/ucl_phd_small.jpg 0x55b1e545af40->0x55b1e5459170 copy_file 0x55b1e5465110 karkhaz.srht.site/src/public_assets/pdf/making-data-driven-porting-decisions-with-tuscan.pdf 0x55b1e5465110->0x55b1e5459280 copy_file 0x55b1e5461900 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Medium Italic.otf 0x55b1e5461900->0x55b1e54593b0 copy_file 0x55b1e54638a0 karkhaz.srht.site/src/public_assets/favicon/favicon-76.png 0x55b1e54638a0->0x55b1e54594d0 copy_file 0x55b1e5452d80 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Outline.otf 0x55b1e5452d80->0x55b1e54595e0 copy_file 0x55b1e5464d40 karkhaz.srht.site/src/public_assets/favicon/favicon.ico 0x55b1e5464d40->0x55b1e5459710 copy_file 0x55b1e5466110 karkhaz.srht.site/src/public_assets/pdf/firmware-memory-safety-arm-2018.pdf 0x55b1e5466110->0x55b1e5459820 copy_file 0x55b1e5451640 karkhaz.srht.site/src/public_assets/assets/ucl_visitor_small.jpg 0x55b1e5451640->0x55b1e5459940 copy_file 0x55b1e5460e10 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn ExtraBold.otf 0x55b1e5460e10->0x55b1e5459a50 copy_file 0x55b1e545da50 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Book.otf 0x55b1e545da50->0x55b1e5459b70 copy_file 0x55b1e54540c0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline ExtraLt.otf 0x55b1e54540c0->0x55b1e5459c90 copy_file 0x55b1e5460c80 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Deco.otf 0x55b1e5460c80->0x55b1e5459db0 copy_file 0x55b1e54640e0 karkhaz.srht.site/src/public_assets/favicon/favicon-72.png 0x55b1e54640e0->0x55b1e5459ed0 copy_file 0x55b1e545fa20 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Light.otf 0x55b1e545fa20->0x55b1e5459fe0 copy_file 0x55b1e545fc10 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Medium Italic.otf 0x55b1e545fc10->0x55b1e545a100 copy_file 0x55b1e54607b0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraBold.otf 0x55b1e54607b0->0x55b1e545a230 copy_file 0x55b1e545b150 karkhaz.srht.site/src/public_assets/assets/imperial_small.jpg 0x55b1e545b150->0x55b1e545a350 copy_file 0x55b1e545d8c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova ExtraBold It.otf 0x55b1e545d8c0->0x55b1e545a460 copy_file 0x55b1e5461cf0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova SemiBold Italic.otf 0x55b1e5461cf0->0x55b1e545a580 copy_file 0x55b1e54603d0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Thin.otf 0x55b1e54603d0->0x55b1e545a6b0 copy_file 0x55b1e5463270 karkhaz.srht.site/src/public_assets/favicon/favicon-144.png 0x55b1e5463270->0x55b1e545a7d0 copy_file 0x55b1e54620d0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Book It.otf 0x55b1e54620d0->0x55b1e545a8e0 copy_file 0x55b1e545e0f0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Bold Italic.otf 0x55b1e545e0f0->0x55b1e545aa00 copy_file 0x55b1e5464920 karkhaz.srht.site/src/public_assets/favicon/favicon-96.png 0x55b1e5464920->0x55b1e545ab20 copy_file 0x55b1e5462d30 karkhaz.srht.site/src/public_assets/favicon/favicon-310.png 0x55b1e5462d30->0x55b1e545b440 copy_file 0x55b1e5466540 karkhaz.srht.site/src/public_assets/assets/amazon-2024-card.xcf 0x55b1e5466540->0x55b1e545b550 copy_file 0x55b1e54605c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Book Italic.otf 0x55b1e54605c0->0x55b1e545b660 copy_file 0x55b1e545f640 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Bold It.otf 0x55b1e545f640->0x55b1e545b780 copy_file 0x55b1e54652d0 karkhaz.srht.site/src/public_assets/pdf/model-checking-boot-code-fmsd-2020.pdf 0x55b1e54652d0->0x55b1e545b8a0 copy_file 0x55b1e5461f10 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Thin Italic.otf 0x55b1e5461f10->0x55b1e545b9c0 copy_file 0x55b1e54687f0 karkhaz.srht.site/src/tmp/tmp/litani 0x55b1e54687f0->0x55b1e545bae0 copy-tmp 0x55b1e5452b60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Light It.otf 0x55b1e5452b60->0x55b1e545bc90 copy_file 0x55b1e545adb0 karkhaz.srht.site/src/public_assets/assets/goog.jpg 0x55b1e545adb0->0x55b1e545bde0 copy_file 0x55b1e5462510 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Light.otf 0x55b1e5462510->0x55b1e545bee0 copy_file 0x55b1e5465d40 karkhaz.srht.site/src/public_assets/pdf/sv-comp-2019.pdf 0x55b1e5465d40->0x55b1e545bfd0 copy_file 0x55b1e54630b0 karkhaz.srht.site/src/public_assets/favicon/favicon-57.png 0x55b1e54630b0->0x55b1e545c0e0 copy_file 0x55b1e5461130 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Light.otf 0x55b1e5461130->0x55b1e545c1f0 copy_file 0x55b1e5451d60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Light Italic.otf 0x55b1e5451d60->0x55b1e545c310 copy_file 0x55b1e5461450 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Book.otf 0x55b1e5461450->0x55b1e545c430 copy_file 0x55b1e545e6c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Book.otf 0x55b1e545e6c0->0x55b1e545c550 copy_file 0x55b1e5466750 karkhaz.srht.site/src/public_assets/assets/goog-2017.jpg 0x55b1e5466750->0x55b1e545c670 copy_file 0x55b1e5464710 karkhaz.srht.site/src/public_assets/favicon/favicon-180.png 0x55b1e5464710->0x55b1e545c780 copy_file 0x55b1e5465700 karkhaz.srht.site/src/public_assets/pdf/tuscan-issta-poster.pdf 0x55b1e5465700->0x55b1e545c890 copy_file 0x55b1e5460fa0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraBold.otf 0x55b1e5460fa0->0x55b1e545c9a0 copy_file 0x55b1e545f260 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Heavy.otf 0x55b1e545f260->0x55b1e545cac0 copy_file 0x55b1e5463cc0 karkhaz.srht.site/src/public_assets/favicon/favicon-150.png 0x55b1e5463cc0->0x55b1e545cbe0 copy_file 0x55b1e54534f0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn SemiBold.otf 0x55b1e54534f0->0x55b1e545ccf0 copy_file 0x55b1e54689e0 karkhaz.srht.site/src/tmp/tmp/s2n-results 0x55b1e54689e0->0x55b1e545ce10 copy-tmp 0x55b1e545e2e0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Black.otf 0x55b1e545e2e0->0x55b1e545cf50 copy_file 0x55b1e546a8d0 karkhaz.srht.site/tmp/public/pubs/index.html 0x55b1e546a8d0->0x55b1e545d0a0 tidy 0x55b1e546b320->0x55b1e546a8d0 0x55b1e546aee0 karkhaz.srht.site/tmp/public/pubs/page-data.json 0x55b1e546aee0->0x55b1e546b320 0x55b1e546ae30 create-page-data 0x55b1e546ae30->0x55b1e546aee0 0x55b1e546a430 karkhaz.srht.site/tmp/public/pubs/content.html 0x55b1e546a430->0x55b1e546ae30 0x55b1e5469f00->0x55b1e546ae30 0x55b1e546afe0 karkhaz.srht.site/src/public/pubs/title 0x55b1e546afe0->0x55b1e546ae30 0x55b1e546b0e0 karkhaz.srht.site/src/public/pubs/style.css 0x55b1e546b0e0->0x55b1e546ae30 0x55b1e546a380 jinja-script 0x55b1e546a380->0x55b1e546a430 0x55b1e546a4f0 karkhaz.srht.site/src/public/pubs/dump_content 0x55b1e546a4f0->0x55b1e546a380 0x55b1e546a5d0 karkhaz.srht.site/src/public/pubs/data.yaml 0x55b1e546a5d0->0x55b1e546a380 0x55b1e546a6b0 karkhaz.srht.site/src/public/pubs/template.jinja.html 0x55b1e546a6b0->0x55b1e546a380 0x55b1e5461a90 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline SemiBold.otf 0x55b1e5461a90->0x55b1e545d1a0 copy_file 0x55b1e545ecf0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Medium.otf 0x55b1e545ecf0->0x55b1e545d2a0 copy_file 0x55b1e546f320 karkhaz.srht.site/tmp/public/build-graph/index.html 0x55b1e546f320->0x55b1e545d3d0 tidy 0x55b1e546eec0 karkhaz.srht.site/tmp/public/build-graph/page-data.json 0x55b1e546eec0->0x55b1e546f320 jinja-cli 0x55b1e546ee10 create-page-data 0x55b1e546ee10->0x55b1e546eec0 0x55b1e546e710 karkhaz.srht.site/tmp/public/build-graph/content.html 0x55b1e546e710->0x55b1e546ee10 0x55b1e546d0b0->0x55b1e546ee10 0x55b1e546eff0 karkhaz.srht.site/src/public/build-graph/title 0x55b1e546eff0->0x55b1e546ee10 0x55b1e546f100 karkhaz.srht.site/src/public/build-graph/style.css 0x55b1e546f100->0x55b1e546ee10 0x55b1e546e660 jinja-cli 0x55b1e546e660->0x55b1e546e710 0x55b1e546e380 karkhaz.srht.site/tmp/public/build-graph/content.json 0x55b1e546e380->0x55b1e546e660 0x55b1e546e810 karkhaz.srht.site/src/public/build-graph/content.jinja.html 0x55b1e546e810->0x55b1e546e660 0x55b1e546e2d0 create-content-data 0x55b1e546e2d0->0x55b1e546e380 0x55b1e546dcc0 karkhaz.srht.site/tmp/public/build-graph/content-text.html 0x55b1e546dcc0->0x55b1e546e2d0 0x55b1e546dac0 karkhaz.srht.site/tmp/public/build-graph/light.svg 0x55b1e546dac0->0x55b1e546e2d0 0x55b1e546d8c0 karkhaz.srht.site/tmp/public/build-graph/dark.svg 0x55b1e546d8c0->0x55b1e546e2d0 0x55b1e546ddb0 karkhaz.srht.site/src/public/build-graph/content.md 0x55b1e546ddb0->0x55b1e546dcc0 markdown 0x55b1e546d6e0 karkhaz.srht.site/tmp/public/build-graph/light.dot 0x55b1e546d6e0->0x55b1e546dac0 dot-to-svg 0x55b1e546cc40 karkhaz.srht.site/tmp/public/build-graph/build.dot 0x55b1e546cc40->0x55b1e546d6e0 postprocess-dot 0x55b1e546d380 karkhaz.srht.site/tmp/public/build-graph/dark.dot 0x55b1e546cc40->0x55b1e546d380 postprocess-dot 0x55b1e546cb90 ninja-graph 0x55b1e546cb90->0x55b1e546cc40 0x55b1e546c9f0 karkhaz.srht.site/tmp/public/build-graph/build.ninja 0x55b1e546c9f0->0x55b1e546cb90 0x55b1e546cd80 karkhaz.srht.site/src/public/build-graph/postprocess-dot 0x55b1e546cd80->0x55b1e546cb90 0x55b1e546ca90 build.ninja 0x55b1e546ca90->0x55b1e546c9f0 remove-default-from-build 0x55b1e546d380->0x55b1e546d8c0 dot-to-svg 0x55b1e5462ef0 karkhaz.srht.site/src/public_assets/favicon/favicon-160.png 0x55b1e5462ef0->0x55b1e545d4e0 copy_file 0x55b1e5453300 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Light.otf 0x55b1e5453300->0x55b1e545d5f0 copy_file
ninja 0x55b1e544eed0 configure 0x55b1e544e9f0 build.ninja 0x55b1e544e9f0->0x55b1e544eed0 phony 0x55b1e544e940 configure 0x55b1e544e940->0x55b1e544e9f0 0x55b1e544eb20 configure 0x55b1e544eb20->0x55b1e544e940 0x55b1e5448cc0 karkhaz.srht.site/tmp/build-jsons/builds.json 0x55b1e5448cc0->0x55b1e544e940 0x55b1e5449b00 karkhaz.srht.site/tmp/build-jsons/public_assets/builds.json 0x55b1e5449b00->0x55b1e544e940 0x55b1e544a800 karkhaz.srht.site/tmp/build-jsons/tmp/builds.json 0x55b1e544a800->0x55b1e544e940 0x55b1e544b3a0 karkhaz.srht.site/tmp/build-jsons/public/builds.json 0x55b1e544b3a0->0x55b1e544e940 0x55b1e544c080 karkhaz.srht.site/tmp/build-jsons/public/pubs/builds.json 0x55b1e544c080->0x55b1e544e940 0x55b1e544cc90 karkhaz.srht.site/tmp/build-jsons/public/photo_cv/builds.json 0x55b1e544cc90->0x55b1e544e940 0x55b1e544d9f0 karkhaz.srht.site/tmp/build-jsons/public/build-graph/builds.json 0x55b1e544d9f0->0x55b1e544e940 0x55b1e5448e10 src/get_builds 0x55b1e5448e10->0x55b1e544e940 0x55b1e5436e50 run-script 0x55b1e5448e10->0x55b1e5436e50 0x55b1e5448e10->0x55b1e5436e50 0x55b1e5449bd0 src/public_assets/get_builds 0x55b1e5449bd0->0x55b1e544e940 0x55b1e5449a50 run-script 0x55b1e5449bd0->0x55b1e5449a50 0x55b1e5449bd0->0x55b1e5449a50 0x55b1e544a8e0 src/tmp/get_builds 0x55b1e544a8e0->0x55b1e544e940 0x55b1e544a750 run-script 0x55b1e544a8e0->0x55b1e544a750 0x55b1e544a8e0->0x55b1e544a750 0x55b1e544b480 src/public/get_builds 0x55b1e544b480->0x55b1e544e940 0x55b1e544b2f0 run-script 0x55b1e544b480->0x55b1e544b2f0 0x55b1e544b480->0x55b1e544b2f0 0x55b1e544c120 src/public/pubs/get_builds 0x55b1e544c120->0x55b1e544e940 0x55b1e544bfd0 run-script 0x55b1e544c120->0x55b1e544bfd0 0x55b1e544c120->0x55b1e544bfd0 0x55b1e544cd80 src/public/photo_cv/get_builds 0x55b1e544cd80->0x55b1e544e940 0x55b1e544cbe0 run-script 0x55b1e544cd80->0x55b1e544cbe0 0x55b1e544cd80->0x55b1e544cbe0 0x55b1e544dae0 src/public/build-graph/get_builds 0x55b1e544dae0->0x55b1e544e940 0x55b1e544d940 run-script 0x55b1e544dae0->0x55b1e544d940 0x55b1e544dae0->0x55b1e544d940 0x55b1e544ed00 karkhaz.srht.site/src/public/transform_builds.py 0x55b1e544ed00->0x55b1e544e940 0x55b1e5436e50->0x55b1e5448cc0 0x55b1e5449a50->0x55b1e5449b00 0x55b1e544a750->0x55b1e544a800 0x55b1e544b2f0->0x55b1e544b3a0 0x55b1e544bfd0->0x55b1e544c080 0x55b1e544cbe0->0x55b1e544cc90 0x55b1e544d940->0x55b1e544d9f0 0x55b1e5453c20 build 0x55b1e5450c20 out 0x55b1e5450c20->0x55b1e5453c20 phony 0x55b1e5455190 mkdir_p 0x55b1e5455190->0x55b1e5450c20 0x55b1e5455590 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova.otf 0x55b1e5455590->0x55b1e5455190 0x55b1e54556b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Bold.otf 0x55b1e54556b0->0x55b1e5455190 0x55b1e54557b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova ExtraCond Bold.otf 0x55b1e54557b0->0x55b1e5455190 0x55b1e54558d0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Light.otf 0x55b1e54558d0->0x55b1e5455190 0x55b1e54559f0 karkhaz.srht.site/out/assets/2017-amazon-boston.jpg 0x55b1e54559f0->0x55b1e5455190 0x55b1e5455b40 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Bold.otf 0x55b1e5455b40->0x55b1e5455190 0x55b1e5456090 karkhaz.srht.site/out/pdf/icse20.pdf 0x55b1e5456090->0x55b1e5455190 0x55b1e5456190 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Light Italic.otf 0x55b1e5456190->0x55b1e5455190 0x55b1e5456280 karkhaz.srht.site/out/favicon/favicon-114.png 0x55b1e5456280->0x55b1e5455190 0x55b1e5456390 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline.otf 0x55b1e5456390->0x55b1e5455190 0x55b1e54564b0 karkhaz.srht.site/out/assets/qmul_small.jpg 0x55b1e54564b0->0x55b1e5455190 0x55b1e54565c0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Medium It.otf 0x55b1e54565c0->0x55b1e5455190 0x55b1e5456710 karkhaz.srht.site/out/index.html 0x55b1e5456710->0x55b1e5455190 0x55b1e5456810 karkhaz.srht.site/out/pdf/firmware-memory-safety.pdf 0x55b1e5456810->0x55b1e5455190 0x55b1e54568f0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Black Italic.otf 0x55b1e54568f0->0x55b1e5455190 0x55b1e5456a10 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Book Italic.otf 0x55b1e5456a10->0x55b1e5455190 0x55b1e5456b30 karkhaz.srht.site/out/assets/amazon_1.jpg 0x55b1e5456b30->0x55b1e5455190 0x55b1e5456c40 karkhaz.srht.site/out/assets/msr_small.jpg 0x55b1e5456c40->0x55b1e5455190 0x55b1e5456d50 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Medium.otf 0x55b1e5456d50->0x55b1e5455190 0x55b1e5456e70 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Bold Italic.otf 0x55b1e5456e70->0x55b1e5455190 0x55b1e5456f90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Heavy Italic.otf 0x55b1e5456f90->0x55b1e5455190 0x55b1e54570b0 karkhaz.srht.site/out/favicon/favicon-120.png 0x55b1e54570b0->0x55b1e5455190 0x55b1e54571c0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova ExtraBold.otf 0x55b1e54571c0->0x55b1e5455190 0x55b1e54572e0 karkhaz.srht.site/out/favicon/favicon-70.png 0x55b1e54572e0->0x55b1e5455190 0x55b1e54573f0 karkhaz.srht.site/out/favicon/favicon-16.png 0x55b1e54573f0->0x55b1e5455190 0x55b1e5457500 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn SemiBold It.otf 0x55b1e5457500->0x55b1e5455190 0x55b1e5457620 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Italic.otf 0x55b1e5457620->0x55b1e5455190 0x55b1e5457740 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraLight It.otf 0x55b1e5457740->0x55b1e5455190 0x55b1e5457860 karkhaz.srht.site/out/pdf/tuscan-issta-presentation.pdf 0x55b1e5457860->0x55b1e5455190 0x55b1e5457970 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Bold.otf 0x55b1e5457970->0x55b1e5455190 0x55b1e5457a90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraLight.otf 0x55b1e5457a90->0x55b1e5455190 0x55b1e5457bb0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova SemiBold.otf 0x55b1e5457bb0->0x55b1e5455190 0x55b1e5457cd0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Medium.otf 0x55b1e5457cd0->0x55b1e5455190 0x55b1e5457df0 karkhaz.srht.site/out/favicon/favicon-152.png 0x55b1e5457df0->0x55b1e5455190 0x55b1e5457f00 karkhaz.srht.site/out/assets/2024-amazon-uk.png 0x55b1e5457f00->0x55b1e5455190 0x55b1e5458010 karkhaz.srht.site/out/favicon/favicon-64.png 0x55b1e5458010->0x55b1e5455190 0x55b1e5458120 karkhaz.srht.site/out/pdf/linker-script-semantics-2018.pdf 0x55b1e5458120->0x55b1e5455190 0x55b1e5458240 karkhaz.srht.site/out/photo_cv/index.html 0x55b1e5458240->0x55b1e5455190 0x55b1e5458350 karkhaz.srht.site/out/assets/copland_small.jpg 0x55b1e5458350->0x55b1e5455190 0x55b1e5458460 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Heavy.otf 0x55b1e5458460->0x55b1e5455190 0x55b1e5458580 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Medium.otf 0x55b1e5458580->0x55b1e5455190 0x55b1e5458700 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Condensed.otf 0x55b1e5458700->0x55b1e5455190 0x55b1e5458890 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraLight It.otf 0x55b1e5458890->0x55b1e5455190 0x55b1e54589c0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraLight.otf 0x55b1e54589c0->0x55b1e5455190 0x55b1e5458ae0 karkhaz.srht.site/out/favicon/favicon-60.png 0x55b1e5458ae0->0x55b1e5455190 0x55b1e5458bf0 karkhaz.srht.site/out/favicon/favicon-192.png 0x55b1e5458bf0->0x55b1e5455190 0x55b1e5458d00 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova ExtraBold.otf 0x55b1e5458d00->0x55b1e5455190 0x55b1e5458e20 karkhaz.srht.site/out/favicon/favicon-32.png 0x55b1e5458e20->0x55b1e5455190 0x55b1e5458f30 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Bold.otf 0x55b1e5458f30->0x55b1e5455190 0x55b1e5459050 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Heavy It.otf 0x55b1e5459050->0x55b1e5455190 0x55b1e5459170 karkhaz.srht.site/out/assets/ucl_phd_small.jpg 0x55b1e5459170->0x55b1e5455190 0x55b1e5459280 karkhaz.srht.site/out/pdf/making-data-driven-porting-decisions-with-tuscan.pdf 0x55b1e5459280->0x55b1e5455190 0x55b1e54593b0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Medium Italic.otf 0x55b1e54593b0->0x55b1e5455190 0x55b1e54594d0 karkhaz.srht.site/out/favicon/favicon-76.png 0x55b1e54594d0->0x55b1e5455190 0x55b1e54595e0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Outline.otf 0x55b1e54595e0->0x55b1e5455190 0x55b1e5459710 karkhaz.srht.site/out/favicon/favicon.ico 0x55b1e5459710->0x55b1e5455190 0x55b1e5459820 karkhaz.srht.site/out/pdf/firmware-memory-safety-arm-2018.pdf 0x55b1e5459820->0x55b1e5455190 0x55b1e5459940 karkhaz.srht.site/out/assets/ucl_visitor_small.jpg 0x55b1e5459940->0x55b1e5455190 0x55b1e5459a50 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn ExtraBold.otf 0x55b1e5459a50->0x55b1e5455190 0x55b1e5459b70 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Book.otf 0x55b1e5459b70->0x55b1e5455190 0x55b1e5459c90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline ExtraLt.otf 0x55b1e5459c90->0x55b1e5455190 0x55b1e5459db0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Deco.otf 0x55b1e5459db0->0x55b1e5455190 0x55b1e5459ed0 karkhaz.srht.site/out/favicon/favicon-72.png 0x55b1e5459ed0->0x55b1e5455190 0x55b1e5459fe0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Light.otf 0x55b1e5459fe0->0x55b1e5455190 0x55b1e545a100 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Medium Italic.otf 0x55b1e545a100->0x55b1e5455190 0x55b1e545a230 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova UltraBold.otf 0x55b1e545a230->0x55b1e5455190 0x55b1e545a350 karkhaz.srht.site/out/assets/imperial_small.jpg 0x55b1e545a350->0x55b1e5455190 0x55b1e545a460 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova ExtraBold It.otf 0x55b1e545a460->0x55b1e5455190 0x55b1e545a580 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova SemiBold Italic.otf 0x55b1e545a580->0x55b1e5455190 0x55b1e545a6b0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Thin.otf 0x55b1e545a6b0->0x55b1e5455190 0x55b1e545a7d0 karkhaz.srht.site/out/favicon/favicon-144.png 0x55b1e545a7d0->0x55b1e5455190 0x55b1e545a8e0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Book It.otf 0x55b1e545a8e0->0x55b1e5455190 0x55b1e545aa00 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Bold Italic.otf 0x55b1e545aa00->0x55b1e5455190 0x55b1e545ab20 karkhaz.srht.site/out/favicon/favicon-96.png 0x55b1e545ab20->0x55b1e5455190 0x55b1e545b440 karkhaz.srht.site/out/favicon/favicon-310.png 0x55b1e545b440->0x55b1e5455190 0x55b1e545b550 karkhaz.srht.site/out/assets/amazon-2024-card.xcf 0x55b1e545b550->0x55b1e5455190 0x55b1e545b660 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Book Italic.otf 0x55b1e545b660->0x55b1e5455190 0x55b1e545b780 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Bold It.otf 0x55b1e545b780->0x55b1e5455190 0x55b1e545b8a0 karkhaz.srht.site/out/pdf/model-checking-boot-code-fmsd-2020.pdf 0x55b1e545b8a0->0x55b1e5455190 0x55b1e545b9c0 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Thin Italic.otf 0x55b1e545b9c0->0x55b1e5455190 0x55b1e545bae0 karkhaz.srht.site/out/tmp/db19d7a2-5536-7a0d-0439-fee010a52278/a618231d-724a-6774-f835-3716d5cff51c 0x55b1e545bae0->0x55b1e5455190 0x55b1e545bc90 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Light It.otf 0x55b1e545bc90->0x55b1e5455190 0x55b1e545bde0 karkhaz.srht.site/out/assets/goog.jpg 0x55b1e545bde0->0x55b1e5455190 0x55b1e545bee0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Light.otf 0x55b1e545bee0->0x55b1e5455190 0x55b1e545bfd0 karkhaz.srht.site/out/pdf/sv-comp-2019.pdf 0x55b1e545bfd0->0x55b1e5455190 0x55b1e545c0e0 karkhaz.srht.site/out/favicon/favicon-57.png 0x55b1e545c0e0->0x55b1e5455190 0x55b1e545c1f0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline Light.otf 0x55b1e545c1f0->0x55b1e5455190 0x55b1e545c310 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Light Italic.otf 0x55b1e545c310->0x55b1e5455190 0x55b1e545c430 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Book.otf 0x55b1e545c430->0x55b1e5455190 0x55b1e545c550 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Book.otf 0x55b1e545c550->0x55b1e5455190 0x55b1e545c670 karkhaz.srht.site/out/assets/goog-2017.jpg 0x55b1e545c670->0x55b1e5455190 0x55b1e545c780 karkhaz.srht.site/out/favicon/favicon-180.png 0x55b1e545c780->0x55b1e5455190 0x55b1e545c890 karkhaz.srht.site/out/pdf/tuscan-issta-poster.pdf 0x55b1e545c890->0x55b1e5455190 0x55b1e545c9a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn UltraBold.otf 0x55b1e545c9a0->0x55b1e5455190 0x55b1e545cac0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn Heavy.otf 0x55b1e545cac0->0x55b1e5455190 0x55b1e545cbe0 karkhaz.srht.site/out/favicon/favicon-150.png 0x55b1e545cbe0->0x55b1e5455190 0x55b1e545ccf0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Cn SemiBold.otf 0x55b1e545ccf0->0x55b1e5455190 0x55b1e545ce10 karkhaz.srht.site/out/tmp/a2b9e707-e029-d5aa-bd19-8cc5aff9c223/63f316ec-f397-36d2-1abf-01cfbab9be06 0x55b1e545ce10->0x55b1e5455190 0x55b1e545cf50 karkhaz.srht.site/out/font/Monotype - Joanna Sans Nova Black.otf 0x55b1e545cf50->0x55b1e5455190 0x55b1e545d0a0 karkhaz.srht.site/out/pubs/index.html 0x55b1e545d0a0->0x55b1e5455190 0x55b1e545d1a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Inline SemiBold.otf 0x55b1e545d1a0->0x55b1e5455190 0x55b1e545d2a0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Shadowed Medium.otf 0x55b1e545d2a0->0x55b1e5455190 0x55b1e545d3d0 karkhaz.srht.site/out/build-graph/index.html 0x55b1e545d3d0->0x55b1e5455190 0x55b1e545d4e0 karkhaz.srht.site/out/favicon/favicon-160.png 0x55b1e545d4e0->0x55b1e5455190 0x55b1e545d5f0 karkhaz.srht.site/out/font/Monotype - Gill Sans Nova Light.otf 0x55b1e545d5f0->0x55b1e5455190 0x55b1e54622f0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova.otf 0x55b1e54622f0->0x55b1e5455590 copy_file 0x55b1e545fff0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Bold.otf 0x55b1e545fff0->0x55b1e54556b0 copy_file 0x55b1e545f830 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova ExtraCond Bold.otf 0x55b1e545f830->0x55b1e54557b0 copy_file 0x55b1e54536e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Light.otf 0x55b1e54536e0->0x55b1e54558d0 copy_file 0x55b1e545b360 karkhaz.srht.site/src/public_assets/assets/2017-amazon-boston.jpg 0x55b1e545b360->0x55b1e54559f0 copy_file 0x55b1e545d730 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Bold.otf 0x55b1e545d730->0x55b1e5455b40 copy_file 0x55b1e5465f80 karkhaz.srht.site/src/public_assets/pdf/icse20.pdf 0x55b1e5465f80->0x55b1e5456090 copy_file 0x55b1e54612c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Light Italic.otf 0x55b1e54612c0->0x55b1e5456190 copy_file 0x55b1e5464f00 karkhaz.srht.site/src/public_assets/favicon/favicon-114.png 0x55b1e5464f00->0x55b1e5456280 copy_file 0x55b1e545eee0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline.otf 0x55b1e545eee0->0x55b1e5456390 copy_file 0x55b1e5466330 karkhaz.srht.site/src/public_assets/assets/qmul_small.jpg 0x55b1e5466330->0x55b1e54564b0 copy_file 0x55b1e5452960 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Medium It.otf 0x55b1e5452960->0x55b1e54565c0 copy_file 0x55b1e5469110 karkhaz.srht.site/tmp/public/index.html 0x55b1e5469110->0x55b1e5456710 tidy 0x55b1e5469b40 jinja-cli 0x55b1e5469b40->0x55b1e5469110 0x55b1e54696e0 karkhaz.srht.site/tmp/public/page-data.json 0x55b1e54696e0->0x55b1e5469b40 0x55b1e5469c30 src/public/top_level.jinja.html 0x55b1e5469c30->0x55b1e5469b40 0x55b1e546c800 jinja-cli 0x55b1e5469c30->0x55b1e546c800 0x55b1e546b320 jinja-cli 0x55b1e5469c30->0x55b1e546b320 0x55b1e5469630 create-page-data 0x55b1e5469630->0x55b1e54696e0 0x55b1e5468e20 karkhaz.srht.site/tmp/public/content.html 0x55b1e5468e20->0x55b1e5469630 0x55b1e5468c30 karkhaz.srht.site/tmp/public/sidebar.json 0x55b1e5468c30->0x55b1e5469630 0x55b1e54697e0 karkhaz.srht.site/src/public/title 0x55b1e54697e0->0x55b1e5469630 0x55b1e54698e0 karkhaz.srht.site/src/public/style.css 0x55b1e54698e0->0x55b1e5469630 0x55b1e5468ec0 karkhaz.srht.site/src/public/content.md 0x55b1e5468ec0->0x55b1e5468e20 markdown 0x55b1e5453d70 tmp/sidebar.json 0x55b1e5453d70->0x55b1e5468c30 generate-page-sidebar 0x55b1e546b5f0 karkhaz.srht.site/tmp/public/photo_cv/sidebar.json 0x55b1e5453d70->0x55b1e546b5f0 generate-page-sidebar 0x55b1e5469f00 karkhaz.srht.site/tmp/public/pubs/sidebar.json 0x55b1e5453d70->0x55b1e5469f00 generate-page-sidebar 0x55b1e546d0b0 karkhaz.srht.site/tmp/public/build-graph/sidebar.json 0x55b1e5453d70->0x55b1e546d0b0 generate-page-sidebar 0x55b1e5453cc0 generate-sidebar 0x55b1e5453cc0->0x55b1e5453d70 0x55b1e544f420 bin/generate-sidebar 0x55b1e544f420->0x55b1e5453cc0 0x55b1e5453df0 src/public_assets 0x55b1e5453df0->0x55b1e5453cc0 0x55b1e5453e70 src/tmp 0x55b1e5453e70->0x55b1e5453cc0 0x55b1e5453f10 src/public 0x55b1e5453f10->0x55b1e5453cc0 0x55b1e5465910 karkhaz.srht.site/src/public_assets/pdf/firmware-memory-safety.pdf 0x55b1e5465910->0x55b1e5456810 copy_file 0x55b1e545f450 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Black Italic.otf 0x55b1e545f450->0x55b1e54568f0 copy_file 0x55b1e5462730 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Book Italic.otf 0x55b1e5462730->0x55b1e5456a10 copy_file 0x55b1e5466d80 karkhaz.srht.site/src/public_assets/assets/amazon_1.jpg 0x55b1e5466d80->0x55b1e5456b30 copy_file 0x55b1e5466960 karkhaz.srht.site/src/public_assets/assets/msr_small.jpg 0x55b1e5466960->0x55b1e5456c40 copy_file 0x55b1e545dbe0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Medium.otf 0x55b1e545dbe0->0x55b1e5456d50 copy_file 0x55b1e5451f50 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Bold Italic.otf 0x55b1e5451f50->0x55b1e5456e70 copy_file 0x55b1e5452140 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Heavy Italic.otf 0x55b1e5452140->0x55b1e5456f90 copy_file 0x55b1e5463480 karkhaz.srht.site/src/public_assets/favicon/favicon-120.png 0x55b1e5463480->0x55b1e54570b0 copy_file 0x55b1e545dd70 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova ExtraBold.otf 0x55b1e545dd70->0x55b1e54571c0 copy_file 0x55b1e5462b70 karkhaz.srht.site/src/public_assets/favicon/favicon-70.png 0x55b1e5462b70->0x55b1e54572e0 copy_file 0x55b1e5463690 karkhaz.srht.site/src/public_assets/favicon/favicon-16.png 0x55b1e5463690->0x55b1e54573f0 copy_file 0x55b1e545f070 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn SemiBold It.otf 0x55b1e545f070->0x55b1e5457500 copy_file 0x55b1e545df00 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Italic.otf 0x55b1e545df00->0x55b1e5457620 copy_file 0x55b1e545fe60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraLight It.otf 0x55b1e545fe60->0x55b1e5457740 copy_file 0x55b1e54654f0 karkhaz.srht.site/src/public_assets/pdf/tuscan-issta-presentation.pdf 0x55b1e54654f0->0x55b1e5457860 copy_file 0x55b1e54601e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Bold.otf 0x55b1e54601e0->0x55b1e5457970 copy_file 0x55b1e5460af0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraLight.otf 0x55b1e5460af0->0x55b1e5457a90 copy_file 0x55b1e54512a0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova SemiBold.otf 0x55b1e54512a0->0x55b1e5457bb0 copy_file 0x55b1e54617d0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Medium.otf 0x55b1e54617d0->0x55b1e5457cd0 copy_file 0x55b1e5464500 karkhaz.srht.site/src/public_assets/favicon/favicon-152.png 0x55b1e5464500->0x55b1e5457df0 copy_file 0x55b1e5451420 karkhaz.srht.site/src/public_assets/assets/2024-amazon-uk.png 0x55b1e5451420->0x55b1e5457f00 copy_file 0x55b1e5463ed0 karkhaz.srht.site/src/public_assets/favicon/favicon-64.png 0x55b1e5463ed0->0x55b1e5458010 copy_file 0x55b1e5465b20 karkhaz.srht.site/src/public_assets/pdf/linker-script-semantics-2018.pdf 0x55b1e5465b20->0x55b1e5458120 copy_file 0x55b1e546b760 karkhaz.srht.site/tmp/public/photo_cv/index.html 0x55b1e546b760->0x55b1e5458240 tidy 0x55b1e546c800->0x55b1e546b760 0x55b1e546bdf0 karkhaz.srht.site/tmp/public/photo_cv/page-data.json 0x55b1e546bdf0->0x55b1e546c800 0x55b1e546bd40 create-page-data 0x55b1e546bd40->0x55b1e546bdf0 0x55b1e546bee0 karkhaz.srht.site/tmp/public/photo_cv/content.html 0x55b1e546bee0->0x55b1e546bd40 0x55b1e546b5f0->0x55b1e546bd40 0x55b1e546c010 karkhaz.srht.site/src/public/photo_cv/title 0x55b1e546c010->0x55b1e546bd40 0x55b1e546c120 karkhaz.srht.site/src/public/photo_cv/style.css 0x55b1e546c120->0x55b1e546bd40 0x55b1e546c390 jinja-cli 0x55b1e546c390->0x55b1e546bee0 0x55b1e546c460 karkhaz.srht.site/src/public/photo_cv/template.jinja.html 0x55b1e546c460->0x55b1e546c390 0x55b1e546c550 karkhaz.srht.site/src/public/photo_cv/data.yaml 0x55b1e546c550->0x55b1e546c390 0x55b1e5466b70 karkhaz.srht.site/src/public_assets/assets/copland_small.jpg 0x55b1e5466b70->0x55b1e5458350 copy_file 0x55b1e545e4d0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Heavy.otf 0x55b1e545e4d0->0x55b1e5458460 copy_file 0x55b1e5454250 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Medium.otf 0x55b1e5454250->0x55b1e5458580 copy_file 0x55b1e545eaa0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Condensed.otf 0x55b1e545eaa0->0x55b1e5458700 copy_file 0x55b1e54615e0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraLight It.otf 0x55b1e54615e0->0x55b1e5458890 copy_file 0x55b1e5460960 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraLight.otf 0x55b1e5460960->0x55b1e54589c0 copy_file 0x55b1e54642f0 karkhaz.srht.site/src/public_assets/favicon/favicon-60.png 0x55b1e54642f0->0x55b1e5458ae0 copy_file 0x55b1e5463ab0 karkhaz.srht.site/src/public_assets/favicon/favicon-192.png 0x55b1e5463ab0->0x55b1e5458bf0 copy_file 0x55b1e5462950 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova ExtraBold.otf 0x55b1e5462950->0x55b1e5458d00 copy_file 0x55b1e5464b30 karkhaz.srht.site/src/public_assets/favicon/favicon-32.png 0x55b1e5464b30->0x55b1e5458e20 copy_file 0x55b1e5453000 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Bold.otf 0x55b1e5453000->0x55b1e5458f30 copy_file 0x55b1e545e8b0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Heavy It.otf 0x55b1e545e8b0->0x55b1e5459050 copy_file 0x55b1e545af40 karkhaz.srht.site/src/public_assets/assets/ucl_phd_small.jpg 0x55b1e545af40->0x55b1e5459170 copy_file 0x55b1e5465110 karkhaz.srht.site/src/public_assets/pdf/making-data-driven-porting-decisions-with-tuscan.pdf 0x55b1e5465110->0x55b1e5459280 copy_file 0x55b1e5461900 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Medium Italic.otf 0x55b1e5461900->0x55b1e54593b0 copy_file 0x55b1e54638a0 karkhaz.srht.site/src/public_assets/favicon/favicon-76.png 0x55b1e54638a0->0x55b1e54594d0 copy_file 0x55b1e5452d80 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Outline.otf 0x55b1e5452d80->0x55b1e54595e0 copy_file 0x55b1e5464d40 karkhaz.srht.site/src/public_assets/favicon/favicon.ico 0x55b1e5464d40->0x55b1e5459710 copy_file 0x55b1e5466110 karkhaz.srht.site/src/public_assets/pdf/firmware-memory-safety-arm-2018.pdf 0x55b1e5466110->0x55b1e5459820 copy_file 0x55b1e5451640 karkhaz.srht.site/src/public_assets/assets/ucl_visitor_small.jpg 0x55b1e5451640->0x55b1e5459940 copy_file 0x55b1e5460e10 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn ExtraBold.otf 0x55b1e5460e10->0x55b1e5459a50 copy_file 0x55b1e545da50 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Book.otf 0x55b1e545da50->0x55b1e5459b70 copy_file 0x55b1e54540c0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline ExtraLt.otf 0x55b1e54540c0->0x55b1e5459c90 copy_file 0x55b1e5460c80 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Deco.otf 0x55b1e5460c80->0x55b1e5459db0 copy_file 0x55b1e54640e0 karkhaz.srht.site/src/public_assets/favicon/favicon-72.png 0x55b1e54640e0->0x55b1e5459ed0 copy_file 0x55b1e545fa20 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Light.otf 0x55b1e545fa20->0x55b1e5459fe0 copy_file 0x55b1e545fc10 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Medium Italic.otf 0x55b1e545fc10->0x55b1e545a100 copy_file 0x55b1e54607b0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova UltraBold.otf 0x55b1e54607b0->0x55b1e545a230 copy_file 0x55b1e545b150 karkhaz.srht.site/src/public_assets/assets/imperial_small.jpg 0x55b1e545b150->0x55b1e545a350 copy_file 0x55b1e545d8c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova ExtraBold It.otf 0x55b1e545d8c0->0x55b1e545a460 copy_file 0x55b1e5461cf0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova SemiBold Italic.otf 0x55b1e5461cf0->0x55b1e545a580 copy_file 0x55b1e54603d0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Thin.otf 0x55b1e54603d0->0x55b1e545a6b0 copy_file 0x55b1e5463270 karkhaz.srht.site/src/public_assets/favicon/favicon-144.png 0x55b1e5463270->0x55b1e545a7d0 copy_file 0x55b1e54620d0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Book It.otf 0x55b1e54620d0->0x55b1e545a8e0 copy_file 0x55b1e545e0f0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Bold Italic.otf 0x55b1e545e0f0->0x55b1e545aa00 copy_file 0x55b1e5464920 karkhaz.srht.site/src/public_assets/favicon/favicon-96.png 0x55b1e5464920->0x55b1e545ab20 copy_file 0x55b1e5462d30 karkhaz.srht.site/src/public_assets/favicon/favicon-310.png 0x55b1e5462d30->0x55b1e545b440 copy_file 0x55b1e5466540 karkhaz.srht.site/src/public_assets/assets/amazon-2024-card.xcf 0x55b1e5466540->0x55b1e545b550 copy_file 0x55b1e54605c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Book Italic.otf 0x55b1e54605c0->0x55b1e545b660 copy_file 0x55b1e545f640 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Bold It.otf 0x55b1e545f640->0x55b1e545b780 copy_file 0x55b1e54652d0 karkhaz.srht.site/src/public_assets/pdf/model-checking-boot-code-fmsd-2020.pdf 0x55b1e54652d0->0x55b1e545b8a0 copy_file 0x55b1e5461f10 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Thin Italic.otf 0x55b1e5461f10->0x55b1e545b9c0 copy_file 0x55b1e54687f0 karkhaz.srht.site/src/tmp/tmp/litani 0x55b1e54687f0->0x55b1e545bae0 copy-tmp 0x55b1e5452b60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Light It.otf 0x55b1e5452b60->0x55b1e545bc90 copy_file 0x55b1e545adb0 karkhaz.srht.site/src/public_assets/assets/goog.jpg 0x55b1e545adb0->0x55b1e545bde0 copy_file 0x55b1e5462510 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Light.otf 0x55b1e5462510->0x55b1e545bee0 copy_file 0x55b1e5465d40 karkhaz.srht.site/src/public_assets/pdf/sv-comp-2019.pdf 0x55b1e5465d40->0x55b1e545bfd0 copy_file 0x55b1e54630b0 karkhaz.srht.site/src/public_assets/favicon/favicon-57.png 0x55b1e54630b0->0x55b1e545c0e0 copy_file 0x55b1e5461130 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline Light.otf 0x55b1e5461130->0x55b1e545c1f0 copy_file 0x55b1e5451d60 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Light Italic.otf 0x55b1e5451d60->0x55b1e545c310 copy_file 0x55b1e5461450 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Book.otf 0x55b1e5461450->0x55b1e545c430 copy_file 0x55b1e545e6c0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Book.otf 0x55b1e545e6c0->0x55b1e545c550 copy_file 0x55b1e5466750 karkhaz.srht.site/src/public_assets/assets/goog-2017.jpg 0x55b1e5466750->0x55b1e545c670 copy_file 0x55b1e5464710 karkhaz.srht.site/src/public_assets/favicon/favicon-180.png 0x55b1e5464710->0x55b1e545c780 copy_file 0x55b1e5465700 karkhaz.srht.site/src/public_assets/pdf/tuscan-issta-poster.pdf 0x55b1e5465700->0x55b1e545c890 copy_file 0x55b1e5460fa0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn UltraBold.otf 0x55b1e5460fa0->0x55b1e545c9a0 copy_file 0x55b1e545f260 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn Heavy.otf 0x55b1e545f260->0x55b1e545cac0 copy_file 0x55b1e5463cc0 karkhaz.srht.site/src/public_assets/favicon/favicon-150.png 0x55b1e5463cc0->0x55b1e545cbe0 copy_file 0x55b1e54534f0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Cn SemiBold.otf 0x55b1e54534f0->0x55b1e545ccf0 copy_file 0x55b1e54689e0 karkhaz.srht.site/src/tmp/tmp/s2n-results 0x55b1e54689e0->0x55b1e545ce10 copy-tmp 0x55b1e545e2e0 karkhaz.srht.site/src/public_assets/font/Monotype - Joanna Sans Nova Black.otf 0x55b1e545e2e0->0x55b1e545cf50 copy_file 0x55b1e546a8d0 karkhaz.srht.site/tmp/public/pubs/index.html 0x55b1e546a8d0->0x55b1e545d0a0 tidy 0x55b1e546b320->0x55b1e546a8d0 0x55b1e546aee0 karkhaz.srht.site/tmp/public/pubs/page-data.json 0x55b1e546aee0->0x55b1e546b320 0x55b1e546ae30 create-page-data 0x55b1e546ae30->0x55b1e546aee0 0x55b1e546a430 karkhaz.srht.site/tmp/public/pubs/content.html 0x55b1e546a430->0x55b1e546ae30 0x55b1e5469f00->0x55b1e546ae30 0x55b1e546afe0 karkhaz.srht.site/src/public/pubs/title 0x55b1e546afe0->0x55b1e546ae30 0x55b1e546b0e0 karkhaz.srht.site/src/public/pubs/style.css 0x55b1e546b0e0->0x55b1e546ae30 0x55b1e546a380 jinja-script 0x55b1e546a380->0x55b1e546a430 0x55b1e546a4f0 karkhaz.srht.site/src/public/pubs/dump_content 0x55b1e546a4f0->0x55b1e546a380 0x55b1e546a5d0 karkhaz.srht.site/src/public/pubs/data.yaml 0x55b1e546a5d0->0x55b1e546a380 0x55b1e546a6b0 karkhaz.srht.site/src/public/pubs/template.jinja.html 0x55b1e546a6b0->0x55b1e546a380 0x55b1e5461a90 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Inline SemiBold.otf 0x55b1e5461a90->0x55b1e545d1a0 copy_file 0x55b1e545ecf0 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Shadowed Medium.otf 0x55b1e545ecf0->0x55b1e545d2a0 copy_file 0x55b1e546f320 karkhaz.srht.site/tmp/public/build-graph/index.html 0x55b1e546f320->0x55b1e545d3d0 tidy 0x55b1e546eec0 karkhaz.srht.site/tmp/public/build-graph/page-data.json 0x55b1e546eec0->0x55b1e546f320 jinja-cli 0x55b1e546ee10 create-page-data 0x55b1e546ee10->0x55b1e546eec0 0x55b1e546e710 karkhaz.srht.site/tmp/public/build-graph/content.html 0x55b1e546e710->0x55b1e546ee10 0x55b1e546d0b0->0x55b1e546ee10 0x55b1e546eff0 karkhaz.srht.site/src/public/build-graph/title 0x55b1e546eff0->0x55b1e546ee10 0x55b1e546f100 karkhaz.srht.site/src/public/build-graph/style.css 0x55b1e546f100->0x55b1e546ee10 0x55b1e546e660 jinja-cli 0x55b1e546e660->0x55b1e546e710 0x55b1e546e380 karkhaz.srht.site/tmp/public/build-graph/content.json 0x55b1e546e380->0x55b1e546e660 0x55b1e546e810 karkhaz.srht.site/src/public/build-graph/content.jinja.html 0x55b1e546e810->0x55b1e546e660 0x55b1e546e2d0 create-content-data 0x55b1e546e2d0->0x55b1e546e380 0x55b1e546dcc0 karkhaz.srht.site/tmp/public/build-graph/content-text.html 0x55b1e546dcc0->0x55b1e546e2d0 0x55b1e546dac0 karkhaz.srht.site/tmp/public/build-graph/light.svg 0x55b1e546dac0->0x55b1e546e2d0 0x55b1e546d8c0 karkhaz.srht.site/tmp/public/build-graph/dark.svg 0x55b1e546d8c0->0x55b1e546e2d0 0x55b1e546ddb0 karkhaz.srht.site/src/public/build-graph/content.md 0x55b1e546ddb0->0x55b1e546dcc0 markdown 0x55b1e546d6e0 karkhaz.srht.site/tmp/public/build-graph/light.dot 0x55b1e546d6e0->0x55b1e546dac0 dot-to-svg 0x55b1e546cc40 karkhaz.srht.site/tmp/public/build-graph/build.dot 0x55b1e546cc40->0x55b1e546d6e0 postprocess-dot 0x55b1e546d380 karkhaz.srht.site/tmp/public/build-graph/dark.dot 0x55b1e546cc40->0x55b1e546d380 postprocess-dot 0x55b1e546cb90 ninja-graph 0x55b1e546cb90->0x55b1e546cc40 0x55b1e546c9f0 karkhaz.srht.site/tmp/public/build-graph/build.ninja 0x55b1e546c9f0->0x55b1e546cb90 0x55b1e546cd80 karkhaz.srht.site/src/public/build-graph/postprocess-dot 0x55b1e546cd80->0x55b1e546cb90 0x55b1e546ca90 build.ninja 0x55b1e546ca90->0x55b1e546c9f0 remove-default-from-build 0x55b1e546d380->0x55b1e546d8c0 dot-to-svg 0x55b1e5462ef0 karkhaz.srht.site/src/public_assets/favicon/favicon-160.png 0x55b1e5462ef0->0x55b1e545d4e0 copy_file 0x55b1e5453300 karkhaz.srht.site/src/public_assets/font/Monotype - Gill Sans Nova Light.otf 0x55b1e5453300->0x55b1e545d5f0 copy_file