Commit Graph

Select branches

Hide Pull Requests

ci/test-results

codex/simulate-workflow-and-fix-code-issues

copilot/add-wizardmerge-pull-request-url

copilot/context-and-risk-analysis

copilot/convert-backend-to-drogon

copilot/fix-drogon-installation-issue

copilot/improve-merge-conflict-resolution

main

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#24

#25

#26

#27

#28

#29

#29

#3

#4

#5

#6

#7

release-1

release-2

Mono Color

• 3c743c16d9 Add files via upload JohnDoe6345789 2025-11-27 20:20:25 +00:00
• cb2943651e Add files via upload JohnDoe6345789 2025-11-27 20:16:46 +00:00
• ccb2e1ca22 Add files via upload JohnDoe6345789 2025-11-27 20:15:34 +00:00
• 67c6aad313 Add files via upload JohnDoe6345789 2025-11-27 20:11:24 +00:00
• 4a9fd4d6e6 Create tlaplus.py JohnDoe6345789 2025-11-27 19:56:56 +00:00
• e5da422395 Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla JohnDoe6345789 2025-11-27 19:53:12 +00:00
• fa3174d12e Create WizardMergeSpec.tla JohnDoe6345789 2025-11-27 19:52:45 +00:00
• e1af2d5549 use wsl2 Richard Ward 2025-11-27 17:05:02 +00:00
• a2bd69d54a Merge pull request #3 from JohnDoe6345789/codex/convert-wizardmerge.pdf-graphics-to-svg-or-png JohnDoe6345789 2025-11-27 16:40:18 +00:00
• c165f92dcc Add semantic image naming and analysis JohnDoe6345789 2025-11-27 16:40:00 +00:00
• bb4e37adb2 Merge pull request #2 from JohnDoe6345789/codex/convert-wizardmerge.pdf-to-markdown JohnDoe6345789 2025-11-27 15:28:15 +00:00
• 4dc97485b7 Summarize WizardMerge paper JohnDoe6345789 2025-11-27 15:28:06 +00:00
• 60541f2ed8 Merge pull request #1 from JohnDoe6345789/codex/create-pyqt6-gui-and-related-files JohnDoe6345789 2025-11-27 15:11:14 +00:00
• 797101a73b Add PyQt6 UI skeleton with theming and setup scripts JohnDoe6345789 2025-11-27 15:11:03 +00:00
• 35a8056aec Add files via upload JohnDoe6345789 2025-11-27 15:04:57 +00:00
• e3b18fe91d Initial commit JohnDoe6345789 2025-11-27 15:04:25 +00:00