Commits · ca6b73f729edb4738191d4d813c0ae8f597cad48 · Curtis Milo / tet · GitLab

Sep 19, 2013
- In the smtlib grid generator test, don't mention cvc3. · ca6b73f7
  Matthew Dawson authored Sep 19, 2013
  ca6b73f7
- Implement a z3 runner. · e099404a
  Matthew Dawson authored Sep 19, 2013
  e099404a
- Add a utility class to hold checker results. · 6e9bbbd0
  Matthew Dawson authored Sep 19, 2013
  6e9bbbd0
- When parsing Matlab code, make sure the parsed code always ends in a newline. · b683080f
  Matthew Dawson authored Sep 19, 2013
  b683080f
- Rename smtlibgenerator to smtlibchecker. · f5d9a802
  Matthew Dawson authored Sep 19, 2013
  f5d9a802
- Fix up some breakage caused by moving the cvc3generator package. · 81ccd279
  Matthew Dawson authored Sep 19, 2013
  81ccd279
- First run at SMT-LIB generated table test. · 1bb332a8
  Matthew Dawson authored Sep 19, 2013
  1bb332a8
- SMT-LIB requires real literals to have a decimal point. So we do that. · 4b923fad
  Matthew Dawson authored Sep 19, 2013
  4b923fad
- Implement most of the important matlab -> smtlib generation code. · ca19972b
  Matthew Dawson authored Sep 19, 2013
  ca19972b
- Start implementing the SMTLIBGenerator for matlab syntax. · 161060a0
  Matthew Dawson authored Sep 19, 2013
  161060a0
- Remove the GenerateVariableType from the CheckerGenerator interface. · 886bbbd0
  Matthew Dawson authored Sep 19, 2013
  886bbbd0
- Clean up the test output by removing some meaningless output. · af168534
  Matthew Dawson authored Sep 19, 2013
  af168534
- Move the cvc3generator package out of tablularexpression. · f4a4f427
  Matthew Dawson authored Sep 19, 2013
  f4a4f427
- Completely replace CVC generation into the java side. · 1d21ee1f
  Matthew Dawson authored Sep 19, 2013
  1d21ee1f
- Add initial support for CVC3 file generation in java. · 4d5ae5bc
  Matthew Dawson authored Sep 19, 2013
  4d5ae5bc
Sep 04, 2013
- Add proper parsing for the Matlab && operator. Required some reworking though. · 62f90c24
  Matthew Dawson authored Sep 04, 2013
  62f90c24
- Start adding support for the Boolean and operation. · db502f3d
  Matthew Dawson authored Sep 04, 2013
  db502f3d
Aug 30, 2013
- Merge branch 'master' into TableTool_jmerge · bed9d045
  Matthew Dawson authored Aug 30, 2013
  bed9d045
- Correct CVC3's equality operator. · 314a0465
  Matthew Dawson authored Aug 30, 2013
  314a0465
- 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
- Equals has an infix operator. Thus use it. · 9631e2cb
  Matthew Dawson authored Aug 21, 2013
  9631e2cb
- Add then add support for prefix unary operations. · e6d0a923
  Matthew Dawson authored Aug 21, 2013
  e6d0a923
- Prepare for the new unary operation support with some renames. · e3ee7bc2
  Matthew Dawson authored Aug 21, 2013
  e3ee7bc2
- Bring up the boolean type. · 88cf739f
  Matthew Dawson authored Aug 21, 2013
  88cf739f
- 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
Jul 12, 2013
- Fix pvs check to work on numbers always, and work if the string changes. · e3b00992
  Matthew Dawson authored Jul 12, 2013
  e3b00992
Jul 05, 2013
- Add some documentation to the next script. · 6f501580
  Matthew Dawson authored Jul 05, 2013
  6f501580
- Regenerate the docs and include an easy to use script. · 5b38c971
  Matthew Dawson authored Jul 05, 2013
  5b38c971
Jul 04, 2013
- Fix help text. · c67bfccd
  Matthew Dawson authored Jul 04, 2013
  c67bfccd
Jul 02, 2013
- By default verify quadratic roots with pvs. · 01021058
  Matthew Dawson authored Jul 02, 2013
  01021058
- Update the quadratic roots example to make sense · 8eb456ae
  Matthew Dawson authored Jul 02, 2013
  8eb456ae
Jun 19, 2013
- Changing Table Tool to Tabular Expression Toolbox in about item of menu. · 07f37edb
  Mark Lawford authored Jun 19, 2013
  07f37edb
May 17, 2013
- Fix up expressions to work with arbritrary expressions. · 6ed48eef
  Matthew Dawson authored May 17, 2013
  6ed48eef
May 01, 2013
- Why rats why? · d07a3090
  Matthew Dawson authored May 01, 2013
  d07a3090
- Fix some bugs, and allow unsigned integers. · cab852ea
  Matthew Dawson authored May 01, 2013
  cab852ea
- Make matlab work. Broke inputs checking but it generally seems ok. · eea4585e
  Matthew Dawson authored May 01, 2013
  eea4585e
- Working fixed point output. · 2f0530cd
  Matthew Dawson authored May 01, 2013
  2f0530cd