Commits · a7ff5dd400e9810db15f59a9210601d0759d292f · tables / tet · GitLab

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
Jan 11, 2012
- Rename Settings to TTSettings, to avoid conflict with Matlab class · b206bdec
  Colin Eles authored Jan 11, 2012
  b206bdec
Nov 25, 2010
- added some TA stuff, as well as a minor fix in TT where function name is not proper pvs syntax. · b1d7d70f
  Colin Eles authored Nov 25, 2010
  b1d7d70f
Nov 19, 2010
- updated GUI to generalize the typecheck procedure, default prover is now CVC,... · aeb14e87
  Colin Eles authored Nov 19, 2010
  aeb14e87
Nov 11, 2010
- begnining of application of SMT solver, using CVC3 solver. only works for 1D... · 3581723a
  Colin Eles authored Nov 11, 2010
  3581723a
Oct 07, 2010
- have a mode working where tool will generate a theory using the simulink... · 526ae04a
  Colin Eles authored Oct 07, 2010
  526ae04a
Sep 21, 2010
- edited code looking for unsuppressed output, need better way to do this, also... · e0cc8735
  Colin Eles authored Sep 21, 2010
  e0cc8735
Sep 20, 2010
- preparing code for release, cleaning and commenting · a9572dc0
  Colin Eles authored Sep 20, 2010
  a9572dc0
Sep 15, 2010
- undo/redo working better now, still a little bugg · 374f7593
  Colin Eles authored Sep 15, 2010
  374f7593
Sep 14, 2010
- latest update, undo manager working better, need to implement redo for a few... · 99222c5c
  Colin Eles authored Sep 14, 2010
  99222c5c
Sep 13, 2010
- begining of undo/redo functionality · 36bbdd82
  Colin Eles authored Sep 13, 2010
  36bbdd82
Aug 27, 2010
- startings of help files · d08f7e0d
  Colin Eles authored Aug 27, 2010
  d08f7e0d
Aug 17, 2010
- latest update · bda1be75
  Colin Eles authored Aug 17, 2010
  bda1be75
Jul 29, 2010
- moved new directoried files to new file in trunk for simplicity · a86efb1d
  Colin Eles authored Jul 29, 2010
  a86efb1d