summaryrefslogtreecommitdiff
path: root/Source/Concurrency/CivlTypeChecker.cs
Commit message (Expand)AuthorAge
* bug fix in the type checking of calls to atomic proceduresGravatar Shaz Qadeer2015-10-16
* bug fixGravatar Shaz Qadeer2015-10-09
* removed an extraneous warningGravatar Shaz Qadeer2015-10-08
* added a fix to check all layers: created layer of actions or layers inGravatar Shaz Qadeer2015-10-01
* another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
* cleaned up some namesGravatar Shaz Qadeer2015-09-28