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