Changes
Summary
- Uncommented generation of individual system definition (details)
- Changed the quote id generation from using name hashcode to using a (details)
- Initial work for generating system definition pr. cpu (details)
- Generate individual DM for each cpu (details)
- Let counter start from one for each distributed object (details)
- Fix minor problems introduced by the merge with vpb/development (details)
- Initial work for dispatcher (details)
- Add new external node for creating the distribution map (details)
- Generate the System architecture maps to string version (details)
- Initial work for bus dispatcher (details)
- Generate the string version maps (details)
- Updated the testing node for distribution (details)
- Add new parameter for the sendBus functionality (details)
- Initial version of the GetRes functionality (details)
- Added flag for indicating if distribution generation is needed (details)
- Minor update + additional comments (details)
- Updates for resolve call function distpacher (details)
- Minor name fix (details)
- Use the correct object name (details)
- get all classes used in the VDM-RT model (details)
- Added the macro wrapper function used to resolve a remote call (details)
- Initial work for inheritance for distribution (details)
- Initial support for inheritance dispatching for distribution (details)
- Updated VDM library parts used for distribution (details)
- Minor fixes (details)
- Comment distribtion parts for VDM lib out (details)
- Updated distributed code generator to use the new interface (details)
- Added the distribution code generation as a command line argument (details)
- added local declaration of args (details)
- Added function call to statement of send_bus function (details)
- Uncomment distribution addition in the vdm library (details)
- Refactoring writeFile code (details)
- Minor updated of transformation used for testing (details)
- Use absolute path of output directory (details)
- Initial test set up for distribution (only generate files) (details)
- Use overture formatter + either generate distribution or sequential (details)
- Minor clean up (details)
- Added time limit for run during testing (details)
- Add inclusion of the user specific header during run-time (details)
- Updated test1 and add run-time ressources (details)
- Minor updated to the include transformation (details)
- Run test with the executable and updated test resource for the main (details)
- ressources for cpu2 in test1 added (details)
- Updated test to use the new resources for cpu2 (details)
- Added test for the system analysis generator (details)
- Added test for distribution using ASN1 (details)
- Add arguments to DIST_CALL macro using proper index numbers (details)
- Added test of asn serialisation of arguments and return type (details)
- Fix to the generate send bus transformation, skip if there is no bus (details)
- Initial version of a Cpu init function (details)
- Added test of correct assignment of cpu init functionality (details)
- Initial update of the runtime for the new distributed dispatching (details)
- Removed unused automatically generated files (details)
- New transformation for transforming a remote object representation using (details)
- Use the remote object transformation, and do not use the specific ID and (details)
- Updated tests to use the garbage collector (details)
- Added test for quotes and bool serialisation run-time (details)
- Minor fix with output testpath (details)
- Added IR notes used for the distributed code generator (details)
- Minor fix for quotes serialization using ASN.1 (details)
- Improved test feedback for distributed test (details)
- Updated additional test for garbage collector together with feedback. (details)
- Updated CMake configuration to use the automatically generated VDM (details)
- Removed unsed files (details)
- Added check of classHeader type before casting (details)
- Clean up and refactoring of the architecture analysis (details)
- Clean up of distribution transformation series (details)
- Refactoring of code, initial for method arguments (details)
- Refactoring of identifier expressions (details)
- Clean up code (details)
- Refactoring and clean up of method for remote invocation handling (details)
- Clean up of distribution macro transformation (details)
- Minor code clean up of remote object transformarion (details)
- Refactoring and code clean up of class dispatcher function (details)
- Removed unused imports (details)
- Clean up (details)
- Removed unused comment (details)
- Remove time check (details)
- Added cmake functionality windows and linux in distribution tests (details)
- Detect cmake correctly across all platforms (details)
- Use absolute path to VDM lib during distribution testing (details)
- Fix CMakeLists.txt files for ASN test (details)
- Updated CMake file to fix Linux problem (details)
- Fix a problem with capital letter in path causing problems in Linux (details)
- Fixed run-time de-serialization of a boolean value (details)
- Added automatic detection if distribution code generation is needed, and (details)
- Moved the generation of files to the CGen instead of the CGenMain (details)
- Initial setup of Eclipse plug-in for the distribution support (details)
- Generate the specific c files for each cpu (details)
- Removed debug code (details)
- Removed public static access, and use get/set functions instead (details)
- Clean up distribution merge (details)
- Added sleep between cpu start up calls (details)
- Changed to use get function instead of static reference (details)
- update parameters of the emit main file function (details)
- Create a delay variable (details)
- Try new delay for distributed tests (details)
- Set the daemon flag to false in order not to generate console output (details)
- Filter out the extra nodes during distributed system analysis (details)
- The first element of the DM is not long always true, since we use new (details)
- Improved support for dispatching to super classes (details)
- Improve support for super class, and start using the first elemnet of DM (details)
- Use the first element of the DM (details)
- Improved analysis of the BUS structure (details)
- Improved test timing for distribution tests (details)
- Allow to set distribution generation off using the cgen settings (details)
- Update for the IDE for copying the distribution JAR (details)
- Improved possible timing issues during distribution test execution (details)
- Test update (details)
- Minor code formating (details)
- Add timing awareness for cpu1 during distribution tests (details)
- Synchronize CPUs during distribution test using a file (details)
- Updated distribution tests of initialization to use file (details)
- Support generation of bus support functions (details)
- Updated includes transformation together with new name for bus send (details)
- removed unused files (details)
- removed unused files (reverted from commit (details)
- Minor update to tests (details)
- Initial support for distribution run time from IDE (details)
- [maven-release-plugin] prepare release Release/0.1.14 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Clean Up (details)
- Minor update for distribution tests (details)
- - Increased coverage of basic precondition checks on map and sequence (details)
- Fixes bug with setting correct buffer size in collections. (details)
- Moved distribution library to separate maven project (details)
- Updated distribution library for C89 compliance (details)
- Changed distribution test to use FIFOs (details)
- Changed distribution tests to use FIFOs for communication (details)
- Improvement of distribution tests timing (details)
- kill subprocess of cpu2 after test (details)
- only run one test of distribution (details)
- Enable another test for distribution (details)
- Updated IDE with better separation of code emission between distributed (details)
- Do not run Quotes test (details)
- test new timing improvments for distributed tests (details)
- Enable all test with new approach for timing (details)
- new test try for distribution (details)
- Commit to rerun test (details)
- Fix typo in CMake file (details)
- Add -D_GNU_SOURCE flag to CMake file (details)
- Improved timing support for distribution tests (details)
- Assert that FIFOs can be created and cleaned up afterwards. (details)
- cleap up comments (details)
- Removed irrelevant comment (details)
- Removed irrelevant comment (details)
- Removed debug print from distribution test (details)
- Clean up distribution tests (details)
- Improve assert error message. (details)
- Add release notes for VDM2C version 0.1.16 (details)
- Prepare release of VDM2C version 0.1.16 (details)