patched some minor traps in SemanticChecker
added support for unsafe open arrays

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5562 8c9fc860-2736-0410-a75d-ab315db34111
Improved operand mode check

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5563 8c9fc860-2736-0410-a75d-ab315db34111
Fixed assignment of integer to unsafe pointer types

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5564 8c9fc860-2736-0410-a75d-ab315db34111
Added basic support for initializers for record fields

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5565 8c9fc860-2736-0410-a75d-ab315db34111
Added generator name in order to be able to identify V24 component from inspector

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5575 8c9fc860-2736-0410-a75d-ab315db34111
patched problem with windows internal disk names plus unmounting

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5576 8c9fc860-2736-0410-a75d-ab315db34111
add some comments

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5578 8c9fc860-2736-0410-a75d-ab315db34111
added new primes

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5580 8c9fc860-2736-0410-a75d-ab315db34111
patched index out of bounds bug

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5581 8c9fc860-2736-0410-a75d-ab315db34111
memorize previous position of the mouse pointer for a touchscreen driver

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5582 8c9fc860-2736-0410-a75d-ab315db34111
patched issue with touchscreen driver prev coordinates interfering with mouse coordinates

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5583 8c9fc860-2736-0410-a75d-ab315db34111
Minor patch: make sure that msb of device id does not lead to negative number when shifting

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5584 8c9fc860-2736-0410-a75d-ab315db34111
added trace for sets

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5585 8c9fc860-2736-0410-a75d-ab315db34111
patched missing end (happened during file comparison merging)

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5586 8c9fc860-2736-0410-a75d-ab315db34111
Added support for "TraceDelay" (delay expressed as million cycles after each screen page)

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5587 8c9fc860-2736-0410-a75d-ab315db34111
Added support for ourput of a set

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5590 8c9fc860-2736-0410-a75d-ab315db34111
use output of set when a set is to be traced

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5591 8c9fc860-2736-0410-a75d-ab315db34111
Patched wrong operand format for special instructions

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5595 8c9fc860-2736-0410-a75d-ab315db34111
added support for polling i/o IRQ (for testing purposes only)

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5596 8c9fc860-2736-0410-a75d-ab315db34111
cleanup usage of KernelProcs

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5597 8c9fc860-2736-0410-a75d-ab315db34111