Update HISTORY

HISTORY

@@ -1,3 +1,18 @@
+Version 3.0 - 2022-07
+
+LAbS: Added blocks of actions "{a1; a2; ... ; an}"
+LAbS: Added block-local variables "var := expr"
+LAbS: Added a new rounding integer division operator "e1 : e2"
+LAbS: Added lookup operator "var of expr"
+LAbS: Added assignment to evaluation of quantified predicates (e.g, "b := forall ..." or "b := exists ...")
+LAbS: Added nondeterministic agent selection "pick"
+LAbS: Added ternary operator "if cond then expr1 else expr2"
+LAbS: Underscores ("_") can now be used within all names (but not at the beginning of a name)
+LAbS: Arithmetic expressions can now be used where a Boolean expression is expected ("expr" is desugared into "expr != 0")
+
+SLiVER: CBMC backend now supports simulation
+SLiVER: Added a compositional CADP backend "cadp-comp" (experimental)
+
 Version 2.1 - 2021-11
 
 C translation: Fixed a bug with the nondeterministic value operator