Commits · 7f673b868c3dc40fc5a011f893405c53d352acc9 · Curtis Milo / tet · GitLab

Oct 24, 2014
- Fix EMLGenerator.generate_preamble to work with PartialVariableCollection. · 7f673b86
  Matthew Dawson authored Oct 24, 2014
  7f673b86
- Start work on proper TET -> jTET converter. · 6de8a6eb
  Matthew Dawson authored Oct 24, 2014
  6de8a6eb
- Fix CVC3 generator errors on TET launch. · 38af793b
  Matthew Dawson authored Oct 23, 2014
  38af793b
Sep 10, 2014
- Add support for registering a Simulink Enumeration with jTET. · 59ea2617
  Matthew Dawson authored Sep 05, 2014
  59ea2617
Aug 14, 2014
- Merge branch 'master' into jtet_int · 168dbdd4
  Matthew Dawson authored Aug 14, 2014
  168dbdd4
Aug 12, 2014
- Update version to 0.7.3 · e16aee40
  Matthew Dawson authored Aug 11, 2014
  View commits for tag v0.7.3 v0.7.3
  
  e16aee40
- Fix critical bug that would mis-align port numbers. · e8118f0f
  Matthew Dawson authored Aug 11, 2014
  e8118f0f
May 23, 2014
- Merge branch 'purge_and_sanitize' into 'master' · 710fcdfa
  Mark Lawford authored May 23, 2014
  710fcdfa
May 20, 2014
- Remove jTET from this repository, since it exists elsewhere now. · e2975dd3
  Matthew Dawson authored May 20, 2014
  e2975dd3
- Merge branch 'rename_to_jtet' into 'TableTool_javization' · fbbbd641
  Mark Lawford authored May 20, 2014
  fbbbd641
- Rename the jTET package to ca.mcscert.jtet. · a8db2592
  Matthew Dawson authored May 20, 2014
  a8db2592
- Rename Matlab2SMT to jTET. · 3dbf1bdb
  Matthew Dawson authored May 20, 2014
  3dbf1bdb
- Remove the useless App class. · 49f3aad3
  Matthew Dawson authored May 20, 2014
  49f3aad3
May 16, 2014
- Change licence over Matlab2SMT project to 3 clause BSD. · 83505e1f
  Matthew Dawson authored May 16, 2014
  83505e1f
- Update version numbers for release. · 543c6389
  Matthew Dawson authored May 15, 2014
  543c6389
- Update the examples against the new upgrade/purge code. · 866f5873
  Matthew Dawson authored May 15, 2014
  866f5873
- Create a mechanism to upgrade the TET's data structures, and do some cleanup. · 423efd72
  Matthew Dawson authored May 15, 2014
  423efd72
May 15, 2014
- Avoid unnecessary changes to the Simulink block on saving. · 2e39f03e
  Matthew Dawson authored May 15, 2014
  2e39f03e
Apr 30, 2014
- Add in converter functions to convert from Matlab 2d grids to Java. · 12c5e504
  Matthew Dawson authored Apr 30, 2014
  12c5e504
- Add a 2d grid to the java side of the code. · 7be0b274
  Matthew Dawson authored Apr 30, 2014
  7be0b274
- Update versions in pom, and force latest versions for all plugins. · 6bfe26e7
  Matthew Dawson authored Apr 30, 2014
  6bfe26e7
Apr 29, 2014
- Since we are now in git, actually add my .gitignore. · 99c8d1e5
  Matthew Dawson authored Apr 28, 2014
  99c8d1e5
- Merge branch 'master' into TableTool_javization · 403e48fb
  Matthew Dawson authored Apr 28, 2014
  403e48fb
- Fix the matlab parser breaking horribly on case sensitive systems. · cce27ad9
  Matthew Dawson authored Apr 28, 2014
  cce27ad9
Apr 25, 2014
- Whitespace fix. · 557ce54d
  Matthew Dawson authored Apr 25, 2014
  
  557ce54d
- Make sure enumerated types are only emitted once. · 5a0a4664
  Matthew Dawson authored Apr 25, 2014
  5a0a4664
- In the CheckerRunnerResult tests, use a LinkedHashMap to ensure ordering. · 1159bc39
  Matthew Dawson authored Apr 25, 2014
  1159bc39
- Variables really should be emitted in declared order. · ddc2bb22
  Matthew Dawson authored Apr 25, 2014
  ddc2bb22
- Add support for generating enumeration types. · 46d66936
  Matthew Dawson authored Apr 25, 2014
  46d66936
- Make sure the FixedPointTypeVariableTypeTest is properly run by JUnit4. · b7f6f3a3
  Matthew Dawson authored Apr 25, 2014
  b7f6f3a3
- Remove the test for the App class. · 5967355d
  Matthew Dawson authored Apr 25, 2014
  5967355d
- Make the enumeration variable type take a name parameter to name the custom type. · c87e7b20
  Matthew Dawson authored Apr 25, 2014
  c87e7b20
Feb 25, 2014
- Rename GenericGeneratorTest to GenericOperationGeneratorTest · 4e23c3af
  Matthew Dawson authored Feb 25, 2014
  4e23c3af
- Add support for the enumeration into the generators with tests. · d802af4d
  Matthew Dawson authored Feb 25, 2014
  d802af4d
- Add support for enumerated types into the parser and collection. · f392484e
  Matthew Dawson authored Feb 25, 2014
  f392484e
- Add initial support for unknown and custom types. · e574db0d
  Matthew Dawson authored Feb 25, 2014
  e574db0d
- In Z3, handle an unknown result for check-sat. · 0a384c0a
  Matthew Dawson authored Feb 25, 2014
  0a384c0a
- When smtlib checks happen, handle the case of no sample values. · af7b830c
  Matthew Dawson authored Feb 25, 2014
  af7b830c
- Make the variables be held in a proper class. · 6d933caf
  Matthew Dawson authored Feb 25, 2014
  6d933caf
- Make VariableParser use an instance to allow for state information. · 8aa67421
  Matthew Dawson authored Feb 25, 2014
  8aa67421