fixed naming
cleanup
clean up - warnings
Added support for project specific properties overriding global workbench preferences.
Main pog no longer visiting VarSet expressions.
The replicated alphabetised process does not have any problems with looking up the replication values anymore. However it is still not working as it should
Refactored ActionSetupVisitor into several visitors, just like the inspection visitors
Replicated alphabetised parallelism seems to work now. More tests is needed!
Its now possible to use a communication input var in the same event, thus something like a?x.(x-2) is now possible. Added a test case for this
updated test to support new test framework

sync

overturetool/overture@29734ec772cb7c40fb58a39096572ffef8f33426
Update pom.xmls to use new AU buildserver
Fixed in the UI of the model checker.
Merge remote-tracking branch 'origin/development' into akm
added extends keyword to ide
fixed property if for classes test
added missing name to chansetdefinition in variablenamecollector
code format
enabled the type checker to check classes which uses inheritance
Merge branch 'origin/akm'
Merge branch 'origin/test'