copilot-swe-agent[bot]
|
60ad6c39c1
|
Add TLA+ CI support: script, config, and spec fixes
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-27 02:46:36 +00:00 |
|
copilot-swe-agent[bot]
|
c377c5f4aa
|
Add GitLab support for merge request resolution alongside GitHub
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-27 02:17:34 +00:00 |
|
copilot-swe-agent[bot]
|
f4848268bd
|
Update formal spec, add libcurl via Conan, update documentation
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-27 02:02:30 +00:00 |
|
copilot-swe-agent[bot]
|
57d51c32e5
|
Add tests, update TLA+ spec, and add comprehensive build documentation
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
|
2025-12-25 08:39:07 +00:00 |
|
|
|
e5da422395
|
Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla
|
2025-11-27 19:53:12 +00:00 |
|
