Commits · 5b619c9f208c6345d7901ff862c7636da8cfc09b · tables / jtet · GitLab

May 20, 2014
- Rename the jTET package to ca.mcscert.jtet. · 406f226e
  Matthew Dawson authored May 20, 2014
  406f226e
Nov 15, 2013
- Rename all expression pieces to not mention Matlab explicitly. · 2d0e7606
  Matthew Dawson authored Nov 15, 2013
  2d0e7606
- Remove the matlab2smt, and create appropriate other packages. · 171008e5
  Matthew Dawson authored Nov 15, 2013
  171008e5
- Move all the java code to the package ca.mcmaster.cas.tabularexpressiontoolbox. · 13ee85a0
  Matthew Dawson authored Nov 15, 2013
  13ee85a0
Sep 27, 2013
- CVC3 doesn't allow decimal points, thus always use fractions. · d8d600e2
  Matthew Dawson authored Sep 27, 2013
  d8d600e2
Aug 21, 2013
- Prepare for the new unary operation support with some renames. · 03892042
  Matthew Dawson authored Aug 21, 2013
  03892042
- Update the system with a CVC3Generator class. · 2c9bad7b
  Matthew Dawson authored Aug 21, 2013
  2c9bad7b
May 01, 2013
- Working fixed point output. · 2d7a1d24
  Matthew Dawson authored May 01, 2013
  2d7a1d24
Apr 21, 2013
- Add in support for generating CVC3 from matlab tree. · 3b8505c6
  Matthew Dawson authored Apr 21, 2013
  3b8505c6
Apr 19, 2013
- Put in work so far. Now capable of dealing with default types. · 8f6ff3fe
  Matthew Dawson authored Apr 19, 2013
  8f6ff3fe