Commits · f2e3628a90495c00fa7b1de8ca59126e472753fa · tables / jtet · GitLab

Sep 19, 2013
- Start implementing the SMTLIBGenerator for matlab syntax. · f2e3628a
  Matthew Dawson authored Sep 19, 2013
  f2e3628a
- Remove the GenerateVariableType from the CheckerGenerator interface. · 116b2a34
  Matthew Dawson authored Sep 19, 2013
  116b2a34
- Clean up the test output by removing some meaningless output. · 9a6e62e1
  Matthew Dawson authored Sep 19, 2013
  9a6e62e1
Sep 04, 2013
- Add proper parsing for the Matlab && operator. Required some reworking though. · 4fc72d37
  Matthew Dawson authored Sep 04, 2013
  4fc72d37
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
- Bring up the boolean type. · 144ca6ef
  Matthew Dawson authored Aug 21, 2013
  144ca6ef
- 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
May 01, 2013
- Fix some bugs, and allow unsigned integers. · d204eef7
  Matthew Dawson authored May 01, 2013
  d204eef7
- Working fixed point output. · 2d7a1d24
  Matthew Dawson authored May 01, 2013
  2d7a1d24
Apr 30, 2013
- Implement fixed point + parsing. · 8b8e0f74
  Matthew Dawson authored Apr 30, 2013
  8b8e0f74
- 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