Commits · 370ad2b8811e77b5f834aee85c1bc7f1f9b2644f · Curtis Milo / tet · GitLab

Sep 27, 2013
- When combining queries, combine them in Java, not matlab. · 370ad2b8
  Matthew Dawson authored Sep 27, 2013
  370ad2b8
- Add a system to change the start of the TCC numbering for CVC3. · a3731e92
  Matthew Dawson authored Sep 27, 2013
  a3731e92
Sep 19, 2013
- Fix up some breakage caused by moving the cvc3generator package. · 81ccd279
  Matthew Dawson authored Sep 19, 2013
  81ccd279
- Completely replace CVC generation into the java side. · 1d21ee1f
  Matthew Dawson authored Sep 19, 2013
  1d21ee1f
Aug 30, 2013
- Since expression outputs are now actually defined, make use of this fact. · 510eb1e3
  Matthew Dawson authored Aug 30, 2013
  510eb1e3
Aug 21, 2013
- Push the new CheckerGenerator through the whole codebase. · 7df7d7a4
  Matthew Dawson authored Aug 21, 2013
  7df7d7a4
May 01, 2013
- Why rats why? · d07a3090
  Matthew Dawson authored May 01, 2013
  d07a3090
- Make matlab work. Broke inputs checking but it generally seems ok. · eea4585e
  Matthew Dawson authored May 01, 2013
  eea4585e
Apr 27, 2013
- First run full integration. · 1fbe2092
  Matthew Dawson authored Apr 27, 2013
  1fbe2092
- Add first run at integration, doing variables. · 5d506540
  Matthew Dawson authored Apr 27, 2013
  5d506540
Mar 28, 2013
- Deal with random LD_LIBRARY_PATH additions from matlab. · f9e4c022
  Matthew Dawson authored Mar 28, 2013
  f9e4c022
Jun 19, 2012
- Fix issues with out of bounds issues. · 8126b8c6
  Matthew Dawson authored Jun 19, 2012
  8126b8c6
Jun 15, 2012
- Handle some multiline inputs. · 1d2ec29f
  Matthew Dawson authored Jun 15, 2012
  1d2ec29f
Apr 14, 2011
- latest update, updated help files · d1413759
  Colin Eles authored Apr 14, 2011
  d1413759
Mar 09, 2011
- fixed error with coping pvs/prf files · 9aeff3d5
  Colin Eles authored Mar 09, 2011
  9aeff3d5
Mar 07, 2011
- 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
Jan 05, 2011
- suppress output on line · 58c948f8
  Colin Eles authored Jan 05, 2011
  58c948f8
- fixed a small but major bug which I didn't notice before affected checking... · 0facd9e1
  Colin Eles authored Jan 05, 2011
  0facd9e1
Dec 14, 2010
- added some comments, readying for release · bbdc4b86
  Colin Eles authored Dec 14, 2010
  bbdc4b86
Dec 02, 2010
- suppressed output so that stuff does not print to command window when using tool, used new utility · 863f90a8
  Colin Eles authored Dec 02, 2010
  863f90a8
Nov 19, 2010
- no longer runs COUNTERMODEL everytime, actually didn't even need to do the... · a32b4a99
  Colin Eles authored Nov 19, 2010
  a32b4a99
- example model · 76ebae7f
  Colin Eles authored Nov 19, 2010
  76ebae7f
Nov 18, 2010
- added support for dependant subtypes, seems to work well with ones like the... · c5509d2a
  Colin Eles authored Nov 18, 2010
  c5509d2a
- added rationalization support · bcabe7a3
  Colin Eles authored Nov 18, 2010
  bcabe7a3
Nov 17, 2010
- latest update · 31f8cc9a
  Colin Eles authored Nov 17, 2010
  31f8cc9a
Nov 12, 2010
- fixed an issue with 1-d horizontal tables · 0ca04a93
  Colin Eles authored Nov 12, 2010
  0ca04a93
- now gives proper error if cvc sees theory is incomplete, ie. if there are non-linear formulas. · 0dd1d306
  Colin Eles authored Nov 12, 2010
  0dd1d306
- gives proper error message if CVC not found, or other commandline errors · 2d32176d
  Colin Eles authored Nov 12, 2010
  2d32176d
Nov 11, 2010
- minor update · ce17e33a
  Colin Eles authored Nov 11, 2010
  ce17e33a
- 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