summaryrefslogtreecommitdiff
path: root/Source/Concurrency/SimulationRelation.cs
Commit message (Expand)AuthorAge
* added simulation relation computation to yield type checkingGravatar qadeer2014-04-20