renovate[bot]
|
528118bc30
|
Update dependency next to v16
|
2025-12-26 03:32:22 +00:00 |
|
|
|
f508771654
|
Merge pull request #10 from johndoe6345789/copilot/implement-roadmap-md
Replace Python skeleton with production C++/TypeScript architecture
|
2025-12-26 03:31:21 +00:00 |
|
copilot-swe-agent[bot]
|
9c251974f0
|
Remove build artifacts from git tracking and update .gitignore
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 08:44:27 +00:00 |
|
copilot-swe-agent[bot]
|
8d83555466
|
Add comprehensive implementation summary documentation
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 08:43:50 +00:00 |
|
copilot-swe-agent[bot]
|
e687410883
|
Fix frontend CSS: Replace Tailwind directives with plain CSS
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 08:41:10 +00:00 |
|
copilot-swe-agent[bot]
|
57d51c32e5
|
Add tests, update TLA+ spec, and add comprehensive build documentation
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 08:39:07 +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]
|
155a8b896c
|
Initial plan
|
2025-12-25 08:30:22 +00:00 |
|
|
|
a965ba94c0
|
Merge pull request #5 from johndoe6345789/copilot/improve-merge-conflict-resolution
Add comprehensive roadmap with multi-frontend architecture and OCR'd research paper
|
2025-12-25 08:24:53 +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 |
|
copilot-swe-agent[bot]
|
d6fb855a71
|
Update roadmap with evergreen timeline and more specific last updated date
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 07:07:43 +00:00 |
|
copilot-swe-agent[bot]
|
65911ac280
|
Update README to reference the new roadmap
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 07:06:15 +00:00 |
|
copilot-swe-agent[bot]
|
89a856bc73
|
Add comprehensive ROADMAP.md for WizardMerge development
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 07:05:29 +00:00 |
|
|
|
6d5650c4b2
|
Merge pull request #6 from johndoe6345789/renovate/actions-checkout-6.x
Update actions/checkout action to v6
|
2025-12-25 07:03:59 +00:00 |
|
|
|
06835b9712
|
Merge pull request #7 from johndoe6345789/renovate/actions-setup-java-5.x
Update actions/setup-java action to v5
|
2025-12-25 07:03:45 +00:00 |
|
renovate[bot]
|
764ab5e548
|
Update actions/setup-java action to v5
|
2025-12-25 07:02:47 +00:00 |
|
renovate[bot]
|
89103f40fe
|
Update actions/checkout action to v6
|
2025-12-25 07:02:44 +00:00 |
|
|
|
329713a032
|
Merge pull request #4 from johndoe6345789/renovate/configure
Configure Renovate
|
2025-12-25 07:02:26 +00:00 |
|
copilot-swe-agent[bot]
|
99c0a6b83c
|
Initial plan
|
2025-12-25 07:01:53 +00:00 |
|
renovate[bot]
|
5702a79547
|
Add renovate.json
|
2025-12-25 06:45:17 +00:00 |
|
|
|
3cf45c2e0f
|
Update README.md
|
2025-11-27 21:25:50 +00:00 |
|
|
|
df673d0d68
|
tidy
|
2025-11-27 21:18:23 +00:00 |
|
|
|
7e33fbd7d3
|
Create tlc.yml
|
2025-11-27 21:07:07 +00:00 |
|
|
|
090d637cd1
|
Rename setup.sh to scripts/setup.sh
|
2025-11-27 20:24:06 +00:00 |
|
|
|
5501892b6e
|
Rename run_app.sh to scripts/run_app.sh
|
2025-11-27 20:23:53 +00:00 |
|
|
|
6983005181
|
Rename install_all_python.sh to scripts/install_all_python.sh
|
2025-11-27 20:23:38 +00:00 |
|
|
|
ec2dcb30c5
|
Rename extract_graphics.py to scripts/extract_graphics.py
|
2025-11-27 20:23:19 +00:00 |
|
|
|
9cb34d8d70
|
Rename wizardmerge.md to extracted_graphics/docs/wizardmerge.md
|
2025-11-27 20:22:57 +00:00 |
|
|
|
542c0280e2
|
Rename wizardmerge.pdf to extracted_graphics/docs/wizardmerge.pdf
|
2025-11-27 20:22:31 +00:00 |
|
|
|
4d307b9ade
|
Rename wizardmerge.docx to extracted_graphics/docs/wizardmerge.docx
|
2025-11-27 20:22:05 +00:00 |
|
|
|
3c743c16d9
|
Add files via upload
|
2025-11-27 20:20:25 +00:00 |
|
|
|
cb2943651e
|
Add files via upload
|
2025-11-27 20:16:46 +00:00 |
|
|
|
ccb2e1ca22
|
Add files via upload
|
2025-11-27 20:15:34 +00:00 |
|
|
|
67c6aad313
|
Add files via upload
|
2025-11-27 20:11:24 +00:00 |
|
|
|
4a9fd4d6e6
|
Create tlaplus.py
|
2025-11-27 19:56:56 +00:00 |
|
|
|
e5da422395
|
Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla
|
2025-11-27 19:53:12 +00:00 |
|
|
|
fa3174d12e
|
Create WizardMergeSpec.tla
|
2025-11-27 19:52:45 +00:00 |
|
|
|
e1af2d5549
|
use wsl2
|
2025-11-27 17:05:02 +00:00 |
|
|
|
a2bd69d54a
|
Merge pull request #3 from JohnDoe6345789/codex/convert-wizardmerge.pdf-graphics-to-svg-or-png
Add semantic naming and analysis to extracted images
|
2025-11-27 16:40:18 +00:00 |
|
|
|
c165f92dcc
|
Add semantic image naming and analysis
|
2025-11-27 16:40:00 +00:00 |
|
|
|
bb4e37adb2
|
Merge pull request #2 from JohnDoe6345789/codex/convert-wizardmerge.pdf-to-markdown
Summarize WizardMerge paper
|
2025-11-27 15:28:15 +00:00 |
|
|
|
4dc97485b7
|
Summarize WizardMerge paper
|
2025-11-27 15:28:06 +00:00 |
|
|
|
60541f2ed8
|
Merge pull request #1 from JohnDoe6345789/codex/create-pyqt6-gui-and-related-files
Add PyQt6 UI skeleton with theming and setup scripts
|
2025-11-27 15:11:14 +00:00 |
|
|
|
797101a73b
|
Add PyQt6 UI skeleton with theming and setup scripts
|
2025-11-27 15:11:03 +00:00 |
|
|
|
35a8056aec
|
Add files via upload
|
2025-11-27 15:04:57 +00:00 |
|
|
|
e3b18fe91d
|
Initial commit
|
2025-11-27 15:04:25 +00:00 |
|
