Changes

Uncommented generation of individual system definition

Changed the quote id generation from using name hashcode to using a
counter value

Initial work for generating system definition pr. cpu

Generate individual DM for each cpu

Let counter start from one for each distributed object

Fix minor problems introduced by the merge with vpb/development

Initial work for dispatcher

Add new external node for creating the distribution map

Generate the System architecture maps to string version

Initial work for bus dispatcher

Generate the string version maps

Updated the testing node for distribution

Add new parameter for the sendBus functionality

Initial version of the GetRes functionality

Added flag for indicating if distribution generation is needed

Minor update + additional comments

Updates for resolve call function distpacher

Minor name fix

Use the correct object name

get all classes used in the VDM-RT model

Added the macro wrapper function used to resolve a remote call

Initial work for inheritance for distribution

Initial support for inheritance dispatching for distribution

Updated VDM library parts used for distribution

Minor fixes

Comment distribtion parts for VDM lib out

Updated distributed code generator to use the new interface

Added the distribution code generation as a command line argument

added local declaration of args

Added function call to statement of send_bus function

Uncomment distribution addition in the vdm library

Refactoring writeFile code

Minor updated of transformation used for testing

Use absolute path of output directory

Initial test set up for distribution (only generate files)

Use overture formatter + either generate distribution or sequential

Minor clean up

Added time limit for run during testing

Add inclusion of the user specific header during run-time

Updated test1 and add run-time ressources

Minor updated to the include transformation

Run test with the executable and updated test resource for the main
function

ressources for cpu2 in test1 added

Updated test to use the new resources for cpu2

Added test for the system analysis generator

Added test for distribution using ASN1

Add arguments to DIST_CALL macro using proper index numbers

Added test of asn serialisation of arguments and return type

Fix to the generate send bus transformation, skip if there is no bus

Initial version of a Cpu init function

Added test of correct assignment of cpu init functionality

Initial update of the runtime for the new distributed dispatching
intended for merge with the garbage collector merge

Removed unused automatically generated files

New transformation for transforming a remote object representation using
the new runtime together with the garbage collector

Use the remote object transformation, and do not use the specific ID and
explicit distribution maps generation

Updated tests to use the garbage collector

Added test for quotes and bool serialisation run-time

Minor fix with output testpath

Added IR notes used for the distributed code generator

Minor fix for quotes serialization using ASN.1

Improved test feedback for distributed test

Updated additional test for garbage collector together with feedback.

Updated CMake configuration to use the automatically generated VDM
features file

Removed unsed files

Added check of classHeader type before casting

Clean up and refactoring of the architecture analysis

Clean up of distribution transformation series

Refactoring of code, initial for method arguments

Refactoring of identifier expressions

Clean up code

Refactoring and clean up of method for remote invocation handling

Clean up of distribution macro transformation

Minor code clean up of remote object transformarion

Refactoring and code clean up of class dispatcher function

Removed unused imports

Clean up

Removed unused comment

Remove time check

Added cmake functionality windows and linux in distribution tests

Detect cmake correctly across all platforms

Use absolute path to VDM lib during distribution testing

Fix CMakeLists.txt files for ASN test
This fixes an issue that is specific to Linux

Updated CMake file to fix Linux problem

Fix a problem with capital letter in path causing problems in Linux

Fixed run-time de-serialization of a boolean value

Added automatic detection if distribution code generation is needed, and
updated test correspondingly.

Moved the generation of files to the CGen instead of the CGenMain

Initial setup of Eclipse plug-in for the distribution support

Generate the specific c files for each cpu

Removed debug code

Removed public static access, and use get/set functions instead

Clean up distribution merge
Delete unused transformation

Added sleep between cpu start up calls

Changed to use get function instead of static reference

update parameters of the emit main file function

Create a delay variable

Try new delay for distributed tests

Set the daemon flag to false in order not to generate console output
during tests

Filter out the extra nodes during distributed system analysis

The first element of the DM is not long always true, since we use new
dispatching strategy

Improved support for dispatching to super classes

Improve support for super class, and start using the first elemnet of DM

Use the first element of the DM

Improved analysis of the BUS structure

Improved test timing for distribution tests

Allow to set distribution generation off using the cgen settings

Update for the IDE for copying the distribution JAR

Improved possible timing issues during distribution test execution

Test update

Minor code formating

Add timing awareness for cpu1 during distribution tests

Synchronize CPUs during distribution test using a file

Updated distribution tests of initialization to use file
synchronization.

Support generation of bus support functions

Updated includes transformation together with new name for bus send

removed unused files

removed unused files (reverted from commit
2f78ac58223136d4c071fe89f17fdd04935ae198)

Minor update to tests

Initial support for distribution run time from IDE

[maven-release-plugin] prepare release Release/0.1.14
Bump ide/ to version 0.1.14

[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.15-SNAPSHOT

Clean Up

Minor update for distribution tests

-  Increased coverage of basic precondition checks on map and sequence
operations. -  Addresses #118.

Fixes bug with setting correct buffer size in collections.

Moved distribution library to separate maven project

Updated distribution library for C89 compliance

Changed distribution test to use FIFOs

Changed distribution tests to use FIFOs for communication

Improvement of distribution tests timing

kill subprocess of cpu2 after test

only run one test of distribution

Enable another test for distribution

Updated IDE with better separation of code emission between distributed
and non-distributed

Do not run Quotes test

test new timing improvments for distributed tests

Enable all test with new approach for timing

new test try for distribution

Commit to rerun test

Fix typo in CMake file

Add -D_GNU_SOURCE flag to CMake file

Improved timing support for distribution tests

Assert that FIFOs can be created and cleaned up afterwards.

cleap up comments

Removed irrelevant comment

Removed irrelevant comment

Removed debug print from distribution test

Clean up distribution tests

Improve assert error message.

Add release notes for VDM2C version 0.1.16

Prepare release of VDM2C version 0.1.16