Commit 3dbf1bdb authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Rename Matlab2SMT to jTET. 

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.
parent 49f3aad3

.gitignore

+3 −3
Original line number Diff line number Diff line 
/Matlab2SMT/target/

/Matlab2SMT/gen/

/jTET/target/

/jTET/gen/

.idea/

.pvscontext

Matlab2SMT/Matlab2SMT.iml
 
/jTET/jtet.iml

TTdiag.m

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ function TTdiag(varargin) 


% First find the path.

path = mfilename('fullpath');

path = [path(1:size(path, 2)-6) 'Matlab2SMT/Matlab2SMT-1.0-SNAPSHOT-jar-with-dependencies.jar'];

path = [path(1:size(path, 2)-6) 'jTET/jtet-1.0-SNAPSHOT-jar-with-dependencies.jar'];



% Verify the jar isn't already in the classpath.

classpath = javaclasspath;

Matlab2SMT/pom.xml→jTET/pom.xml

+3 −3
Original line number Diff line number Diff line
@@ -5,12 +5,12 @@ 
        <maven>3.0</maven>

    </prerequisites>



    <groupId>ca.mcmaster.cas.tabularexpressiontoolbox</groupId>

    <artifactId>Matlab2SMT</artifactId>

    <groupId>ca.mcscert.jtet</groupId>

    <artifactId>jtet</artifactId>

    <version>1.0-SNAPSHOT</version>

    <packaging>jar</packaging>



    <name>Matlab2SMT</name>

    <name>jTET</name>

    <url>http://maven.apache.org</url>



    <properties>

Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/cvc3generator/HierarchicalGridCVC3Generator.java→jTET/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/cvc3generator/HierarchicalGridCVC3Generator.java

+0 −0

File moved.

View file

Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/BinaryOperation.java→jTET/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/BinaryOperation.java

+0 −0

File moved.

View file