-
Notifications
You must be signed in to change notification settings - Fork 14
Issues: elem-azar-unis/CRDT-Redis
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
The Remove-Win CRPQ do not always record new add & rmv operations.
bug
Something isn't working
MET
Model-based Exhaustive Testing
#9
by elem-azar-unis
was closed Apr 13, 2023
CRDT Lists. Sometimes the order of elements is not as expected.
bug
Something isn't working
MET
Model-based Exhaustive Testing
#7
by elem-azar-unis
was closed Feb 15, 2022
Sometimes the elements in RWF List miss some basic information while reading.
bug
Something isn't working
MET
Model-based Exhaustive Testing
#6
by elem-azar-unis
was closed Feb 15, 2022
CRDT Lists sometimes allow clients to add elements after the element that does not exist. They shouldn't.
bug
Something isn't working
MET
Model-based Exhaustive Testing
#5
by elem-azar-unis
was closed Feb 15, 2022
The RWF CRDTs fail to implement preconditions of designs correctly.
bug
Something isn't working
MET
Model-based Exhaustive Testing
#4
by elem-azar-unis
was closed Feb 12, 2022
The specification of readd operation of two CRDT list needs to be separated from the add operation and treated as an independent operation.
enhancement
New feature or request
MET
Model-based Exhaustive Testing
#3
by elem-azar-unis
was closed Feb 11, 2022
The RemoveWin CRDTs require causal delivery. This is not provided by the underlying network.
bug
Something isn't working
#2
by elem-azar-unis
was closed Feb 11, 2022
The CRDT Lists replicas may not converge in the stress testing.
bug
Something isn't working
#1
by elem-azar-unis
was closed Feb 11, 2022
ProTip!
Find all open issues with in progress development work with linked:pr.