Module tcb::causality_checker

Causal verification from a broadcast results.

Modules

causality_checker	Causality checker algorithm implementation.
causality_checker_structs	Auxiliary structs for the causality checker.
petgraph	Mapping the results of the checker to the petgraph format.