Commits · c9f0a14dd475204ce3d0265ba9d2cb7185765172 · tables / jtet · GitLab

Apr 30, 2013
- Start adding types to everything. · de2ede43
  Matthew Dawson authored Apr 30, 2013
  de2ede43
Apr 27, 2013
- Move public tests to a different package to verify class availability. · 70d7c364
  Matthew Dawson authored Apr 27, 2013
  70d7c364
Apr 21, 2013
- Add in support for generating CVC3 from matlab tree. · 3b8505c6
  Matthew Dawson authored Apr 21, 2013
  3b8505c6
Apr 19, 2013
- Put in work so far. Now capable of dealing with default types. · 8f6ff3fe
  Matthew Dawson authored Apr 19, 2013
  8f6ff3fe