Commits · 96eae6f7a1f834de78d3ed32b5c6848f9ab61d83

jtet
src
main
java
ca
mcmaster
cas
tabularexpressiontoolbox
expression
VariableCollection.java

Feb 25, 2014
- Make the variables be held in a proper class. · c6dbdcbc
  Matthew Dawson authored Feb 25, 2014
  c6dbdcbc
Nov 15, 2013
- 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
- Start implementing fixed point back again with *all* the operators. · a4c52b62
  Matthew Dawson authored Sep 27, 2013
  a4c52b62
- Massive change for type handling in expressions. · 17e787e8
  Matthew Dawson authored Sep 27, 2013
  17e787e8
Sep 19, 2013
- Add initial support for CVC3 file generation in java. · d2baf897
  Matthew Dawson authored Sep 19, 2013
  d2baf897

Loading