danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 6db916bdda Add cover letter introducing Split and the annotated edition grandparents-edition Split 2026-03-18 19:44:13 -04:00
  • 01cb379917 Grandparents edition: add explanatory footnotes for non-specialists Split 2026-03-18 19:31:58 -04:00
  • fcd720101a Merge draft V1 into main, remove build artifacts, update gitignore main Split 2026-03-17 22:30:03 -04:00
  • 70d8a9d27f prep to merge to main draft Dane Sabo 2026-03-17 22:16:40 -04:00
  • 1ba14bc8d7 Checked ALL references. V1 is COMPLETE! Dane Sabo 2026-03-17 22:02:15 -04:00
  • 9c5289705c Rewrap citation audit to 60-char lines Split 2026-03-17 21:03:00 -04:00
  • 764e695c05 Wrap lines to 80 chars Split 2026-03-17 21:00:40 -04:00
  • 24bae81304 Add citation verification audit Split 2026-03-17 20:56:49 -04:00
  • c2d1c63bd0 figures are referenced Dane Sabo 2026-03-17 20:51:04 -04:00
  • 449256f665 Connect both orphaned figures to prose (hybrid_automaton + strat_op_tact) Split 2026-03-17 20:33:22 -04:00
  • 8c70ff7dbf Fix Pressburger citation: soften claim to match source (describes manual integration, not 'significant source of errors') Split 2026-03-17 17:44:51 -04:00
  • 467e541be7 Update broader impacts: 560 TWh US datacenter demand by 2030 (de Roucy-Rochegonde & Buffard 2025, Ifri), recalculate cost figures Split 2026-03-17 15:19:30 -04:00
  • b7cadd3579 Resolve all splitfix/splitsuggest comments in approach.tex Split 2026-03-17 15:09:00 -04:00
  • e4f1a5f6af Add .latexmkrc for proper bibtex cycling with vimtex/latexmk Split 2026-03-17 14:58:32 -04:00
  • f1691e24c4 Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673) Split 2026-03-17 14:56:24 -04:00
  • 96af36972f Fix all citations: add missing bib entries from Zotero, fix typos (lunz->lunze, katis_realizibility->realizability), add citations for hybrid automata (Alur), dL (Platzer), KeYmaera X (Fulton), barrier certificates (Prajna), reachability tools (Frehse SpaceEx, Guernic, Mitchell, Bansal HJ), Lyapunov (Branicky), convert biblatex->bibtex format Split 2026-03-16 17:37:53 -04:00
  • 115ba4e8bb SOTA temporal logic: replace speculative FRET/Pressburger claims with LTL operators from RA, cite Baier 2008 Split 2026-03-16 17:23:35 -04:00
  • df129dadd9 Move operator staffing data from Human Factors to Broader Impacts Split 2026-03-16 16:01:42 -04:00
  • 2bcba39e02 SOTA: add temporal logic + FRET subsection before dL, rename dL subsubsection Split 2026-03-16 14:14:52 -04:00
  • af2ce44fd6 feedback from earlier now integrated. Clear of almost all notes. Dane Sabo 2026-03-16 17:15:35 -04:00
  • 6901dc8276 Edit Impacts: flag economic figures for Dane to verify with updated sources Split 2026-03-16 14:03:18 -04:00
  • 0783555a03 Edit Risks: generalize tool references, clarify boolean abstraction sentence Split 2026-03-16 14:02:49 -04:00
  • ae02973908 Edit Metrics: trim verbose opening, add graded responses scope justification Split 2026-03-16 14:02:03 -04:00
  • 4b2a733621 Edit Research Approach: trim intro, fix issue-point, add explanatory sentences, tighten Emerson section, address all DAS comments Split 2026-03-16 14:00:27 -04:00
  • d46e4776e5 Edit State of Art: address all DAS+Split comments, add dL LIMITATION box, fix typo, trim redundancy Split 2026-03-16 13:55:04 -04:00
  • c011631557 Edit Goals: fix topic position, integrate qualifications, trim redundancy Split 2026-03-16 13:53:52 -04:00
  • 54f0f2f1e5 Edit Research Statement: address DAS+Split comments with oldt/newt markup Split 2026-03-16 13:53:24 -04:00
  • ed29f6a09b Apply first round of edits with strikethrough/red markup Split 2026-03-14 23:15:08 -04:00
  • c7e7845c8f Add DAS reading comments as inline todonotes (cyan) Split 2026-03-14 23:13:41 -04:00
  • b2598d3092 Fix unicode and escaping in review comments Split 2026-03-14 21:37:42 -04:00
  • 8fa41ae2fc Add paper review annotations and comprehensive report Split 2026-03-10 20:50:19 -04:00
  • c37720f66b Add literature review annotations from NEEDS_REVIEWED papers Split 2026-03-10 20:49:34 -04:00
  • cbc2467219 fixed edit mode Dane Sabo 2026-03-10 17:17:50 -04:00
  • 77f361734b Merge branch 'editing-demo' Dane Sabo 2026-03-10 17:14:27 -04:00
  • ea81aee8ca addressed all split notes. Citations file still needs updated and pdflatex is throwing fits about citations Dane Sabo 2026-03-10 16:52:27 -04:00
  • e36b86e39d Convert dense margin comments to inline to fix line tracing Split 2026-03-09 22:07:31 -04:00
  • 02ecfaad94 Clean up repo: remove tracked build artifacts, old versions, cruft Split 2026-03-09 22:05:33 -04:00
  • 1963233316 Adjust edit mode margins: wider note column, denser text Split 2026-03-09 21:53:21 -04:00
  • 623f760084 Add Split's editorial comments with color-coded feedback Split 2026-03-09 21:44:23 -04:00
  • 1820c38cae Add .gitignore for LaTeX build artifacts Split 2026-03-09 21:34:49 -04:00
  • a01f42d47c Fix \split conflict, add .gitignore for build artifacts Split 2026-03-09 21:34:40 -04:00
  • 3373af9816 Rename versioned files to descriptive names Split 2026-03-09 21:27:20 -04:00
  • 2886662a66 Demo: todonotes integration for Split's editing comments Split 2026-03-09 21:25:00 -04:00
  • edfbb20cbe Auto sync: 2026-03-07 14:29:31 (1 files changed) Dane Sabo 2026-03-07 14:29:31 -05:00
  • b05d807e02 Auto sync: 2026-03-07 14:19:48 (8 files changed) Dane Sabo 2026-03-07 14:19:48 -05:00
  • f1b43da96f Auto sync: 2026-03-04 13:00:34 (8 files changed) Dane Sabo 2026-03-04 13:00:34 -05:00
  • c3309cf4a4 Auto sync: 2026-03-03 15:30:14 (10 files changed) Dane Sabo 2026-03-03 15:30:14 -05:00
  • fe81103fea Auto sync: 2026-02-27 14:24:49 (6 files changed) Dane Sabo 2026-02-27 14:24:49 -05:00
  • b4a4429a6b Auto sync: 2026-02-27 14:12:02 (10 files changed) Dane Sabo 2026-02-27 14:12:02 -05:00
  • 6e10a4db81 Add v3 research approach: clean structure, DICE framing, figures Split 2026-02-23 16:00:26 -05:00
  • de79c28009 Auto sync: 2026-02-23 15:39:50 (4 files changed) Dane Sabo 2026-02-23 15:39:50 -05:00
  • 5e60ce4289 Auto sync: 2026-02-23 15:29:00 (10 files changed) Dane Sabo 2026-02-23 15:29:00 -05:00
  • 28091b89a9 Auto sync: 2026-02-10 21:15:03 (1 files changed) Dane Sabo 2026-02-10 21:15:03 -05:00
  • 20c499ac35 Auto sync: 2026-02-09 13:49:24 (2 files changed) Dane Sabo 2026-02-09 13:49:24 -05:00
  • c5e7784810 first commit Dane Sabo 2026-02-06 20:23:52 -05:00