Merge branch '251-create-chess-bundle-via-maven' into 'master' (70f213d2) · Commits · Felicien IHIRWE / chess

Commit 70f213d2 authored 4 years ago by Alberto Debiasi

Merge branch '251-create-chess-bundle-via-maven' into 'master'

Resolve "Create CHESS Bundle via Maven"

Closes #251

See merge request CPS_Design/CHESS!59

parents 457e3ed8 0c929ab8

No related branches found

No related tags found

No related merge requests found

Expand all Hide whitespace changes

Inline Side-by-side

Showing

org.polarsys.chess.parent/features/org.polarsys.chess.feature/.project 0 additions, 0 deletions

...chess.parent/features/org.polarsys.chess.feature/.project
org.polarsys.chess.parent/features/org.polarsys.chess.feature/build.properties 0 additions, 0 deletions

...rent/features/org.polarsys.chess.feature/build.properties
org.polarsys.chess.parent/features/org.polarsys.chess.feature/feature.xml 155 additions, 32 deletions

...ss.parent/features/org.polarsys.chess.feature/feature.xml
org.polarsys.chess.parent/features/org.polarsys.chess.feature/pom.xml 2 additions, 5 deletions

....chess.parent/features/org.polarsys.chess.feature/pom.xml
org.polarsys.chess.parent/features/pom.xml 3 additions, 0 deletions

org.polarsys.chess.parent/features/pom.xml
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.target.neon/eu.fbk.tools.aida.chess.target.neon.target 16 additions, 6 deletions

...ss.target.neon/eu.fbk.tools.aida.chess.target.neon.target
org.polarsys.chess.parent/releng/org.polarsys.chess.configuration/pom.xml 0 additions, 7 deletions

...ss.parent/releng/org.polarsys.chess.configuration/pom.xml
org.polarsys.chess.parent/releng/org.polarsys.chess.product/.project 17 additions, 0 deletions

...s.chess.parent/releng/org.polarsys.chess.product/.project
org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product 157 additions, 0 deletions

...ss.parent/releng/org.polarsys.chess.product/CHESS.product
org.polarsys.chess.parent/releng/org.polarsys.chess.product/pom.xml 117 additions, 0 deletions

...ys.chess.parent/releng/org.polarsys.chess.product/pom.xml
org.polarsys.chess.parent/releng/org.polarsys.chess.repository/.project 23 additions, 0 deletions

...hess.parent/releng/org.polarsys.chess.repository/.project
org.polarsys.chess.parent/releng/org.polarsys.chess.repository/category.xml 7 additions, 0 deletions

....parent/releng/org.polarsys.chess.repository/category.xml
org.polarsys.chess.parent/releng/org.polarsys.chess.repository/pom.xml 181 additions, 0 deletions

...chess.parent/releng/org.polarsys.chess.repository/pom.xml
org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target 41 additions, 39 deletions

...s.chess.target.neon/org.polarsys.chess.target.neon.target
org.polarsys.chess.parent/releng/pom.xml 12 additions, 1 deletion

org.polarsys.chess.parent/releng/pom.xml
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/main/generate.emtl 10948 additions, 0 deletions

...larsys/chess/contracts/transformations/main/generate.emtl
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/main/generateErrorModel.emtl 6762 additions, 0 deletions

...ss/contracts/transformations/main/generateErrorModel.emtl
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/main/generateFaultExtensions.emtl 3119 additions, 0 deletions

...ntracts/transformations/main/generateFaultExtensions.emtl
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/main/generateImplementation.emtl 1452 additions, 0 deletions

...ontracts/transformations/main/generateImplementation.emtl
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/.classpath 7 additions, 7 deletions

...ess.contracts.verificationService.test.runtime/.classpath

with 23019 additions and 97 deletions

Please register or to comment