|
Changes
- Use EST fei generation.
(details)
- Update manifest.mf.
(details)
- Remove unused dep.
(details)
- Remove unused code.
(details)
- Remove nebula and sirius refs.
(details)
- Handle context in nuxmv/xsap operations.
(details)
- Fix FMEAXSapHandler call.
(details)
Changes in dependency
- org.polarsys.chess.chessmlprofile Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.smvExporter Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.contracts.integration Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.core Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.validator Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.contracts.validation Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.contracts.profile Success
#8
→
Success
#9
(detail)
- org.polarsys.chess.service Success
#8
→
Success
#9
(detail)
|