Commits · 9c73b7be566da63b2dfcb5598c8ae66eb4295577 · tables / jtet · GitLab

May 20, 2014
- Remove the useless App class. · 1fded5f6
  Matthew Dawson authored May 20, 2014
  1fded5f6
May 16, 2014
- Change licence over Matlab2SMT project to 3 clause BSD. · f756c9cb
  Matthew Dawson authored May 16, 2014
  f756c9cb
Apr 25, 2014
- Make sure enumerated types are only emitted once. · 9f6821a8
  Matthew Dawson authored Apr 25, 2014
  9f6821a8
- Add support for generating enumeration types. · 3e8fa798
  Matthew Dawson authored Apr 25, 2014
  3e8fa798
- 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
- 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
- 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 subtype predicate parsing. · e26861dc
  Matthew Dawson authored Nov 15, 2013
  e26861dc
- Implement the NotEquals operator. · bfacefd7
  Matthew Dawson authored Nov 15, 2013
  bfacefd7
- Move some forgotten Matlab specific code into its parser. · 0454753a
  Matthew Dawson authored Nov 15, 2013
  0454753a
- 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