issues
search
jprider63
/
vrdt
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add nix file
#21
plredmond
closed
3 years ago
3
guard cases
#20
nikivazou
closed
4 years ago
0
guard check cases
#19
nikivazou
closed
4 years ago
0
File descriptors error
#18
plredmond
closed
4 years ago
1
System exhausts resources when a client joins with many existing operations
#17
jprider63
closed
4 years ago
9
Implement denotational semantics
#16
jprider63
opened
4 years ago
0
Implement a collaborative text editor example
#15
jprider63
closed
4 years ago
1
Integrate CausalTree with Reflex
#14
jprider63
closed
4 years ago
0
Prove strong eventual consistency
#13
jprider63
opened
4 years ago
0
Switch proofs to use typeclasses
#12
jprider63
opened
4 years ago
0
VRDT typeclass proofs
#11
jprider63
opened
4 years ago
1
LH says safe when it isn't?
#10
jprider63
closed
4 years ago
8
Implement todo list example
#9
jprider63
opened
4 years ago
0
Reconsider Kyowon.Client.Reflex implementation
#8
plredmond
closed
2 years ago
0
Route Kyowon.Client.Client.{client,store} fields through kyowon-reflex
#7
plredmond
closed
2 years ago
0
Crdtoa clientid
#6
plredmond
closed
4 years ago
3
Merge ClientId's so that CausalTree uses the unified type
#5
jprider63
closed
4 years ago
3
CI/CD
#4
plredmond
closed
2 years ago
1
Cannot build 'vrdt' package on master
#3
plredmond
closed
4 years ago
1
Rename and split crdtoa into kyowon-*, merge to master
#2
plredmond
closed
4 years ago
11
Dev.jp
#1
jprider63
closed
4 years ago
2