Commit Graph

  • 7abade4a79 Merge pull request #4 from johndoe6345789/codex/simulate-workflow-and-fix-issues main johndoe6345789 2025-12-27 04:14:29 +00:00
  • 1885d59655 Handle missing Qt in workflow simulation codex/simulate-workflow-and-fix-issues johndoe6345789 2025-12-27 04:14:05 +00:00
  • a697e8904a Merge pull request #3 from johndoe6345789/copilot/simulate-gated-tree-workflow johndoe6345789 2025-12-27 04:10:32 +00:00
  • 64fcbeced6 Add workflow permissions for security copilot-swe-agent[bot] 2025-12-27 03:52:17 +00:00
  • edfcf00d2e Address code review feedback copilot-swe-agent[bot] 2025-12-27 03:50:55 +00:00
  • e67b845cbc Implement workflow simulation and gated tree workflow copilot-swe-agent[bot] 2025-12-27 03:47:25 +00:00
  • d78914c51a Initial plan copilot-swe-agent[bot] 2025-12-27 03:39:32 +00:00
  • 83637599b4 Merge pull request #2 from johndoe6345789/copilot/add-tla-visualiser-tool johndoe6345789 2025-12-27 03:35:35 +00:00
  • b8ea31d276 Add implementation summary document copilot-swe-agent[bot] 2025-12-27 03:06:17 +00:00
  • 79ecb71f34 Clean up comments and improve cache directory fallback logic copilot-swe-agent[bot] 2025-12-27 03:04:44 +00:00
  • 954c301ea3 Fix security vulnerabilities and code quality issues copilot-swe-agent[bot] 2025-12-27 03:03:03 +00:00
  • ed016de7f8 Add examples, documentation, and build scripts copilot-swe-agent[bot] 2025-12-27 02:59:38 +00:00
  • 39e52e0363 Add complete TLA+ Visualiser project structure with C++20/Qt6/CMake/Conan copilot-swe-agent[bot] 2025-12-27 02:56:19 +00:00
  • 0a96fca976 Initial plan copilot-swe-agent[bot] 2025-12-27 02:47:19 +00:00
  • f554d40b64 Update README to include 'libcurl' in project details johndoe6345789 2025-12-27 02:44:41 +00:00
  • fb5881e8ff Update README to reflect QML in workflow johndoe6345789 2025-12-27 02:44:17 +00:00
  • 832ee57eca Initial commit johndoe6345789 2025-12-27 02:44:02 +00:00