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 |
|
