danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
54 Commits 3 Branches 0 Tags
Commit Graph

15 Commits

Author SHA1 Message Date
Dane Sabo
d03604c363 Remove working notes and internal review docs before advisor sharing 
Delete informal brainstorming outlines and review audit files.
Clean inline editorial comments (\dasnote, \dasinline, \splitnote)
from .tex sources, preserving citation references as standard comments.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
 2026-04-10 15:22:47 -04:00
Dane Sabo
1ba14bc8d7 Checked ALL references. V1 is COMPLETE! 2026-03-17 22:02:15 -04:00
Dane Sabo
c2d1c63bd0 figures are referenced 2026-03-17 20:51:04 -04:00
Split
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 2026-03-16 17:37:53 -04:00
Split
115ba4e8bb SOTA temporal logic: replace speculative FRET/Pressburger claims with LTL operators from RA, cite Baier 2008 2026-03-16 17:23:35 -04:00
Split
2bcba39e02 SOTA: add temporal logic + FRET subsection before dL, rename dL subsubsection 2026-03-16 17:19:14 -04:00
Dane Sabo
af2ce44fd6 feedback from earlier now integrated. Clear of almost all notes. 2026-03-16 17:15:35 -04:00
Split
d46e4776e5 Edit State of Art: address all DAS+Split comments, add dL LIMITATION box, fix typo, trim redundancy 2026-03-16 13:55:04 -04:00
Split
c7e7845c8f Add DAS reading comments as inline todonotes (cyan) 2026-03-14 23:13:41 -04:00
Split
02ecfaad94 Clean up repo: remove tracked build artifacts, old versions, cruft 
Removed from tracking:
- Build artifacts (*.aux, *.bbl, *.blg, *.fls, *.fdb_latexmk, *.log, *.toc, *.pdf)
- Old versioned files (v1.tex, v2.tex) - content now in renamed files
- Empty biblatex.sty placeholder
- Vendored todonotes.sty (still in working tree, now gitignored)
- .DS_Store

Updated .gitignore to prevent re-adding *.sty files
 2026-03-09 22:05:33 -04:00
Split
623f760084 Add Split's editorial comments with color-coded feedback 
Edit mode system:
- \editmode{1} enables comments + wider margins
- \editmode{0} hides all comments for final output

Comment types (color-coded):
- \splitnote{} (green): General observations, good work
- \splitsuggest{} (yellow): Suggestions to consider
- \splitpolish{} (orange): Needs polish, should fix
- \splitfix{} (red): Must fix, not acceptable

Comments added throughout all sections with substantive feedback
on structure, wording, and Gopen-style improvements.

Also fixed typos: 'ivariant' → 'invariant', 'excess' → 'access'
 2026-03-09 21:44:23 -04:00
Split
3373af9816 Rename versioned files to descriptive names 
Git handles versioning — no need for v1/v2/v3 suffixes.

Renamed:
- research_statement_v1.tex → research-statement.tex
- v1.tex (goals) → goals.tex
- v2.tex (state of art) → state-of-art.tex
- v3.tex (approach) → approach.tex
- v1.tex (metrics) → metrics.tex
- v1.tex (risks) → risks.tex
- v1.tex (impacts) → impacts.tex
- v1.tex (schedule) → schedule.tex

Old v1/v2 versions in subdirs preserved for reference.
 2026-03-09 21:27:20 -04:00
Dane Sabo
b05d807e02 Auto sync: 2026-03-07 14:19:48 (8 files changed) 
M  2-state-of-the-art/v2.tex

M  3-research-approach/v3.tex

M  main.aux

M  main.fdb_latexmk

M  main.log

M  main.pdf

M  main.synctex.gz

M  main.toc
 2026-03-07 14:19:48 -05:00
Dane Sabo
b4a4429a6b Auto sync: 2026-02-27 14:12:02 (10 files changed) 
A  2-state-of-the-art/v2.tex

M  main.aux

A  main.fdb_latexmk

AM main.fls

MM main.log

MM main.pdf

A  main.synctex(busy)

A  main.synctex.gz
 2026-02-27 14:12:02 -05:00
Dane Sabo
c5e7784810 first commit 2026-02-06 20:23:52 -05:00