CSY/reowolf Changelog /examples/6_atomic/amy.c · Centrum Wiskunde & Informatica (CWI)

Changelog - /examples/6_atomic/amy.c @ a6f53f74e58c - showing 3 out of 3 revisions

Christopher Esterhuyse	a6f53f74e58c	5 years ago	fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent
Christopher Esterhuyse	63f3efc9c886	5 years ago	more logging, tests and comments. re-implemented checking for consistency for natives (eagerly) and proto components (after run_to_blocker). deduplicated each connector's failure requests toward the sink
Christopher Esterhuyse	e9c737983088	5 years ago	fixing examples