Merge remote-tracking branch 'origin/devel' into 564973-enrich-entityUtil-methods
No related branches found
No related tags found
Showing
- CONTRIBUTING.md 5 additions, 6 deletionsCONTRIBUTING.md
- Documentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx 0 additions, 0 deletions...ESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SSR.notation 13 additions, 11 deletions...icationService.test.runtime/resources/SSR_fi/SSR.notation
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SSR.uml 13 additions, 11 deletions...verificationService.test.runtime/resources/SSR_fi/SSR.uml
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv 1 addition, 1 deletion...e/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv 8 additions, 8 deletions...untime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv
Loading
Please register or sign in to comment