Commits · 3b2414851fa27d617473d619c2e7328379a1789d · Curtis Milo / tet

Browse files

Jul 09, 2012
- Start refactor of the table tool box. · 3b241485
  Matthew Dawson authored Jul 09, 2012
  3b241485
Jun 20, 2012
- Create new branch for TT refactor. · c1974580
  Matthew Dawson authored Jun 20, 2012
  c1974580
Jun 19, 2012
- Remove extra debug output. · a640e712
  Matthew Dawson authored Jun 19, 2012
  a640e712
- Fix PVS checking when dealing with multiline inputs. · cdea6f18
  Matthew Dawson authored Jun 19, 2012
  cdea6f18
Jun 15, 2012
- Handle some multiline inputs. · 1d2ec29f
  Matthew Dawson authored Jun 15, 2012
  1d2ec29f
Jun 14, 2012
- Revert last commit, it broke too many things. · 13231ccf
  Matthew Dawson authored Jun 14, 2012
  13231ccf
Jun 08, 2012
- Remove a bunch of pieces of code. · dfc15280
  Matthew Dawson authored Jun 08, 2012
  dfc15280
- Handle the case when more then one value comes out of the regex. · 4ca9bbe4
  Matthew Dawson authored Jun 08, 2012
  4ca9bbe4
- Add missing comma in case statement. · f75062bf
  Matthew Dawson authored Jun 08, 2012
  f75062bf
Jun 06, 2012
- Due to regexp, its possible that its output has no length. Check to avoid errors. · 0f2857ed
  Matthew Dawson authored Jun 06, 2012
  0f2857ed
- Speculatively fix another bug involving deleting invalid handles. · 1524f217
  Matthew Dawson authored Jun 06, 2012
  1524f217
- Speculative bug fix, TableBlock has static functions, no object. · 96cc70bb
  Matthew Dawson authored Jun 06, 2012
  96cc70bb
Jan 11, 2012
- updated user manual system requirements · 24955f3c
  Colin Eles authored Jan 11, 2012
  24955f3c
- fixed bug with mask display commands · a9c58537
  Colin Eles authored Jan 11, 2012
  a9c58537
- updating to reflect name change · bafcbce8
  Colin Eles authored Jan 11, 2012
  bafcbce8
- remove previous version of settings · a382ae11
  Colin Eles authored Jan 11, 2012
  a382ae11
- Rename Settings to TTSettings, to avoid conflict with Matlab class · b206bdec
  Colin Eles authored Jan 11, 2012
  b206bdec
Sep 08, 2011
- Correcting name in toolbox documentation. · 56b55874
  Mark Lawford authored Sep 08, 2011
  56b55874
Aug 23, 2011
- Added support for PVS 5.0 to requirements. · 10cd524b
  Mark Lawford authored Aug 23, 2011
  10cd524b
- Updating revision number and documentation to add NFM2011 reference and website. · 73066081
  Mark Lawford authored Aug 23, 2011
  73066081
- Updating minor revision number to indicate R2011a support. · a0c8ab91
  Mark Lawford authored Aug 23, 2011
  a0c8ab91
Jun 13, 2011
- Hacked a work around for R2011a release change in code block locations and... · fb84eae9
  Mark Lawford authored Jun 13, 2011
  fb84eae9
Apr 26, 2011
- should work with PVS5 now · 145b8e8c
  Colin Eles authored Apr 26, 2011
  145b8e8c
Apr 18, 2011
- Quick hack to get tool working with PVS 5.0. Need to revisit this. · 782ec023
  Mark Lawford authored Apr 18, 2011
  782ec023
Apr 14, 2011
- found unsuppressed output, preping for release · eab216bc
  Colin Eles authored Apr 14, 2011
  eab216bc
- updated version no · fca5fb97
  Colin Eles authored Apr 14, 2011
  fca5fb97
- latest update, updated help files · d1413759
  Colin Eles authored Apr 14, 2011
  d1413759
Mar 14, 2011
- latest update · 0c1c3173
  Colin Eles authored Mar 14, 2011
  0c1c3173
- added to quadratic example · cb58dbb0
  Colin Eles authored Mar 14, 2011
  cb58dbb0
- latest update · 53fa9183
  Colin Eles authored Mar 14, 2011
  53fa9183
Mar 11, 2011
- latest update · bbcf4c1e
  Colin Eles authored Mar 11, 2011
  bbcf4c1e
Mar 09, 2011
- fixed error with coping pvs/prf files · 9aeff3d5
  Colin Eles authored Mar 09, 2011
  9aeff3d5
Mar 08, 2011
- latest update · 4af6a36a
  Colin Eles authored Mar 08, 2011
  4af6a36a
- added files to pvs theories folder · 02cfd36c
  Colin Eles authored Mar 08, 2011
  02cfd36c
- latest update copies over files from pvs_theories · f4848c3d
  Colin Eles authored Mar 08, 2011
  f4848c3d
- found bug in checking for imports now checks results grid as well · 5518b07d
  Colin Eles authored Mar 08, 2011
  5518b07d
Mar 07, 2011
- fixed checking of proven tables · 62b35c3f
  Colin Eles authored Mar 07, 2011
  62b35c3f
- found bug in parsing pvs result, updated proof script · ae3c731a
  Colin Eles authored Mar 07, 2011
  ae3c731a
Feb 15, 2011
- fixed a bug with trig libraries · 5343fad5
  Colin Eles authored Feb 15, 2011
  5343fad5
Feb 14, 2011
- fixed a bug in new code · 6c8b4b81
  Colin Eles authored Feb 14, 2011
  6c8b4b81