All tables contain MATLAB syntax in TET.  Thus always parse cells using
the MatlabParser class.

Yanjun Jiang authored Nov 21, 2014 and Matthew Dawson committed Nov 22, 2014

This is a whole bunch of combined commits. The main features supported in
the version are: support four kinds of tool modes(buttons to select from
refinement/no refinement modes and single/multiple outputs modes),support
enumeration type.

Yanjun Jiang authored Nov 21, 2014 and Matthew Dawson committed Nov 21, 2014

Fixup documentation to match actual reality, instead of being an ugly copy
and paste error.

Yanjun Jiang authored Nov 14, 2014 and Matthew Dawson committed Nov 21, 2014

The enumeration type class name should be EnumerationType now. The
old EnumerationVariableType is outdated. Therefore fix it.

Fix the one reference to type information in TET to match the new naming
convention.

Instead of special parsing the function name, use the table name as the CVC3
file's name.  Eventually it will be parsed the same anyways.  Also avoid
setting the filename after using it, avoiding unnecessary duplication.

This moves CVC3's generator to use the new Table based system, making use of
the generic table conversion function.

Add a test for the output grid, and update the output grid conversion as
appropriate.  Also mute unnecessary output.

Tables are now fully converted, if they are single output left grid only
tables.  Tests are now in place ensuring proper conversion.

Left grid is now successfully converted.  The old conversion function is now
updated to match the new jTET system.

Also silence the conversion function, extra output is not nice.

Add a test for this table.  Since the top grid is empty, this test is also
always empty.  Yay!

Setup a simple test and properly deal with single output tables that use a
real output type.

Make it easier for the test suite to run by moving the loading logic out to
its own function.  This allows multiple entry points to the TET code to be
handled easily.

This one was just mainly an update, no actual issues were found (yet).

Also remove the testConstructor test, as it did nothing useful.

Bring back testEMLGenerator as EMLGeneratorTest, updating it for the new
test suite functionality.

Ignore backup files ending with ~, they are generated by MATLAB and useless.

Some old files in the Tests folder do nothing useful.  Thus, just purge them.

Some old debug output was coming out of generate_preamble.  Mute the output,
leaving in the assignments as they are used.

Since the EMLGenerator doesn't need the full work of VariableCollection,
have it directly access the variables from a PartialVariableCollection.

Put in the first step of the TET -> jTET converter (giving the table a name).

Also start a test framework using the new MATLAB test framework.  Currently
targeting R2013a, so new parameterized tests.

Fix up obvious errors on TET launch from CVC3 generator work.  TET itself
remains broken.

To support enumerations, jTET needs to know about the contents of the
enumeration.  TET now provides a function to do show, taking in the name of
an enumeration, and registering the various details with jTET automatically.

Conflicts:
	@GUI/GUI.m

Update version numbers for critical update to 0.7.3.

When adding new inputs to a TET block, it was possible that the port numbers
would no longer line up between the code block and the outer input ports on
the TET block.  This would cause Simulink models to appear to be hooked up
correctly, but misbehave when actually run.

Fix by ensuring ports are always correct on save.  Both existing ports and
new ports are always numbered to match the internal port numbers on the code
block.  Existing connections are maintained as expected.

Due to this change, it is possible that on saving a TET block connections will
be re-arranged.  Note that these connections will have been incorrect and need
adjustment anyways.

Purge and sanitize table storage format

This is a patch against the latest stable to prepare it for the SimCheck work.  Currently the table has a mixture of how text entries are stored, for no apparent reason.  Examples include this mixture, so it does appear to be a useless difference.  This version introduces a way to upgrade tables, and makes use of that to remove a redundant cell array for TE's generated with the tool.  There should be no functional difference.

Also, this includes a commit to remove changes that would occur to the table upon an open/close cycle, even though the table wouldn't actually change.  This just makes the table behave better in the context of a SCM.

I've updated the version numbers, and it would be good to get this out there now so that the SimCheck work can be used against tables sooner, without having to re-save as many tables.

Remove the jTET from here, as it exists as a standalone library
now.

Rename the java components to jTET, and move the package to ca.mcscert.jtet

As discussed, do the various renames.  I'd like to do this once, so I want to get it checked off before causing further disturbances.

As discussed, do the package rename now.  All MATLAB code is adjusted as necessary,
all java tests pass, and the quadratic example continues to typecheck, as
expected.

As discussed, rename Matlab2SMT to jTET.  Matlab2SMT is a bad name for the
java project, and with its imminent removal first rename it to avoid breakage
in MATLAB code.

Matlab2SMT is moving towards being a real library.  Thus delete the useless
App class that makes it look like a library.  Its only useful function can
be done manually anyways.

To comply with MATLAB Central's license policy, change all files to be BSD
licenced.  Also add a LICENCE file to the root of the project folder, to
make it more obvious the code is 3 clause BSD.  The Licence text is copied
from MATLAB Central.

Update all version numbers to 0.7.2 for release.  Also update my copyright
to the current year.

Since the storage format has changed, update the examples to match.
Also downgrade all samples to work against MATLAB 2010a, since they
seem to have been originally created for it.

The TET now has a mechanism to upgrade TE blocks to the latest data structures,
though backwards compatibility is not currently dealt with.
Also clear unneeded cell arrays that held text.  I'm not sure why that existed,
 and at least the quadratic example has both cell and non-cell arrays for
holding the text, speaking to the uselessness of the array.  Thus remove the
array as an upgrade mechanism.  This shrinks down the size of the TE blocks
some too!

When the table is closed, there is lots of unnecessary data being stored in
the block, all of which changes on the next load.  Remove that data before
closing, to try and avoid changing the underlying storage, making the TET
friendlier to SCMs.

Add in a converter function that converts Matlab 2d grids to the java representaion.
Do to the ugliness of the Matlab system, there a ton of resizes going on. Also,
the code is completely untested, but works in theory.

Add a 2d grid to the java code.  It uses List<> to make the 2d grid itself,
but hides all implementation details, to allow for future modifications.

Update antlr4 version to 4.2.2, and apache commons to 3.3.2.  Also fully
specify all plugin versions.  While the latest should be used by maven,
experience shows this is always the case.  Thus verify everything.

We have files to ignore, so share the ignore file!

Conflicts:
	@GUI/GUI.m