Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 12: Line 12:
 
! <h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
! <h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
|-
 
|-
|style="color:#000"|Nov-2007: Migrated from Microsoft Visual C++ 6.0 to Microsoft Visual C++ 2005 providing significant performance enhancements required to support large Simulink/Stateflow models.
+
|style="color:#000"|Feb-2008: Major memory optimization to support translation of very large models.
 
|-
 
|-
|style="color:#000"|Dec-2007: Enhanced support for strings in TTM/VGS.
+
|style="color:#000"|Feb-2008: Enhanced support for strings in TTM/VGS.
 
|-
 
|-
|style="color:#000"|Dec-2007: Added TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
+
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|-
 
|-
 
|}<!-- Start of right-column -->
 
|}<!-- Start of right-column -->

Revision as of 15:40, 24 February 2008