Compatibility Summary for Polyspace Software

This table summarizes new features and changes that might cause incompatibilities when you upgrade from an earlier version, or when you use files on multiple versions. Details are provided in the description of the new feature or change.

Version (Release)	New Features and Changes with Version Compatibility Impact
Latest Version for C/C++ Products V8.3 (R2012a)	See the Compatibility Considerations subheading for these new features or changes: Suppression of NTC, NTL and UNR Checks Caused by Red Checks Absolute Addresses
Latest Version for Ada Products V6.3 (R2012a)	See the Compatibility Considerations subheading for this new feature or change: Suppression of NTC, NTL and UNR Checks Caused by Red Checks
Latest Version for Model Link Products V5.9 (R2012a)	None
V8.2 (R2011b) for C/C++ Products	See the Compatibility Considerations subheading for these new features or changes: STD_LIB Check Enhanced MISRA-C Coding Rules Checker No Gray Checks in Unreachable Code Changes to Verification Results Changes to Coding Rules Checker Results Running Multiple Verifications Simultaneously
V6.2 (R2011b) for Ada Products	See the Compatibility Considerations subheading for these new features or changes: No Gray Checks in Unreachable Code Running Multiple Verifications Simultaneously
V5.8 (R2011b) for Model Link Products	None
V8.1 (R2011a) for C/C++ Products	See the Compatibility Considerations subheading for these new features or changes: Overflow Check Customization Main Generator Improvements Precision Improvements Permissive Mode Set By Default Product Name Change in Files and Folders Changes to Verification Results Changes to Coding Rules Checker Results
V6.1 (R2011a) for Ada Products	See the Compatibility Considerations subheading for these new features or changes: Generated Main with Explicit Tasks and Accept Statements Enhancements in Run-Time Checks Perspective UOVFL and UNFL Checks Removed NIV Checks for Universal Constants Scaling Issue for Large Applications with Nested Structures/Arrays Product Name Change in Files and Folders Changes to Verification Results Generated Main with Explicit Tasks and Accept Statements
V5.7 (R2011a) for Model Link Products	See the Compatibility Considerations subheading for this new feature or change: Overflow Check Customization Main Generator Improvements Precision Improvements
V8.0 (R2010b) for C/C++ Products	See the Compatibility Considerations subheading for these new features or changes: New Options to Classify Run-Time Checks and Coding Rules Violations Main Generation in C++ Default Target Processor Default Operating System Target Include Folders Added to Verification by Default Changes to Verification Results
V6.0 (R2010b) for Ada Products	See the Compatibility Considerations subheading for these new features or changes: New Options to Classify Run-Time Checks Default Target Processor
V5.6 (R2010b) for Model Link Products	See the Compatibility Considerations subheading for this new feature or change: Verification Options Set by Default
V7.2 for C/C++ (R2010a)	See the Compatibility Considerations subheading for these new features or changes: Importing Review Comments Data Range Specifications (DRS) Enhancements Methodological Assistant Enhancements Class Analyzer Enhancements for C++ Change to Time Format in Log File Merging of OVFL and UNFL Checks Improved UNR Checks Changes to Verification Results Changes to Coding Rules Checker Results
V5.5 for Ada (R2010a)	See the Compatibility Considerations subheading for this new feature or change: Data Range Specifications for Custom Simulink Data Objects
V7.1 for C/C++ (R2009b)	See the Compatibility Considerations subheading for this new feature or change: Changes to Coding Rules Checker Results
V5.4 for Ada (R2009b)	See the Compatibility Considerations subheading for this new feature or change: Main Generator Enhancements
V7.0 for C/C++ (R2009a)	See the Compatibility Considerations subheading for these new features or changes: Architecture Improvements Mathematical Functions Included in Stubs Automatic Orange Tester
V5.3 for Ada (R2009a)	None
V6.0 for C/C++ (R2008b)	None
V5.2 for Ada (R2008b)	None
V5.1 (R2008a)	See the Compatibility Considerations subheading for this new feature or change: Removed Cygwin Software Dependency for Windows Platforms

Version 5.1 (R2008a) Polyspace Software

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS