![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Changes
Summary
- Uncommented generation of individual system definition (commit: dc72732) (details)
- Changed the quote id generation from using name hashcode to using a (commit: 3abd921) (details)
- Initial work for generating system definition pr. cpu (commit: b888081) (details)
- Generate individual DM for each cpu (commit: aa62cc7) (details)
- Let counter start from one for each distributed object (commit: de58b91) (details)
- Fix minor problems introduced by the merge with vpb/development (commit: e5b43c9) (details)
- Initial work for dispatcher (commit: 3a80298) (details)
- Add new external node for creating the distribution map (commit: 8541984) (details)
- Generate the System architecture maps to string version (commit: a7571a4) (details)
- Initial work for bus dispatcher (commit: 3a7e706) (details)
- Generate the string version maps (commit: bce95d5) (details)
- Updated the testing node for distribution (commit: b63961f) (details)
- Add new parameter for the sendBus functionality (commit: 3852950) (details)
- Initial version of the GetRes functionality (commit: 5e6f11f) (details)
- Added flag for indicating if distribution generation is needed (commit: d9c6b47) (details)
- Minor update + additional comments (commit: 7c4a14d) (details)
- Updates for resolve call function distpacher (commit: f478d48) (details)
- Minor name fix (commit: fb1a871) (details)
- Use the correct object name (commit: 731c131) (details)
- get all classes used in the VDM-RT model (commit: 1067767) (details)
- Added the macro wrapper function used to resolve a remote call (commit: 833fbff) (details)
- Initial work for inheritance for distribution (commit: 62b9761) (details)
- Initial support for inheritance dispatching for distribution (commit: bf40b71) (details)
- Updated VDM library parts used for distribution (commit: c77ecd1) (details)
- Minor fixes (commit: 577cec8) (details)
- Comment distribtion parts for VDM lib out (commit: 977e074) (details)
- Updated distributed code generator to use the new interface (commit: bb9c1d7) (details)
- Added the distribution code generation as a command line argument (commit: cc06e39) (details)
- added local declaration of args (commit: a3a286a) (details)
- Added function call to statement of send_bus function (commit: b6ddb38) (details)
- Uncomment distribution addition in the vdm library (commit: 24b25d3) (details)
- Refactoring writeFile code (commit: 46da25f) (details)
- Minor updated of transformation used for testing (commit: b04e70c) (details)
- Use absolute path of output directory (commit: f0ad43f) (details)
- Initial test set up for distribution (only generate files) (commit: 9de1b8e) (details)
- Use overture formatter + either generate distribution or sequential (commit: 1932c2b) (details)
- Minor clean up (commit: c21ba75) (details)
- Added time limit for run during testing (commit: 1a655bf) (details)
- Add inclusion of the user specific header during run-time (commit: ff81edd) (details)
- Updated test1 and add run-time ressources (commit: 60790e3) (details)
- Minor updated to the include transformation (commit: 6f50661) (details)
- Run test with the executable and updated test resource for the main (commit: a1c8202) (details)
- ressources for cpu2 in test1 added (commit: f6e58a9) (details)
- Updated test to use the new resources for cpu2 (commit: f4050ae) (details)
- Added test for the system analysis generator (commit: 084a8ed) (details)
- Added test for distribution using ASN1 (commit: af789e2) (details)
- Add arguments to DIST_CALL macro using proper index numbers (commit: 3ff08da) (details)
- Added test of asn serialisation of arguments and return type (commit: cc7a746) (details)
- Fix to the generate send bus transformation, skip if there is no bus (commit: 4c7d12b) (details)
- Initial version of a Cpu init function (commit: 129805e) (details)
- Added test of correct assignment of cpu init functionality (commit: 880b66c) (details)
- Initial update of the runtime for the new distributed dispatching (commit: ebfcd36) (details)
- Removed unused automatically generated files (commit: 2d610bb) (details)
- New transformation for transforming a remote object representation using (commit: 8acebdd) (details)
- Use the remote object transformation, and do not use the specific ID and (commit: bf1bc85) (details)
- Updated tests to use the garbage collector (commit: 71217c4) (details)
- Added test for quotes and bool serialisation run-time (commit: de3f87f) (details)
- Minor fix with output testpath (commit: c080630) (details)
- Added IR notes used for the distributed code generator (commit: 8bfc1cd) (details)
- Minor fix for quotes serialization using ASN.1 (commit: 09ee5b5) (details)
- Improved test feedback for distributed test (commit: debf6da) (details)
- Updated additional test for garbage collector together with feedback. (commit: 2a50cd7) (details)
- Updated CMake configuration to use the automatically generated VDM (commit: 133e819) (details)
- Removed unsed files (commit: ff40f86) (details)
- Added check of classHeader type before casting (commit: 5dbba89) (details)
- Clean up and refactoring of the architecture analysis (commit: 79bcf56) (details)
- Clean up of distribution transformation series (commit: 13bf26b) (details)
- Refactoring of code, initial for method arguments (commit: a847a62) (details)
- Refactoring of identifier expressions (commit: 5e2d1ec) (details)
- Clean up code (commit: 1ec1546) (details)
- Refactoring and clean up of method for remote invocation handling (commit: 2eaaa65) (details)
- Clean up of distribution macro transformation (commit: e9f1630) (details)
- Minor code clean up of remote object transformarion (commit: 0cf20d2) (details)
- Refactoring and code clean up of class dispatcher function (commit: ee90e4b) (details)
- Removed unused imports (commit: 90e8bdb) (details)
- Clean up (commit: 7fb6d4f) (details)
- Removed unused comment (commit: e909542) (details)
- Remove time check (commit: 0188de0) (details)
- Added cmake functionality windows and linux in distribution tests (commit: 4c24356) (details)
- Detect cmake correctly across all platforms (commit: 6aadcd6) (details)
- Use absolute path to VDM lib during distribution testing (commit: 731fdaa) (details)
- Fix CMakeLists.txt files for ASN test (commit: d63dd97) (details)
- Updated CMake file to fix Linux problem (commit: 07a3e61) (details)
- Fix a problem with capital letter in path causing problems in Linux (commit: 5593364) (details)
- Fixed run-time de-serialization of a boolean value (commit: 4f2b52c) (details)
- Added automatic detection if distribution code generation is needed, and (commit: 8c1e3f6) (details)
- Moved the generation of files to the CGen instead of the CGenMain (commit: 7fa5f60) (details)
- Initial setup of Eclipse plug-in for the distribution support (commit: 3dc8bf9) (details)
- Generate the specific c files for each cpu (commit: 9124ba3) (details)
- Removed debug code (commit: 529bb1b) (details)
- Removed public static access, and use get/set functions instead (commit: c976062) (details)
- Clean up distribution merge (commit: ba47107) (details)
- Added sleep between cpu start up calls (commit: 3c5e466) (details)
- Changed to use get function instead of static reference (commit: f79561c) (details)
- update parameters of the emit main file function (commit: a030078) (details)
- Create a delay variable (commit: 0c3c620) (details)
- Try new delay for distributed tests (commit: e6edee2) (details)
- Set the daemon flag to false in order not to generate console output (commit: d4a3c90) (details)
- Filter out the extra nodes during distributed system analysis (commit: 5080775) (details)
- The first element of the DM is not long always true, since we use new (commit: 19c4355) (details)
- Improved support for dispatching to super classes (commit: 956f401) (details)
- Improve support for super class, and start using the first elemnet of DM (commit: 11047fc) (details)
- Use the first element of the DM (commit: 781da93) (details)
- Improved analysis of the BUS structure (commit: 2cf4f91) (details)
- Improved test timing for distribution tests (commit: db2aff4) (details)
- Allow to set distribution generation off using the cgen settings (commit: 9c3e8fc) (details)
- Update for the IDE for copying the distribution JAR (commit: efbbdf1) (details)
- Improved possible timing issues during distribution test execution (commit: 0868d3f) (details)
- Test update (commit: 5b9aab8) (details)
- Minor code formating (commit: b7791e3) (details)
- Add timing awareness for cpu1 during distribution tests (commit: b86d0ee) (details)
- Synchronize CPUs during distribution test using a file (commit: 4c72da2) (details)
- Updated distribution tests of initialization to use file (commit: d46dfd0) (details)
- Support generation of bus support functions (commit: d62d5b1) (details)
- Updated includes transformation together with new name for bus send (commit: 976716b) (details)
- removed unused files (commit: 2f78ac5) (details)
- removed unused files (reverted from commit (commit: ac20568) (details)
- Minor update to tests (commit: cd7978e) (details)
- Initial support for distribution run time from IDE (commit: 3dada75) (details)
- Clean Up (commit: ece3004) (details)
- Minor update for distribution tests (commit: 7c1594c) (details)
- Moved distribution library to separate maven project (commit: e240ce3) (details)
- Updated distribution library for C89 compliance (commit: 524d08d) (details)
- Changed distribution test to use FIFOs (commit: 552bf69) (details)
- Changed distribution tests to use FIFOs for communication (commit: 66861af) (details)
- Improvement of distribution tests timing (commit: dce9856) (details)
- kill subprocess of cpu2 after test (commit: 0a8af33) (details)
- only run one test of distribution (commit: 2b41cda) (details)
- Enable another test for distribution (commit: 44b31d3) (details)
- Updated IDE with better separation of code emission between distributed (commit: 2164ccd) (details)
- Do not run Quotes test (commit: 4d77c7f) (details)
- test new timing improvments for distributed tests (commit: 72feb0f) (details)
- Enable all test with new approach for timing (commit: 2b838d8) (details)
- new test try for distribution (commit: d75d502) (details)
- Commit to rerun test (commit: c1cb81e) (details)
