Indicate properties of operators. - #1698

Open

smimram wants to merge 8 commits into

mainfrom

Commits on Jun 17, 2021

Indicate properties of operators.
smimram
committed
6e81dad
Update flags.
smimram
committed
6c139e6
Merge branch 'main' into flags
smimram
authored
2a44799

Commits on Jun 21, 2021

Print properties in flags.
smimram
committed
062b836
Infallible sources.
smimram
committed
349c5df
Active sources.
smimram
committed
4e2c058
Clock safe.
smimram
committed
a2f4770
self_sync.
smimram
committed
26c8d3c