Commits · f5602166035e9bab067e87202b8826659c63464d · tables / tet

Sep 02, 2010

Colin Eles authored Sep 02, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6164 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

f5602166

updated block mask output · 8b9a5472

Colin Eles authored Sep 02, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6163 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

8b9a5472

Aug 31, 2010

latest updates to help file · 1d4f83be

Colin Eles authored Aug 31, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6157 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

1d4f83be

Aug 30, 2010

references page for help · 47ce3a90

Colin Eles authored Aug 30, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6156 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

47ce3a90

added help files and generated html files · 922c2987

Colin Eles authored Aug 30, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6155 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

922c2987

Aug 27, 2010

forgot to add some files · 9d00ea6f

Colin Eles authored Aug 27, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6149 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

9d00ea6f

startings of help files · d08f7e0d

Colin Eles authored Aug 27, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6148 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

d08f7e0d

Aug 26, 2010

fixed multi output problems · d1ba1410

Colin Eles authored Aug 26, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6141 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

d1ba1410

Aug 17, 2010

latest update · bda1be75

Colin Eles authored Aug 17, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6114 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

bda1be75

Aug 16, 2010

forgot to add new file · 12e0f333

Colin Eles authored Aug 16, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6100 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

12e0f333

multiple outputs for pvs supported, need to add gui element to select which mode · 3ad73b0d
Colin Eles authored Aug 16, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6099 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
3ad73b0d

Aug 13, 2010
- fixed issue with inability to close report window, as well as a few other minor fixes · b3ea8731
  Colin Eles authored Aug 13, 2010
  
  git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6071 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
  b3ea8731
Aug 12, 2010

support for multiple outputs in simulink, toggle currently hardcoded need some... · a8cb82c2

Colin Eles authored Aug 12, 2010

support for multiple outputs in simulink, toggle currently hardcoded need some sort of gui element for this, does not work with pvs yet

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6064 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

a8cb82c2

added typing to output for pvs purposes · 004091be

Colin Eles authored Aug 12, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6062 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

004091be

Aug 11, 2010

latest update to table tool · 579ec4a7

Colin Eles authored Aug 11, 2010


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6058 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

579ec4a7

Aug 04, 2010

forgot to add system check function · 372b2cae

Colin Eles authored Aug 04, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6026 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

372b2cae

Jul 29, 2010

rename new directory to original directory · f6057400

Colin Eles authored Jul 29, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5987 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

f6057400

moved new directoried files to new file in trunk for simplicity · a86efb1d

Colin Eles authored Jul 29, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableToold@5985 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

a86efb1d

figured out how to add @ directories to svn need to add @Grid@ · cf0c0574

Colin Eles authored Jul 29, 2010


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5984 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

cf0c0574

latest · 7f4e3b1c

Colin Eles authored Jul 29, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5983 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

7f4e3b1c

Jul 28, 2010

latest update · 28c0f1a5

Colin Eles authored Jul 28, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5976 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

28c0f1a5

Jul 26, 2010

latest update · 4b41f128

Colin Eles authored Jul 26, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5967 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

4b41f128

Jul 23, 2010

latest update · c190495e

Colin Eles authored Jul 23, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5948 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

c190495e

added some unit tests and unit test suite for matlab · 73253b69

Colin Eles authored Jul 23, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5943 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

73253b69

Jul 22, 2010

latest version · 0943d0ff

Colin Eles authored Jul 22, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5938 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

0943d0ff

added some comments to gui and pvs_checker · d9ee2456

Colin Eles authored Jul 22, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5934 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

d9ee2456

latest version, fixed some misnamed objects · 3f81c047

Colin Eles authored Jul 22, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5932 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

3f81c047

Jul 16, 2010

latest changes · d5a43cce

Colin Eles authored Jul 16, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5896 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

d5a43cce

vastly improved proof management in system, user can check an existing proof... · dd867073

Colin Eles authored Jul 16, 2010

vastly improved proof management in system, user can check an existing proof or can attempt to prove in pvs

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5895 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

dd867073

Jul 15, 2010

added functionality for parsing .prf files · 5c825cb1

Colin Eles authored Jul 15, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5888 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

5c825cb1

Jul 14, 2010

latest · 9773cc7e

Colin Eles authored Jul 14, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5881 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

9773cc7e

fixed up eml code generation procedure, more efficient and easier to read now · fdecf616
Colin Eles authored Jul 14, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5878 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
fdecf616
seperated functionality appears to be working now, may need more testing though · c455f5c2
Colin Eles authored Jul 14, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5877 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
c455f5c2

latest update still not yet working · 023faf17

Colin Eles authored Jul 14, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5876 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

023faf17

in process of spliting some functionality outof gui, this rev will not work properly yet · 103d5be9
Colin Eles authored Jul 14, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5875 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
103d5be9
added block to library to check all the table blocks in a given system · b0a5223c
Colin Eles authored Jul 14, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5874 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
b0a5223c

working on system wide checking · 91c8bfd9

Colin Eles authored Jul 14, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5873 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

91c8bfd9

removed any references to gui from pvs_checker so that it can be run independantly of the gui · 9939ab3b
Colin Eles authored Jul 14, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5869 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
9939ab3b

Jul 13, 2010

fixed bug of not being able to save to initalized blocks or from matlab mode · 83e4c55d
Colin Eles authored Jul 13, 2010
```
git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5865 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
```
83e4c55d

updated libraryblock · cac46c31

Colin Eles authored Jul 13, 2010

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5864 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

cac46c31