diff --git a/html/TT_gs_over.m b/html/TT_gs_over.m new file mode 100644 index 0000000000000000000000000000000000000000..4b9319c8b06805c602074b795ceac21792dfb150 --- /dev/null +++ b/html/TT_gs_over.m @@ -0,0 +1,6 @@ +%% Product Overview +% This product allows users to interactively design a tabular expression. +% The resusulting function can be saved as a Simulink block or to a Matlab +% m-file. Tabular Expressions can be proved to be disjoint and complete +% using the PVS theorem prover. This allows users to ensure that the table +% they are designing has covered all possible inputs and is deterministic. \ No newline at end of file diff --git a/html/TT_gs_req.m b/html/TT_gs_req.m new file mode 100644 index 0000000000000000000000000000000000000000..47389923d5cf887317f18857f8d9f364ccd50bf5 --- /dev/null +++ b/html/TT_gs_req.m @@ -0,0 +1,13 @@ +%% System Requirements +% +%% Matlab/Simulink +% +% * Tested with Matlab Simulink 2009b and 2010a +%% PVS (Prototype Verification System) +% * PVS is required to be installed in order to check for completness and +% disjointness of tables. +% * PVS is downloadable from http://pvs.csl.sri.com/ +% * System has been tested on PVS versions 4.2 and 4.1 +% * Ensure that pvs executable is on shell path +% * *Note:* PVS is a linux and OS X application and will not run natively +% on Windows. \ No newline at end of file diff --git a/html/TT_gs_top.m b/html/TT_gs_top.m new file mode 100644 index 0000000000000000000000000000000000000000..4c021de45306eb22199bd54cadf6d6698c6bd3ca --- /dev/null +++ b/html/TT_gs_top.m @@ -0,0 +1,6 @@ +%% Getting Started +% +% * +% * +% * +% diff --git a/html/TT_help.m b/html/TT_help.m new file mode 100644 index 0000000000000000000000000000000000000000..9670b6a8ec5bc66f119d588c903f468438513f70 --- /dev/null +++ b/html/TT_help.m @@ -0,0 +1,11 @@ +%% Table Toolbox +% +% *Available Documentation* +% +% * +% * +% * +% * +% +% +% Copyright 2010 Colin Eles diff --git a/html/TTtbx_gs_top.html b/html/TTtbx_gs_top.html index cb17392b04312ec74bc10b35538aae4cd475e57e..9337b9ac2ae3cd2c450b720634343cfcb19bade5 100644 --- a/html/TTtbx_gs_top.html +++ b/html/TTtbx_gs_top.html @@ -2,3 +2,4 @@ Table Toolbox Product Overview Requirements +Tabular Expression References diff --git a/html/helptoc.xml b/html/helptoc.xml index d06b7fd496f756c4fd9f1d32fbdf18ae1ea2c95d..d5c84d3e67bb90def0be97c994ea98630de722f2 100644 --- a/html/helptoc.xml +++ b/html/helptoc.xml @@ -3,7 +3,7 @@ - MyToolbox Toolbox + MyToolbox Toolbox @@ -14,11 +14,14 @@ - + Getting Started with the MyToolbox Toolbox - System Requirements + System Requirements + + Product Overview + + References - Product Overview

Product Overview

This product allows users to interactively design a tabular expression. The resusulting function can be saved as a Simulink block or to a Matlab m-file. Tabular Expressions can be proved to be disjoint and complete using the PVS theorem prover. This allows users to ensure that the table they are designing has covered all possible inputs and is deterministic.

\ No newline at end of file diff --git a/html/html/TT_gs_req.html b/html/html/TT_gs_req.html new file mode 100644 index 0000000000000000000000000000000000000000..1f4e386bcd0bce3b231ee9f38ace5262ad0a34ac --- /dev/null +++ b/html/html/TT_gs_req.html @@ -0,0 +1,82 @@ + + + + + System Requirements

System Requirements

Contents

Matlab/Simulink

  • Tested with Matlab Simulink 2009b and 2010a

PVS (Prototype Verification System)

  • PVS is required to be installed in order to check for completness and disjointness of tables.
  • PVS is downloadable from http://pvs.csl.sri.com/
  • System has been tested on PVS versions 4.2 and 4.1
  • Ensure that pvs executable is on shell path
  • Note: PVS is a linux and OS X application and will not run natively on Windows.
\ No newline at end of file diff --git a/html/html/TT_gs_top.html b/html/html/TT_gs_top.html new file mode 100644 index 0000000000000000000000000000000000000000..aef535ea331057a57d5b2bbbded47e56888bb785 --- /dev/null +++ b/html/html/TT_gs_top.html @@ -0,0 +1,76 @@ + + + + + Getting Started

Getting Started

\ No newline at end of file diff --git a/html/html/TT_help.html b/html/html/TT_help.html new file mode 100644 index 0000000000000000000000000000000000000000..13e5eb2971a60f3bba4459d749d4227ebd779e8e --- /dev/null +++ b/html/html/TT_help.html @@ -0,0 +1,81 @@ + + + + + Table Toolbox

Table Toolbox

Available Documentation

Copyright 2010 Colin Eles

\ No newline at end of file diff --git a/html/html/TTtbx_gs_top.html b/html/html/TTtbx_gs_top.html new file mode 100644 index 0000000000000000000000000000000000000000..71d8df69293604726b4f7fca584547c5dfa8e978 --- /dev/null +++ b/html/html/TTtbx_gs_top.html @@ -0,0 +1,82 @@ + + + + + Table Toolbox

Table Toolbox

Available Documentation

Copyright 2010 Colin Eles

\ No newline at end of file