Commits · d997d896d40e5bc00e9e0072ce9a3eecafa8fe90 · tables / jtet · GitLab

Feb 25, 2014
- Make the variables be held in a proper class. · c6dbdcbc
  Matthew Dawson authored Feb 25, 2014
  c6dbdcbc
Nov 15, 2013
- Add the exponent operator. · 1df9d6b9
  Matthew Dawson authored Nov 15, 2013
  1df9d6b9
- Add support for the implication operator. · 9c713518
  Matthew Dawson authored Nov 15, 2013
  9c713518
- Handle variable predicates in the generators. · 124402b2
  Matthew Dawson authored Nov 15, 2013
  124402b2
- Implement the NotEquals operator. · bfacefd7
  Matthew Dawson authored Nov 15, 2013
  bfacefd7
- Rename all expression pieces to not mention Matlab explicitly. · 2d0e7606
  Matthew Dawson authored Nov 15, 2013
  2d0e7606
- Make VariableParser into a static only class. · 0d7bdaae
  Matthew Dawson authored Nov 15, 2013
  0d7bdaae
- 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
- Implement other important math operators for SMTLIB. · 663dd0de
  Matthew Dawson authored Sep 27, 2013
  663dd0de
- Massive change for type handling in expressions. · 17e787e8
  Matthew Dawson authored Sep 27, 2013
  17e787e8
Sep 19, 2013
- SMT-LIB requires real literals to have a decimal point. So we do that. · 55ef62af
  Matthew Dawson authored Sep 19, 2013
  55ef62af
- Implement most of the important matlab -> smtlib generation code. · b75ffb25
  Matthew Dawson authored Sep 19, 2013
  b75ffb25
- Start implementing the SMTLIBGenerator for matlab syntax. · f2e3628a
  Matthew Dawson authored Sep 19, 2013
  f2e3628a