-
Nils Goroll authoredThis is the first step towards bringing back safe front pushes: For a thread in vdp_push bytes, it is safe to push upwards if it owns all ST_OPEN T_NEXUS nodes upwards or if they are ST_CLOSED or ST_DELIVERED. more to come in later commits
bba038cb
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| foreign | ||
| tests | ||
| Makefile.am | ||
| state.dot | ||
| tree.dot | ||
| vdp_pesi.c | ||
| vdp_pesi.vcc |