Commits · 1fded5f62068d44d55aece4613de3e5ad3f08f43 · tables / jtet · GitLab

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
- Add some toString methods to help debugging. · 54cf6993
  Matthew Dawson authored Nov 15, 2013
  54cf6993
Sep 27, 2013
- Fix a bug when generating Binary Operations. · 96e09a93
  Matthew Dawson authored Sep 27, 2013
  96e09a93
- Massive change for type handling in expressions. · 17e787e8
  Matthew Dawson authored Sep 27, 2013
  17e787e8
Aug 30, 2013
- Since expression outputs are now actually defined, make use of this fact. · 7f99db01
  Matthew Dawson authored Aug 30, 2013
  7f99db01
Aug 21, 2013
- Add the necessary pieces to request the right type out of a binary expression. · 6ba1f037
  Matthew Dawson authored Aug 21, 2013
  6ba1f037
- Prepare for the new unary operation support with some renames. · 03892042
  Matthew Dawson authored Aug 21, 2013
  03892042
- Push the new CheckerGenerator through the whole codebase. · d0fe5ebb
  Matthew Dawson authored Aug 21, 2013
  d0fe5ebb
- Update the system with a CVC3Generator class. · 2c9bad7b
  Matthew Dawson authored Aug 21, 2013
  2c9bad7b
Aug 06, 2013
- Initial refactoring for generic generator. · 604bc439
  Matthew Dawson authored Aug 06, 2013
  604bc439
May 17, 2013
- Fix up expressions to work with arbritrary expressions. · 2224ef27
  Matthew Dawson authored May 17, 2013
  2224ef27
May 01, 2013
- Working fixed point output. · 2d7a1d24
  Matthew Dawson authored May 01, 2013
  2d7a1d24
Apr 30, 2013
- Have CVC3 output handle types. · c9f0a14d
  Matthew Dawson authored Apr 30, 2013
  c9f0a14d
- Start adding types to everything. · de2ede43
  Matthew Dawson authored Apr 30, 2013
  de2ede43
Apr 27, 2013
- Handle first run of matlab parsing. · aad8b83f
  Matthew Dawson authored Apr 27, 2013
  aad8b83f
Apr 21, 2013
- Add in support for generating CVC3 from matlab tree. · 3b8505c6
  Matthew Dawson authored Apr 21, 2013
  3b8505c6