CallSharp
CallSharp copied to clipboard
Commutativity annotations
Write a Monte-Carlo sim that determines pairs (triples, ...) of function calls that are commutative.