Commits · 6ba1f037d32e0cea94fbaed3deca5a59528b4773 · tables / jtet · GitLab

Aug 21, 2013
- Add the necessary pieces to request the right type out of a binary expression. · 6ba1f037
  Matthew Dawson authored Aug 21, 2013
  6ba1f037
- Add then add support for prefix unary operations. · 370accd0
  Matthew Dawson authored Aug 21, 2013
  370accd0
- Push the new CheckerGenerator through the whole codebase. · d0fe5ebb
  Matthew Dawson authored Aug 21, 2013
  d0fe5ebb
- Update the system with a CVC3Generator class. · 2c9bad7b
  Matthew Dawson authored Aug 21, 2013
  2c9bad7b
May 17, 2013
- Fix up expressions to work with arbritrary expressions. · 2224ef27
  Matthew Dawson authored May 17, 2013
  2224ef27
Apr 30, 2013
- Have CVC3 output handle types. · c9f0a14d
  Matthew Dawson authored Apr 30, 2013
  c9f0a14d
- 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
- Handle first run of matlab parsing. · aad8b83f
  Matthew Dawson authored Apr 27, 2013
  aad8b83f
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