git/tla_visualiser
1
0
Fork 0
mirror of https://github.com/johndoe6345789/tla_visualiser.git synced 2026-04-24 13:45:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
17 Commits 2 Branches 0 Tags
main
Commit Graph

17 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
johndoe6345789
7abade4a79 Merge pull request #4 from johndoe6345789/codex/simulate-workflow-and-fix-issues 
Handle missing Qt dependency in workflow simulation
 2025-12-27 04:14:29 +00:00
johndoe6345789
1885d59655 Handle missing Qt in workflow simulation 2025-12-27 04:14:05 +00:00
johndoe6345789
a697e8904a Merge pull request #3 from johndoe6345789/copilot/simulate-gated-tree-workflow 
Add workflow simulation and gated tree CI pattern
 2025-12-27 04:10:32 +00:00
copilot-swe-agent[bot]
64fcbeced6 Add workflow permissions for security 
- Add explicit permissions block to restrict GITHUB_TOKEN
- Set contents: read permission (minimum required)
- Addresses CodeQL security alert

Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:52:17 +00:00
copilot-swe-agent[bot]
edfcf00d2e Address code review feedback 
- Consolidate file patterns in simulation script
- Improve Conan error handling with better messaging
- Fix TODO/FIXME check consistency between CI and local
- Update documentation badge URL to use generic placeholder

Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:50:55 +00:00
copilot-swe-agent[bot]
e67b845cbc Implement workflow simulation and gated tree workflow 
- Add workflow_dispatch trigger for manual workflow testing
- Implement gated tree pattern with lint → build → gate flow
- Add job dependencies to ensure proper ordering
- Create simulate_workflow.sh for local CI testing
- Add comprehensive CI/CD documentation
- Update README and CONTRIBUTING with workflow info

Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:47:25 +00:00
copilot-swe-agent[bot]
d78914c51a Initial plan 2025-12-27 03:39:32 +00:00
johndoe6345789
83637599b4 Merge pull request #2 from johndoe6345789/copilot/add-tla-visualiser-tool 
Implement TLA+ Visualiser: Cross-platform desktop app for TLA+ state space visualization
 2025-12-27 03:35:35 +00:00
copilot-swe-agent[bot]
b8ea31d276 Add implementation summary document 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:06:17 +00:00
copilot-swe-agent[bot]
79ecb71f34 Clean up comments and improve cache directory fallback logic 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:04:44 +00:00
copilot-swe-agent[bot]
954c301ea3 Fix security vulnerabilities and code quality issues 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:03:03 +00:00
copilot-swe-agent[bot]
ed016de7f8 Add examples, documentation, and build scripts 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:59:38 +00:00
copilot-swe-agent[bot]
39e52e0363 Add complete TLA+ Visualiser project structure with C++20/Qt6/CMake/Conan 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:56:19 +00:00
copilot-swe-agent[bot]
0a96fca976 Initial plan 2025-12-27 02:47:19 +00:00
johndoe6345789
f554d40b64 Update README to include 'libcurl' in project details 2025-12-27 02:44:41 +00:00
johndoe6345789
fb5881e8ff Update README to reflect QML in workflow 2025-12-27 02:44:17 +00:00
johndoe6345789
832ee57eca Initial commit 2025-12-27 02:44:02 +00:00