Commits · 44f9c253e24fd25d14a1a19553ea03485f675ead · tables / jtet · GitLab

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
- 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
- Rename smtlibgenerator to smtlibchecker. · 5a9fe5d0
  Matthew Dawson authored Sep 19, 2013
  5a9fe5d0