Commits · 248c951a2f23d64183718fd0a5696696b6ee8cf1 · tables / jtet · GitLab

Sep 27, 2013
- Add a system to change the start of the TCC numbering for CVC3. · 248c951a
  Matthew Dawson authored Sep 27, 2013
  248c951a
- 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
- Test simple parsing of operators. · 8b8d9c2a
  Matthew Dawson authored Sep 27, 2013
  8b8d9c2a
Sep 19, 2013
- SampleValues has to be public in CheckerRunnerResult for Matlab. · 44f9c253
  Matthew Dawson authored Sep 19, 2013
  44f9c253
- Handle the case when no complete queries exist in the grid walker. · 37749598
  Matthew Dawson authored Sep 19, 2013
  37749598
- In the smtlib grid generator test, don't mention cvc3. · 1a349538
  Matthew Dawson authored Sep 19, 2013
  1a349538
- Implement a z3 runner. · c4bae550
  Matthew Dawson authored Sep 19, 2013
  c4bae550
- Add a utility class to hold checker results. · 984056ae
  Matthew Dawson authored Sep 19, 2013
  984056ae
- When parsing Matlab code, make sure the parsed code always ends in a newline. · 6e700218
  Matthew Dawson authored Sep 19, 2013
  6e700218
- Rename smtlibgenerator to smtlibchecker. · 5a9fe5d0
  Matthew Dawson authored Sep 19, 2013
  5a9fe5d0
- First run at SMT-LIB generated table test. · 3206e6d5
  Matthew Dawson authored Sep 19, 2013
  3206e6d5
- 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
- Move the cvc3generator package out of tablularexpression. · 1a3222fe
  Matthew Dawson authored Sep 19, 2013
  1a3222fe
- Completely replace CVC generation into the java side. · 360ca992
  Matthew Dawson authored Sep 19, 2013
  360ca992
- Add initial support for CVC3 file generation in java. · d2baf897
  Matthew Dawson authored Sep 19, 2013
  d2baf897
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