gabrielgiussi cappio issues

gabrielgiussi / cappio

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Distributed Consensus

#139 gabrielgiussi opened 4 years ago
0
CappIO examples

#138 gabrielgiussi opened 4 years ago
0
How Jepsen diagrams works?

#137 gabrielgiussi opened 4 years ago
0
Implement real messages

#136 gabrielgiussi opened 4 years ago
0
Show pseudocode without images

#135 gabrielgiussi opened 4 years ago
0
Fix drop marker head

#134 gabrielgiussi opened 4 years ago
0
Implement network partitions

#133 gabrielgiussi opened 4 years ago
0
Improve predefined actions condition

#132 gabrielgiussi opened 4 years ago
0
Automatically deliver messages

#131 gabrielgiussi opened 4 years ago
0
Solve duplicates of Indications

#130 gabrielgiussi closed 4 years ago
0
Solve duplicates of Undelivered

#129 gabrielgiussi opened 4 years ago
0
Implement Best effort broadcast levels

#128 gabrielgiussi closed 4 years ago
1
Fix drawing of predefined actions

#127 gabrielgiussi opened 4 years ago
0
Restringe the number of packets a process can deliver to another one in the same step

#126 gabrielgiussi opened 4 years ago
0
Fix Waiting Causal broadcast

#125 gabrielgiussi closed 4 years ago
1
Review uniform reliable broadcast

#124 gabrielgiussi opened 4 years ago
0
Filter packets by from and to

#123 gabrielgiussi opened 4 years ago
0
Fix the limit of 3 packets when we are showing state

#122 gabrielgiussi opened 4 years ago
0
Add tags to packets?

#121 gabrielgiussi opened 4 years ago
0
Timer's state never shows 3/3

#120 gabrielgiussi opened 4 years ago
0
Fix actionSelected observer

#119 gabrielgiussi closed 4 years ago
0
VectorClock rules

#118 gabrielgiussi opened 4 years ago
0
Thesis

#117 gabrielgiussi opened 4 years ago
24
Heartbeats visualization

#116 gabrielgiussi opened 4 years ago
0
Autodeliver heartbeats

#115 gabrielgiussi closed 4 years ago
0
Overlapping arrows

#114 gabrielgiussi opened 4 years ago
0
Analyse synchronisers

#113 gabrielgiussi opened 4 years ago
0
Why I need Heartbeat Requests?

#112 gabrielgiussi opened 4 years ago
0
Improve message payload UI

#111 gabrielgiussi opened 4 years ago
0
Rethink action selection and user interaction

#110 gabrielgiussi opened 4 years ago
0
Move x axis only when is needed

#109 gabrielgiussi opened 4 years ago
0
Implement equivalent diagrams

#108 gabrielgiussi opened 4 years ago
0
Implement cuts

#107 gabrielgiussi opened 4 years ago
0
Implement poset diagrams

#106 gabrielgiussi opened 4 years ago
0
Vector clocks vs Version vectors?

#105 gabrielgiussi opened 4 years ago
0
What is the difference between vector clocks and plausible clocks?

#104 gabrielgiussi opened 4 years ago
0
Build graph of causal dependencies

#103 gabrielgiussi opened 4 years ago
0
Ask authors about Waiting Causal Broadcast

#102 gabrielgiussi opened 4 years ago
0
Proposals for continue this work (UNLP)

#101 gabrielgiussi opened 4 years ago
0
Dotted Vector Clocks & Dotted Version Vectors

#100 gabrielgiussi opened 4 years ago
0
Useful Documentation

#99 gabrielgiussi opened 4 years ago
0
Fix pipeline to deploy site

#98 gabrielgiussi closed 4 years ago
0
Declare which abstractions require the sync system model

#97 gabrielgiussi opened 4 years ago
0
Fix Scheduler#autodelivery

#96 gabrielgiussi opened 4 years ago
0
Use different style of arrow for sends of hearbeats

#95 gabrielgiussi opened 4 years ago
0
Add tooltips

#94 gabrielgiussi opened 4 years ago
0
Create a store to maintain state

#93 gabrielgiussi opened 4 years ago
0
Group packets to deliver by sender

#92 gabrielgiussi opened 4 years ago
0
Show dropped nearest the target

#91 gabrielgiussi opened 4 years ago
0
Allow click over the arrow head

#90 gabrielgiussi opened 4 years ago
0