Commits · a8cb82c2d2ef5001ea24391d812faa132e81da00 · tables / tet

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

improved visual feedback on block itself · 2f5e4a82

Colin Eles authored Jul 13, 2010

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

2f5e4a82

user can now change output datatype and code will convert to appropriate type,... · 1199bc61

Colin Eles authored Jul 13, 2010

user can now change output datatype and code will convert to appropriate type, need to test this with hdl, etc.

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

1199bc61

Jul 12, 2010

added button to open pvs if typechecking fails · 6125d2eb

Colin Eles authored Jul 12, 2010

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

6125d2eb

Jul 08, 2010

types · cd0bebec