Commits · d14ea6ddfc82dbaf3cde9b01a4af16f49f1d5430 · Curtis Milo / tet · GitLab

Nov 26, 2010
- updates to help files, minor change to validation report so not pvs specific · 7e0a604b
  Colin Eles authored Nov 26, 2010
  7e0a604b
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
- example model · 76ebae7f
  Colin Eles authored Nov 19, 2010
  76ebae7f
Nov 11, 2010
- latest update for smt solver · 90fd1509
  Colin Eles authored Nov 11, 2010
  90fd1509
- begnining of application of SMT solver, using CVC3 solver. only works for 1D... · 3581723a
  Colin Eles authored Nov 11, 2010
  3581723a
Oct 12, 2010
- updated version to 0.2 for next version to go online · 8faa4dc9
  Colin Eles authored Oct 12, 2010
  8faa4dc9
- forgot to add a file · 830e560d
  Colin Eles authored Oct 12, 2010
  830e560d
Oct 07, 2010
- have a mode working where tool will generate a theory using the simulink... · 526ae04a
  Colin Eles authored Oct 07, 2010
  526ae04a
- can now figure out compiled types of code block, could now use these types for... · 8af291be
  Colin Eles authored Oct 07, 2010
  8af291be
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
- latest updates of getting code ready for release · 723c0460
  Colin Eles authored Sep 20, 2010
  723c0460
- preparing code for release, cleaning and commenting · a9572dc0
  Colin Eles authored Sep 20, 2010
  a9572dc0
Sep 16, 2010
- fixed some bugs in undo/redo · d392fb7f
  Colin Eles authored Sep 16, 2010
  d392fb7f
Sep 15, 2010
- some files I forgot to add · f096f3f5
  Colin Eles authored Sep 15, 2010
  f096f3f5
- 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
Sep 02, 2010
- fixed some help file stuff · f5602166
  Colin Eles authored Sep 02, 2010
  f5602166
Aug 27, 2010
- forgot to add some files · 9d00ea6f
  Colin Eles authored Aug 27, 2010
  9d00ea6f
- startings of help files · d08f7e0d
  Colin Eles authored Aug 27, 2010
  d08f7e0d
Aug 26, 2010
- fixed multi output problems · d1ba1410
  Colin Eles authored Aug 26, 2010
  d1ba1410
Aug 17, 2010
- latest update · bda1be75
  Colin Eles authored Aug 17, 2010
  bda1be75
Aug 16, 2010
- multiple outputs for pvs supported, need to add gui element to select which mode · 3ad73b0d
  Colin Eles authored Aug 16, 2010
  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
  b3ea8731
Aug 12, 2010
- support for multiple outputs in simulink, toggle currently hardcoded need some... · a8cb82c2
  Colin Eles authored Aug 12, 2010
  a8cb82c2
- added typing to output for pvs purposes · 004091be
  Colin Eles authored Aug 12, 2010
  004091be
Aug 11, 2010
- latest update to table tool · 579ec4a7
  Colin Eles authored Aug 11, 2010
  579ec4a7
Aug 04, 2010
- forgot to add system check function · 372b2cae
  Colin Eles authored Aug 04, 2010
  372b2cae
Jul 29, 2010
- moved new directoried files to new file in trunk for simplicity · a86efb1d
  Colin Eles authored Jul 29, 2010
  a86efb1d