Commits · a1bd3b701efe9a2ae717670e7354dae3b832d3d6 · tables / 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
Aug 21, 2013
- Push the new CheckerGenerator through the whole codebase. · 7df7d7a4
  Matthew Dawson authored Aug 21, 2013
  7df7d7a4
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
Jun 19, 2012
- Fix issues with out of bounds issues. · 8126b8c6
  Matthew Dawson authored Jun 19, 2012
  8126b8c6
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 18, 2010
- added support for dependant subtypes, seems to work well with ones like the... · c5509d2a
  Colin Eles authored Nov 18, 2010
  c5509d2a
Nov 12, 2010
- fixed an issue with 1-d horizontal tables · 0ca04a93
  Colin Eles authored Nov 12, 2010
  0ca04a93
- gives proper error message if CVC not found, or other commandline errors · 2d32176d
  Colin Eles authored Nov 12, 2010
  2d32176d
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