11 Commits

Author	SHA1	Message	Date
copilot-swe-agent[bot]	0991703887	Address code review: remove unused imports and add documentation ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-27 02:50:16 +00:00
copilot-swe-agent[bot]	1e33b43c25	Add documentation for TLA+ CI verification ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-27 02:47:59 +00:00
copilot-swe-agent[bot]	60ad6c39c1	Add TLA+ CI support: script, config, and spec fixes ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-27 02:46:36 +00:00
copilot-swe-agent[bot]	15e40ffd4c	Implement Phase 1.1: Delete Python skeleton and create C++/TypeScript architecture ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-25 08:37:29 +00:00
copilot-swe-agent[bot]	21a17d8760	Improve OCR script robustness and document dependencies ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-25 08:18:08 +00:00
copilot-swe-agent[bot]	807cc09240	Add OCR'd research paper and multi-frontend architecture to roadmap ... Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-25 08:15:40 +00:00
JohnDoe6345789	090d637cd1	Rename setup.sh to scripts/setup.sh	2025-11-27 20:24:06 +00:00
JohnDoe6345789	5501892b6e	Rename run_app.sh to scripts/run_app.sh	2025-11-27 20:23:53 +00:00
JohnDoe6345789	6983005181	Rename install_all_python.sh to scripts/install_all_python.sh	2025-11-27 20:23:38 +00:00
JohnDoe6345789	ec2dcb30c5	Rename extract_graphics.py to scripts/extract_graphics.py	2025-11-27 20:23:19 +00:00
JohnDoe6345789	4a9fd4d6e6	Create tlaplus.py	2025-11-27 19:56:56 +00:00