Commits · a09331a5e658b780afde990d92ff1712eeeacab8 · tables / jtet · GitLab

Sep 27, 2013
- Finish testing fixed point support for CVC3. · a09331a5
  Matthew Dawson authored Sep 27, 2013
  a09331a5
- Fix a bug when generating Binary Operations. · 96e09a93
  Matthew Dawson authored Sep 27, 2013
  96e09a93
- Start implementing fixed point back again with *all* the operators. · a4c52b62
  Matthew Dawson authored Sep 27, 2013
  a4c52b62
- Remove useless output from MatlabParser now. · 9d36304b
  Matthew Dawson authored Sep 27, 2013
  9d36304b
- Implement Real operators for CVC3 generation. · 19d00816
  Matthew Dawson authored Sep 27, 2013
  19d00816
- Implement other important math operators for SMTLIB. · 663dd0de
  Matthew Dawson authored Sep 27, 2013
  663dd0de
- Massive change for type handling in expressions. · 17e787e8
  Matthew Dawson authored Sep 27, 2013
  17e787e8
- Implement parsing for all important binary operators. · fe1891b2
  Matthew Dawson authored Sep 27, 2013
  fe1891b2
Sep 19, 2013
- When parsing Matlab code, make sure the parsed code always ends in a newline. · 6e700218
  Matthew Dawson authored Sep 19, 2013
  6e700218
- SMT-LIB requires real literals to have a decimal point. So we do that. · 55ef62af
  Matthew Dawson authored Sep 19, 2013
  55ef62af
- Implement most of the important matlab -> smtlib generation code. · b75ffb25
  Matthew Dawson authored Sep 19, 2013
  b75ffb25
- 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
- Start adding support for the Boolean and operation. · 37c2aecb
  Matthew Dawson authored Sep 04, 2013
  37c2aecb
Aug 30, 2013
- Correct CVC3's equality operator. · 9b853d98
  Matthew Dawson authored Aug 30, 2013
  9b853d98
- Since expression outputs are now actually defined, make use of this fact. · 7f99db01
  Matthew Dawson authored Aug 30, 2013
  7f99db01
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
- Equals has an infix operator. Thus use it. · 0585349c
  Matthew Dawson authored Aug 21, 2013
  0585349c
- Add then add support for prefix unary operations. · 370accd0
  Matthew Dawson authored Aug 21, 2013
  370accd0
- Prepare for the new unary operation support with some renames. · 03892042
  Matthew Dawson authored Aug 21, 2013
  03892042
- 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
Aug 06, 2013
- Initial refactoring for generic generator. · 604bc439
  Matthew Dawson authored Aug 06, 2013
  604bc439
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
- Remove test grammar, it is junk now. · 6c1924d7
  Matthew Dawson authored Apr 30, 2013
  6c1924d7
- 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
- First run full integration. · 7610efe4
  Matthew Dawson authored Apr 27, 2013
  7610efe4
- Add missing interface from previous commit. · 4fe511e0
  Matthew Dawson authored Apr 27, 2013
  4fe511e0
- Handle first run of matlab parsing. · aad8b83f
  Matthew Dawson authored Apr 27, 2013
  aad8b83f
Apr 21, 2013
- Add a literal class. · d205c09e
  Matthew Dawson authored Apr 21, 2013
  d205c09e
- Add in support for generating CVC3 from matlab tree. · 3b8505c6
  Matthew Dawson authored Apr 21, 2013
  3b8505c6
Apr 20, 2013
- Matlab parsing. · fdc4ccbb
  Matthew Dawson authored Apr 20, 2013
  fdc4ccbb
Apr 19, 2013
- Put in work so far. Now capable of dealing with default types. · 8f6ff3fe
  Matthew Dawson authored Apr 19, 2013
  8f6ff3fe