Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add SM2py command. (details)
  2. Remove unused acceleo deps. (details)
  3. Handle context in nuxmv/xsap operations. (details)
Commit 874aa5bbad88188ad6bf14518abf79246ebf6145 by Alberto Debiasi
Add SM2py command.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToK2FileCommand.java
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToPythonFileCommand.java
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/utils/PythonDirectoryUtil.java
Commit e3664ec9ddadda82b5bceaadbf7389b8060a1e35 by Alberto Debiasi
Remove unused acceleo deps.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF
The file was modified plugins/org.polarsys.chess.m2m/META-INF/MANIFEST.MF
Commit 9f62c03329bf89d0f36731b4d01fcb2f06023cd0 by Alberto Debiasi
Handle context in nuxmv/xsap operations.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FTAXSapHandler.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/ModelCheckingOnFileCommand.java