Minor improvements of errors

Change-Id: I70f1dcc14fa6e19ab6d6af544edc4402c2cfb46d
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Implemented UASM seqblock syntax
seq
  A
next
  B
next
  C

equals

seq
  A
  B
  C
endseq

equals

[
  A
  B
  C
}

Change-Id: Id153cdf52ea2c6fbda01ce5a765d8fbaf7bef3d3
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Improved readability of TestAllCasm error output

Change-Id: Ia842e8c65417e186b76e0fa4fd72a3df979fbeae
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Minor cleanup of ChooseRulePlugin

Change-Id: I641a5b740ed97bbf8901196c836a3f7b27f4a43e
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Adapted forall rules according to UASM
- allow multiple variables
- added optional 'ifnone' rule
- added testcases for new forall rule semantics

Change-Id: I91b0e5d1f64bfbc3ccb3d08579775b6920511894
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Implemented list comprehension

Change-Id: I602ca50139dfeb4ca921ef8515865e0d724d00c7
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>
Adapted ListComprehension, SetComprehension and BagComprehension to UASM
syntax

Change-Id: If172a89b9ec7323d851c82b6536e3efb839fb2da
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>