Tabular Expression Toolbox

Version 0.7.4 - Initial release for MATLAB R2014b/R2015a.

Version 0.7.3 - Fixed a critical bug related to creating new variables. It is
recommend to re-save all tables to fix any issues. Please see
http://goo.gl/mzq7os for details.

Version 0.7.2 - Modify the saving process to provide a stable on disk format. Now when tables are saved, the Simulink Model will not change if the table itself is unmodified. This format is fully compatible with previous versions.

Version 0.7.1 - Fixed a bug that occurred when opening tables that prevented the tool from working correctly and prevented Matlab from exiting.

Version 0.7 - Updated to support PVS 6.0. Bug fixes for Linux version to handle issues with Matlab including older versions libstdC++ and other shared libraries. Tested with MATLAB R2011b through to R2013a.

Version 0.6 - Numerous bug fixes including a severe bug that prevented the user from opening a saved table.

Updated to version 0.5, fixed compatibility issues with Matlab 2011b.

Updated to support Matlab R2011a, PVS 5.0 and minor documentation updates.

Added support for PVS 5.0

Added support for type checking floating point numbers using the NASA PVS library, updated documentation.

Minor bug fixes

v0.3.1 minor bug fixes, update recommended if using cvc3.

Slight modification to the Description.

V0.3 adds support for CVC3 a model checker which can be used in place of or along side pvs.
Additional documentation is provided, there have been changes to the interface generalizing some of the wording, as well as many bug fixes.

Updated help files; added new mode to use Simulink typing, rather than PVS typing, when proving tables; some bug fixes.

shouldn't have zipped with OS X

Removed some unneeded files