Skip to content

Fix predicate typo that disabled five bisimulation operations - #182

Open
matthiasgoergens wants to merge 1 commit into
janestreet:masterfrom
matthiasgoergens:fix-bisimulation-predicate-mod-zero
Open

Fix predicate typo that disabled five bisimulation operations#182
matthiasgoergens wants to merge 1 commit into
janestreet:masterfrom
matthiasgoergens:fix-bisimulation-predicate-mod-zero

Fix predicate typo that disabled five bisimulation operations

68d7c13
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 30, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO