Commits · b1ba3ccdc47e95c159fc51a56b7f6ae4990ac8c3 · tables / jtet · GitLab

Feb 25, 2014
- Add support for the enumeration into the generators with tests. · b1ba3ccd
  Matthew Dawson authored Feb 25, 2014
  b1ba3ccd
- Add support for enumerated types into the parser and collection. · bbc2bc78
  Matthew Dawson authored Feb 25, 2014
  bbc2bc78
- Add initial support for unknown and custom types. · 96eae6f7
  Matthew Dawson authored Feb 25, 2014
  96eae6f7
- Make the variables be held in a proper class. · c6dbdcbc
  Matthew Dawson authored Feb 25, 2014
  c6dbdcbc
- Make VariableParser use an instance to allow for state information. · 0b19707a
  Matthew Dawson authored Feb 25, 2014
  0b19707a
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 subtype predicate parsing. · e26861dc
  Matthew Dawson authored Nov 15, 2013
  e26861dc
- Implement the NotEquals operator. · bfacefd7
  Matthew Dawson authored Nov 15, 2013
  bfacefd7
- To test the PVS parser, make the MatlabParserOperatorParseTest generic. · 1ca5f025
  Matthew Dawson authored Nov 15, 2013
  1ca5f025
- Add a simple PVS parser for use in subtyping. · fdabb422
  Matthew Dawson authored Nov 15, 2013
  fdabb422
- Rename all expression pieces to not mention Matlab explicitly. · 2d0e7606
  Matthew Dawson authored Nov 15, 2013
  2d0e7606
- Similar to VariableParser, also make MatlabParser a single static method. · a5bb9d3c
  Matthew Dawson authored Nov 15, 2013
  a5bb9d3c
- 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