git/WizardMerge
1
0
Fork 0
mirror of https://github.com/johndoe6345789/WizardMerge.git synced 2026-04-25 06:04:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
47 Commits 8 Branches 2 Tags
5ea670db236cf4f6466711c20dedff1c2ada4e1e
Commit Graph

2 Commits

Author SHA1 Message Date
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
JohnDoe6345789
e5da422395 Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla 2025-11-27 19:53:12 +00:00