Merge branch 'next'

Author: Robbert van Renesse

harmony_model_checker/harmony/ast.py

@@ -371,7 +371,15 @@ def ph2(self, scope, code, skip, start, stop, stmt):
             else:
                 code.append(StoreVarOp(None, self.name[0]), start, stop, stmt=stmt)
         else:
-            assert t == "global", (t, v)
+            if t != "global":
+                (lexeme, file, line, column) = v
+                raise HarmonyCompilerError(
+                    message="not a mutable variable: " + lexeme,
+                    lexeme=lexeme,
+                    filename=file,
+                    line=line,
+                    column=column
+                )
             code.append(StoreOp(None, self.name, None), start, stop, stmt=stmt)
 
     def isConstant(self, scope):

harmony_model_checker/modules/synch.hny

@@ -60,6 +60,10 @@ def notify(c):
 def notify_all(c):
     atomically !c = bags.empty()
 
+# Deprecated
+def notifyAll(c):
+    atomically !c = bags.empty()
+
 def Semaphore(cnt) returns result:
     result = cnt
 

harmony_model_checker/modules/synchBusy.hny

@@ -26,6 +26,10 @@ def notify(c):
 def notify_all(c):
     pass
 
+# Deprecated
+def notifyAll(c):
+    pass
+
 def Semaphore(cnt):
     result = cnt
 

harmony_model_checker/modules/synchImprecise.hny

@@ -33,6 +33,10 @@ def notify(c):
 def notify_all(c):
     c->waiters = {}
 
+# Deprecated
+def notifyAll(c):
+    c->waiters = {}
+
 def Semaphore(cnt):
     result = cnt
 

harmony_model_checker/modules/synchS.hny

@@ -54,12 +54,16 @@ def notify(c):
     atomically if !c != []:
         go ((!c)[0]) ()
         del (!c)[0]
-        
+ 
 def notify_all(c):
     atomically:
         for ctx in !c:
             go ctx ()
         !c = []
+
+# Deprecated
+def notifyAll(c):
+    notify_all(c)
 
 def Semaphore(cnt):
     result = { .count: cnt, .waiters: [] }