Commits · 365b3fc7e838ca8c2b69932cd2d70c4eb558e868 · Curtis Milo / tet · GitLab

Sep 27, 2013
- Fix a bug when generating Binary Operations. · 365b3fc7
  Matthew Dawson authored Sep 27, 2013
  365b3fc7
- Massive change for type handling in expressions. · 6448830d
  Matthew Dawson authored Sep 27, 2013
  6448830d
Aug 30, 2013
- Since expression outputs are now actually defined, make use of this fact. · 510eb1e3
  Matthew Dawson authored Aug 30, 2013
  510eb1e3
Aug 21, 2013
- Add the necessary pieces to request the right type out of a binary expression. · b24b4df8
  Matthew Dawson authored Aug 21, 2013
  b24b4df8
- Prepare for the new unary operation support with some renames. · e3ee7bc2
  Matthew Dawson authored Aug 21, 2013
  e3ee7bc2
- Push the new CheckerGenerator through the whole codebase. · 7df7d7a4
  Matthew Dawson authored Aug 21, 2013
  7df7d7a4
- Update the system with a CVC3Generator class. · aae4765f
  Matthew Dawson authored Aug 21, 2013
  aae4765f
Aug 06, 2013
- Initial refactoring for generic generator. · 96088005
  Matthew Dawson authored Aug 06, 2013
  96088005
May 17, 2013
- Fix up expressions to work with arbritrary expressions. · 6ed48eef
  Matthew Dawson authored May 17, 2013
  6ed48eef
May 01, 2013
- Working fixed point output. · 2f0530cd
  Matthew Dawson authored May 01, 2013
  2f0530cd
Apr 30, 2013
- Have CVC3 output handle types. · 0856ff05
  Matthew Dawson authored Apr 30, 2013
  0856ff05
- Start adding types to everything. · ab0076af
  Matthew Dawson authored Apr 30, 2013
  ab0076af
Apr 27, 2013
- Handle first run of matlab parsing. · 4bef0afb
  Matthew Dawson authored Apr 27, 2013
  4bef0afb
Apr 21, 2013
- Add in support for generating CVC3 from matlab tree. · 34e99ffe
  Matthew Dawson authored Apr 21, 2013
  34e99ffe