14 Commits

Author SHA1 Message Date
df97e6ef10 mrva-interconnect with graph extraction description 2025-05-24 12:29:24 -07:00
2e99bdfedf \section{Graph Extraction from Log Table} 2025-05-24 12:26:49 -07:00
a507797eff mrva-interconnect: existing summary 2025-05-24 12:06:27 -07:00
Michael Hohn
70c06e4fae Add mrva dot overview 2025-04-30 10:50:54 -07:00
Michael Hohn
a2be014b2f Add mrva.man, a brief overview 2025-04-30 10:49:08 -07:00
Michael Hohn
01ddf38069 improve list formatting 2025-04-09 18:23:20 -07:00
Michael Hohn
8d4c766e8c MRVA for CodeQL: A Business View 2025-03-17 12:36:29 -07:00
Michael Hohn
f066c767e2 section{Execution Loop in Pseudo-Code, hybrid} 2025-03-01 15:37:06 -08:00
Michael Hohn
397b86c735 latex positioning adjustments 2025-03-01 13:37:39 -08:00
Michael Hohn
511c544f6e latex positioning adjustments 2025-03-01 13:13:05 -08:00
Michael Hohn
bd74ed646f section{Execution Loop in Pseudo-Code, declarative} 2025-03-01 11:54:38 -08:00
Michael Hohn
45e40abf5d section{Execution Loop in Pseudo-Code, declarative} 2025-03-01 11:53:55 -08:00
Michael Hohn
a3593cbba2 Add technical report 2025-02-28 13:46:21 -08:00
Michael Hohn
6262197c8d Introduce distinct doc/ and notes/ directories 2024-08-05 18:44:16 -07:00