Implement more comparison operations for version vector
Add comparison for (1) vc1 || vc2 <=> ¬(vc1 < vc2) ∧ ¬(vc2 < vc1) and (2) ¬(vc1 < vc2) ≠ vc1 ≥= vc2 + variations.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
- Show closed items
No child items are currently assigned. Use child items to break down this issue into smaller parts.
Link issues together to show that they're related.
Learn more.
Activity
-
Newest first Oldest first
-
Show all activity Show comments only Show history only
- Annette Bieniusa assigned to @bieniusa
assigned to @bieniusa
- Ludovic Le Frioux added feature::enhancement label
added feature::enhancement label
- Ludovic Le Frioux changed milestone to %Dev Phase II
changed milestone to %Dev Phase II
- Ludovic Le Frioux added Workflow::Sprint backlog label
added Workflow::Sprint backlog label
- Ludovic Le Frioux added Workflow::In Progress label and removed Workflow::Sprint backlog label
added Workflow::In Progress label and removed Workflow::Sprint backlog label
- Annette Bieniusa mentioned in merge request !29 (merged)
mentioned in merge request !29 (merged)
- Annette Bieniusa added Workflow::Ready for review label and removed Workflow::In Progress label
added Workflow::Ready for review label and removed Workflow::In Progress label
- Ludovic Le Frioux added Workflow::In Progress label and removed Workflow::Ready for review label
added Workflow::In Progress label and removed Workflow::Ready for review label
- Annette Bieniusa added Workflow::Ready for review label and removed Workflow::In Progress label
added Workflow::Ready for review label and removed Workflow::In Progress label
- Ludovic Le Frioux closed with merge request !29 (merged)
closed with merge request !29 (merged)
- Ludovic Le Frioux mentioned in commit d5e311ef
mentioned in commit d5e311ef
- Florent Coriat removed Workflow::Ready for review label
removed Workflow::Ready for review label
Please register or sign in to reply