add causal order generator#2

Open

hroc135 wants to merge 12 commits intoshumbo:bad-patternfrom

Commits on Feb 23, 2024

add causal order generator
hroc135
committed

Commits on Feb 24, 2024

Commits on Feb 28, 2024

Commits on Feb 29, 2024

Commits on Mar 1, 2024

create find_cc_bad_pattern
hroc135
committed

Commits on Mar 12, 2024

create find_ccv_bad_pattern
hroc135
committed

Commits on Mar 21, 2024

implement cm checker
hroc135
committed

Commits on Mar 22, 2024

minor change
hroc135
committed