Commits · 7f7d7b5652ce88b4d79b3f739802854b540ec770 · Curtis Milo / tet · GitLab

Jan 20, 2015
- Update to match latest breaking change in jTET. · 7f7d7b56
  Matthew Dawson authored Jan 20, 2015
  7f7d7b56
Nov 22, 2014
- Started working on generating EventB projects from tabular expressions. · bf57899c
  Yanjun Jiang authored Nov 21, 2014 and Matthew Dawson committed Nov 22, 2014
  bf57899c
Nov 21, 2014
- Documentation fixups. · b5fdb3be
  Yanjun Jiang authored Nov 21, 2014 and Matthew Dawson committed Nov 21, 2014
  b5fdb3be
- Fix the enumeration type name error in TET file. · 379080bf
  Yanjun Jiang authored Nov 14, 2014 and Matthew Dawson committed Nov 21, 2014
  379080bf
Nov 04, 2014
- Fix TET to work against latest jTET VariableType->Type rename. · eb6ea5bb
  Matthew Dawson authored Nov 04, 2014
  eb6ea5bb
Oct 26, 2014
- Move CVC3 to use the table name for its generated file. · 05654341
  Matthew Dawson authored Oct 26, 2014
  05654341
- Fix up CVC3 generator to work against the latest jTET. · e616118d
  Matthew Dawson authored Oct 26, 2014
  e616118d
- Add tests for output grid, and update its code. · 47cc67ca
  Matthew Dawson authored Oct 26, 2014
  47cc67ca
Oct 25, 2014
- Add necessary tests to verify left grid conversions. · 0b4c411c
  Matthew Dawson authored Oct 25, 2014
  0b4c411c
- Add a test for the top grid. · 9905fb8e
  Matthew Dawson authored Oct 25, 2014
  9905fb8e
- Properly test and parse single output table variables. · 855f8f41
  Matthew Dawson authored Oct 25, 2014
  855f8f41
- Move the jTET loading logic to its own function. · 0bdf7b31
  Matthew Dawson authored Oct 25, 2014
  0bdf7b31
Oct 24, 2014
- Bring back testData as TestData. · 7f0c9804
  Matthew Dawson authored Oct 24, 2014
  7f0c9804
- Update the testEMLGenerator to work with the new MATLAB unit tests. · 037b5ca3
  Matthew Dawson authored Oct 24, 2014
  037b5ca3
- Update .gitignore. · a2fb06f0
  Matthew Dawson authored Oct 24, 2014
  a2fb06f0
- Remove some old test files that have nothing useful in them. · 02dcb468
  Matthew Dawson authored Oct 24, 2014
  02dcb468
- Mute extraneous output from EMLGenerator.generate_preamble. · 499636d8
  Matthew Dawson authored Oct 24, 2014
  499636d8
- 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