Commits · 406f226e46a4d381c58d0852c7b2c45a3b062096 · tables / jtet · GitLab

May 20, 2014
- Rename the jTET package to ca.mcscert.jtet. · 406f226e
  Matthew Dawson authored May 20, 2014
  406f226e
May 16, 2014
- Change licence over Matlab2SMT project to 3 clause BSD. · f756c9cb
  Matthew Dawson authored May 16, 2014
  f756c9cb
Apr 30, 2014
- Add a 2d grid to the java side of the code. · 507774c0
  Matthew Dawson authored Apr 30, 2014
  507774c0
Apr 25, 2014
- Make sure enumerated types are only emitted once. · 9f6821a8
  Matthew Dawson authored Apr 25, 2014
  9f6821a8
- In the CheckerRunnerResult tests, use a LinkedHashMap to ensure ordering. · db01bb16
  Matthew Dawson authored Apr 25, 2014
  db01bb16
- Variables really should be emitted in declared order. · fbc8affb
  Matthew Dawson authored Apr 25, 2014
  fbc8affb
- Add support for generating enumeration types. · 3e8fa798
  Matthew Dawson authored Apr 25, 2014
  3e8fa798
- Make sure the FixedPointTypeVariableTypeTest is properly run by JUnit4. · d997d896
  Matthew Dawson authored Apr 25, 2014
  d997d896
- Remove the test for the App class. · 915837b9
  Matthew Dawson authored Apr 25, 2014
  915837b9
- Make the enumeration variable type take a name parameter to name the custom type. · 048ac8cf
  Matthew Dawson authored Apr 25, 2014
  048ac8cf
Feb 25, 2014
- Rename GenericGeneratorTest to GenericOperationGeneratorTest · 7453d3da
  Matthew Dawson authored Feb 25, 2014
  7453d3da
- 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
Sep 30, 2013
- Handle negative and fractional outputs from SMTLIB. · 01b5369e
  Matthew Dawson authored Sep 30, 2013
  01b5369e
Sep 27, 2013
- CVC3 doesn't allow decimal points, thus always use fractions. · d8d600e2
  Matthew Dawson authored Sep 27, 2013
  d8d600e2
- Add a system to change the start of the TCC numbering for CVC3. · 248c951a
  Matthew Dawson authored Sep 27, 2013
  248c951a
- Finish testing fixed point support for CVC3. · a09331a5
  Matthew Dawson authored Sep 27, 2013
  a09331a5
- Start implementing fixed point back again with *all* the operators. · a4c52b62
  Matthew Dawson authored Sep 27, 2013
  a4c52b62
- Implement Real operators for CVC3 generation. · 19d00816
  Matthew Dawson authored Sep 27, 2013
  19d00816
- 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
- Implement parsing for all important binary operators. · fe1891b2
  Matthew Dawson authored Sep 27, 2013
  fe1891b2
- Test simple parsing of operators. · 8b8d9c2a
  Matthew Dawson authored Sep 27, 2013
  8b8d9c2a
Sep 19, 2013
- Handle the case when no complete queries exist in the grid walker. · 37749598
  Matthew Dawson authored Sep 19, 2013
  37749598
- In the smtlib grid generator test, don't mention cvc3. · 1a349538
  Matthew Dawson authored Sep 19, 2013
  1a349538