-
- Downloads
Change licence over Matlab2SMT project to 3 clause BSD.
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.
Showing
- LICENCE 24 additions, 0 deletionsLICENCE
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/cvc3generator/HierarchicalGridCVC3Generator.java 22 additions, 10 deletions...ntoolbox/cvc3generator/HierarchicalGridCVC3Generator.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/EnumerationVariableType.java 22 additions, 10 deletions...expressiontoolbox/expression/EnumerationVariableType.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/SMTLIBGenerator.java 22 additions, 10 deletions.../tabularexpressiontoolbox/expression/SMTLIBGenerator.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/VariableCollection.java 22 additions, 10 deletions...bularexpressiontoolbox/expression/VariableCollection.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/VariableTypeMarker.java 22 additions, 10 deletions...bularexpressiontoolbox/expression/VariableTypeMarker.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/smtlibchecker/CheckerRunner.java 22 additions, 10 deletions...tabularexpressiontoolbox/smtlibchecker/CheckerRunner.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/smtlibchecker/CheckerRunnerResult.java 22 additions, 10 deletions...rexpressiontoolbox/smtlibchecker/CheckerRunnerResult.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/smtlibchecker/HierarchicalGridSMTLIBGenerator.java 22 additions, 10 deletions...oolbox/smtlibchecker/HierarchicalGridSMTLIBGenerator.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/tablularexpression/HierarchcialGridCheckerGenerator.java 22 additions, 10 deletions.../tablularexpression/HierarchcialGridCheckerGenerator.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/tablularexpression/HierarchcialGridCheckerWalkerGenerator.java 22 additions, 10 deletions...larexpression/HierarchcialGridCheckerWalkerGenerator.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/tablularexpression/SubHierarchyFetcher.java 22 additions, 10 deletions...essiontoolbox/tablularexpression/SubHierarchyFetcher.java
- Matlab2SMT/src/main/java/ca/mcmaster/cas/tabularexpressiontoolbox/tablularexpression/TwoDimensionalGrid.java 22 additions, 10 deletions...ressiontoolbox/tablularexpression/TwoDimensionalGrid.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/cvc3generator/HierarchicalGridCVC3GeneratorTest.java 22 additions, 10 deletions...lbox/cvc3generator/HierarchicalGridCVC3GeneratorTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/EnumerationVariableTypeGenerationTest.java 22 additions, 10 deletions...box/expression/EnumerationVariableTypeGenerationTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/GenericOperationGeneratorTest.java 22 additions, 10 deletions...siontoolbox/expression/GenericOperationGeneratorTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/GenericVariableDeclarationGeneratorTest.java 22 additions, 10 deletions...x/expression/GenericVariableDeclarationGeneratorTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/expression/test/VariableCollectionTest.java 22 additions, 10 deletions...essiontoolbox/expression/test/VariableCollectionTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/parsers/test/ParserOperatorParseTest.java 22 additions, 10 deletions...pressiontoolbox/parsers/test/ParserOperatorParseTest.java
- Matlab2SMT/src/test/java/ca/mcmaster/cas/tabularexpressiontoolbox/smtlibchecker/CheckerRunnerResultTest.java 22 additions, 10 deletions...ressiontoolbox/smtlibchecker/CheckerRunnerResultTest.java
Loading
Please register or sign in to comment