Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
org.polarsys.chess.smvExporter
#61
Changes
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Success
Changes
Summary
Update dependences (in progress). (
details
)
Switch from Java 1.8 to 11. (
details
)
Change Java compiler (from 1.8 to 11). (
details
)
Commit c592521743455443e4ef2365957c96e98bb5c3f7 by
Alberto Debiasi
Update dependences (in progress).
The file was modified
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/docGenerators/CHESSBlockDefinitionDiagramModel.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
The file was modified
extra_plugins/org.eclipse.papyrus.uml.profile.tests/src/org/eclipse/papyrus/uml/profile/service/ReapplyProfilesServiceTest.java
The file was modified
plugins/org.polarsys.chess.checkers/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.OSSImporter/src/org/polarsys/chess/OSSImporter/core/utils/ChessElementsUtil.java
The file was modified
plugins/org.polarsys.chess.commands/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.m2m/src/org/polarsys/chess/m2m/handlers/PurgePSMHandler.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/src/org/polarsys/chess/contracts/hierarchicalContractView/listener/SelectionListener.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/AbstractXSapHandler.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/service/Service.java
The file was modified
plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportNominalSMsToSmvFilesCommand.java
The file was modified
extra_plugins/org.eclipse.papyrus.junit.utils/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/libs/ActionsLib.java
The file was modified
plugins/sba/org.polarsys.chess.statebased/src/org/polarsys/chess/statebased/StateBasedTransformationCommand.java
The file was modified
plugins/org.polarsys.chess.multicore/src/org/polarsys/chess/multicore/model/AbstractCommand.java
The file was modified
plugins/org.polarsys.chess.m2m/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/cleanc/CleanCEditor.java
The file was modified
plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java
The file was modified
plugins/mobius/org.polarsys.chess.mobius/src/org/polarsys/chess/mobius/handlers/TransformationHandler.java
The file was modified
plugins/org.polarsys.chess.patterns/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.cleanCExporter/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.codegen.ada/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/services/CHESSDiagramsGeneratorService.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/CHESSContractValidateAndRefineCommand.java
The file was modified
plugins/org.polarsys.chess.customEditors/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.wizards/META-INF/MANIFEST.MF
The file was modified
plugins/sba/org.polarsys.chess.statebased/src/org/polarsys/chess/statebased/StateBasedSourceProvider.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/src/org/polarsys/chess/contracts/contractEditor/CustomContractEditorTab.java
The file was modified
plugins/org.polarsys.chess.smvExporter/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.service/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.diagram.ui/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/managers/AddDiagramElement.java
The file was modified
plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/actions/ShowBDDElementsAction.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/src/org/polarsys/chess/contracts/contractPropertyManager/ui/profile/listener/PapyrusListener.java
The file was modified
plugins/org.polarsys.chess.OSSImporter/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/ocra/OcraPropertyEditor.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/layouts/IBDLayoutSetup.java
The file was modified
plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/src/org/polarsys/chess/functionBehaviors/functionBehaviorEditor/StartupClass.java
The file was modified
plugins/org.polarsys.chess.instance.view/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.OSSImporter/src/org/polarsys/chess/OSSImporter/core/actions/ImportOSSFileAction.java
The file was modified
plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/util/commands/AddDiagramElement.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/src/org/polarsys/chess/contracts/contractEditor/CustomContractEditorFilter.java
The file was modified
plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.validation/src/org/polarsys/chess/contracts/validation/CHESSContractValidationHandler.java
The file was modified
plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/constraints/Connector_03.java
The file was modified
extra_plugins/org.eclipse.papyrus.uml.profile.tests/src/org/eclipse/papyrus/uml/profile/tests/DialogInteractionRule.java
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/managers/ModelManager.java
The file was modified
plugins/mobius/org.polarsys.chess.mobius/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.refinementView/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.refinementView/src/org/polarsys/chess/contracts/refinementView/view/CustomRefinementView.java
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/constraints/FlowPorts_01.java
The file was modified
plugins/org.polarsys.chess.patterns/src/org/polarsys/chess/patterns/apply/ApplyPattern.java
The file was modified
plugins/org.polarsys.chess.properties.propertyEditor/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.codegen.ada/src/org/polarsys/chess/codegen/ada/handlers/AdaGenUIHandler.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.constraints.constraintEditor/META-INF/MANIFEST.MF
The file was modified
plugins/sba/org.polarsys.chess.statebased/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/command/ChessGenericValidateCommand.java
The file was modified
plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/profiles/SysMLProfileManager.java
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/constraints/Connector_02.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/src/org/polarsys/chess/contracts/chessextension/listeners/SelectionListener.java
The file was modified
plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/test.java
The file was modified
plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified
plugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/InstanceViewPart.java
The file was modified
plugins/org.polarsys.chess.multicore/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.wizards/src/org/polarsys/chess/wizards/wizards/CreateCHESSModelWizard.java
The file was modified
plugins/org.polarsys.chess.validator/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.diagramsCreator/META-INF/MANIFEST.MF
The file was modified
extra_plugins/org.eclipse.papyrus.uml.profile.tests/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/src/org/polarsys/chess/contracts/contractPropertyManager/ui/profile/listener/MessageDialog.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.validation/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/docGenerators/CHESSInternalBlockDiagramModel.java
The file was modified
plugins/org.polarsys.chess.validator/src/org/polarsys/chess/validator/command/CHESSCoreValidationHandler.java
The file was modified
plugins/org.polarsys.chess.commands/src/org/polarsys/chess/commands/BuildModelInstanceCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/src/org/polarsys/chess/contracts/chessextension/popup/commands/SetContractRefinement.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationAssertionPropertyCommand.java
The file was modified
plugins/org.polarsys.chess.OSSImporter/src/org/polarsys/chess/OSSImporter/commands/ImportOSSFileCommand.java
The file was modified
plugins/org.polarsys.chess.customEditors/src/org/polarsys/chess/customEditors/editors/XtextLanguageEditor.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/ChessSystemModel.java
The file was modified
plugins/sba/org.polarsys.chess.statebased/src/org/polarsys/chess/statebased/StateBasedWithParametersCommand.java
Commit 582683b23c6e125cacebe9562ad5e05d9c649cf0 by
Alberto Debiasi
Switch from Java 1.8 to 11.
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/util/FlaDslSwitch.java
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ThreadItemProvider.class
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.patterns.profile/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.integration/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.smvExporter/.classpath
The file was modified
plugins/org.polarsys.chess.mainmenu/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/AbstractFlaDslUiModule.java
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model.editor/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FlaDslPackage.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/WildcardDefinitionImpl.java
The file was modified
plugins/org.polarsys.chess.commands/.classpath
The file was modified
plugins/org.polarsys.chess.xtext.global/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.patterns.library/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ExecutionTimeItemProvider.class
The file was modified
plugins/org.polarsys.chess.monitoring.tests/.classpath
The file was modified
plugins/org.polarsys.chess.xtext.global/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/BlockingTimeItemProvider.class
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ACIDavoidableImpl.java
The file was modified
plugins/org.polarsys.chess.customEditors/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringEditPlugin$Implementation.class
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/services/FlaDslGrammarAccess.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Dmitigation.java
The file was modified
plugins/org.polarsys.chess.tabbedproperties/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDslParser.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Iavoidable.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/.classpath
The file was modified
plugins/org.polarsys.chess.cleanCExporter/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.constraints.constraintEditor/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla/.classpath
The file was modified
plugins/org.polarsys.chess.customEditors/.classpath
The file was modified
plugins/org.polarsys.chess.wizards/.classpath
The file was modified
plugins/mobius/org.polarsys.chess.mobius/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.refinementView/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla.flaxml/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FlaDslFactory.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Behaviour.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FailureDefinition.java
The file was modified
plugins/org.polarsys.chess.codegen.ada/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.validation/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/NoFailureDefinition.java
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/AnalysisContextItemProvider.class
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ResponseTimeItemProvider.class
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDsl.g
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Amitigation.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/BehaviourImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/OutFailureExprImpl.java
The file was modified
plugins/org.polarsys.chess.tradeoffAnalysis/META-INF/MANIFEST.MF
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model.edit/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla.transformations/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.instance.view/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla.flaxml/META-INF/MANIFEST.MF
The file was modified
plugins/sba/org.polarsys.chess.statebased/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ACIDMitigationImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/OutFailureExpr.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FlaDslFactoryImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/InputExpressionImpl.java
The file was modified
plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringEditPlugin.class
The file was modified
plugins/org.polarsys.chess.checkers/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Cmitigation.java
The file was modified
plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/NoFailureDefinitionImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ACIDavoidable.java
The file was modified
plugins/mobius/org.polarsys.chess.mobius.preferences/.classpath
The file was modified
plugins/org.polarsys.chess.diagram.ui/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/VariableDefinition.java
The file was modified
plugins/org.polarsys.chess.multicore/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.test.runtime/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/contentassist/AbstractFlaDslProposalProvider.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/AbstractFlaDslRuntimeModule.java
The file was modified
plugins/org.polarsys.chess.patterns/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.smvExporter/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/OutputExpression.java
The file was modified
plugins/org.polarsys.chess.m2m/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.core/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/InFailureExpr.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/RhsImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/util/FlaDslAdapterFactory.java
The file was modified
plugins/org.polarsys.chess.monitoring.editor/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Definitions.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/FlaDslStandaloneSetupGenerated.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Imitigation.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/InputExpression.java
The file was modified
plugins/org.polarsys.chess.checkers/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/.classpath
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model/.classpath
The file was modified
plugins/org.polarsys.chess.patterns/.classpath
The file was modified
plugins/fla/org.polarsys.chess.fla.transformations/.classpath
The file was modified
plugins/org.polarsys.chess.mainmenu/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ResourceItemProvider.class
The file was modified
plugins/mobius/org.polarsys.chess.mobius.preferences/bin/org/polarsys/chess/mobius/preferences/MobiusPreferencePage.class
The file was modified
plugins/org.polarsys.chess.multicore/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ide/META-INF/MANIFEST.MF
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model.edit/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/InFailureExprImpl.java
The file was modified
plugins/org.polarsys.chess.tabbedproperties/.classpath
The file was modified
plugins/org.polarsys.chess.wizards/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Rhs.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ComplexNofailureDefinition.java
The file was modified
plugins/org.polarsys.chess.codegen.ada/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.refinementView/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/.classpath
The file was modified
plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/model/generated/FlaDsl.genmodel
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ide/target/classes/org/polarsys/chess/xtext/ide/.FlaDslIdeModule.java._trace
The file was modified
plugins/org.polarsys.chess.patterns.profile/.classpath
The file was modified
plugins/org.polarsys.chess.patterns.library/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/LhsImpl.java
The file was modified
plugins/org.polarsys.chess.service/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ComplexNofailureDefinitionImpl.java
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringItemProvider.class
The file was modified
plugins/contracts/org.polarsys.chess.contracts.validation/.classpath
The file was modified
plugins/fla/org.polarsys.chess.fla.flamm/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Aavoidable.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDslLexer.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/validation/AbstractFlaDslValidator.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ExpressionImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/FlaDslParser.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringxmlItemProviderAdapterFactory.class
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Cavoidable.java
The file was modified
plugins/org.polarsys.chess.OSSImporter/.classpath
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Lhs.java
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MeasuredValueItemProvider.class
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/PeriodItemProvider.class
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/FlaDslExecutableExtensionFactory.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/WildcardDefinition.java
The file was modified
plugins/org.polarsys.chess.service/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.test.runtime/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.cleanCExporter/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring.tests/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.instance.view/.classpath
The file was modified
plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla.flamm/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/VariableDefinitionImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Davoidable.java
The file was modified
plugins/sba/org.polarsys.chess.statebased/META-INF/MANIFEST.MF
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FailureDefinitionImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FailureType.java
The file was modified
plugins/mobius/org.polarsys.chess.mobius.preferences/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.OSSImporter/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.validator/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FlaDslPackageImpl.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/OutputExpressionImpl.java
The file was modified
plugins/org.polarsys.chess.properties.propertyEditor/.classpath
The file was modified
plugins/org.polarsys.chess.commands/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoredResourceItemProvider.class
The file was modified
plugins/org.polarsys.chess.chessmlprofile/META-INF/MANIFEST.MF
The file was modified
plugins/mobius/org.polarsys.chess.mobius/.classpath
The file was modified
plugins/org.polarsys.chess.diagram.ui/.classpath
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model.editor/.classpath
The file was modified
plugins/org.polarsys.chess.m2m/.classpath
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/.classpath
The file was modified
plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ACIDMitigation.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Expression.java
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/FlaDslAntlrTokenFileProvider.java
The file was modified
plugins/org.polarsys.chess.properties.propertyEditor/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.chessmlprofile/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
The file was modified
plugins/org.polarsys.chess.constraints.constraintEditor/.classpath
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/.classpath
The file was modified
plugins/org.polarsys.chess.tradeoffAnalysis/.classpath
The file was modified
plugins/org.polarsys.chess.monitoring.editor/META-INF/MANIFEST.MF
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/DefinitionsImpl.java
Commit af0d25e7abe3e515d8a0cc599d003fc32a85b629 by
Alberto Debiasi
Change Java compiler (from 1.8 to 11).
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.cleanCExporter/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.integration/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/mobius/org.polarsys.chess.mobius/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.core/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.chessextension/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.codegen.ada/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.checkers/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/sba/org.polarsys.chess.statebased/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/mobius/org.polarsys.chess.mobius.model/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.fla.transformations/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.mainmenu/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.refinementView/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractEditor/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.OSSImporter/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.patterns.library/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.tabbedproperties/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.chessmlprofile/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.transformations/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.fla.flamm/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.properties.propertyEditor/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.tradeoffAnalysis/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.xtext.global/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.smvExporter/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.diagram.ui/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.wizards/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.fla.flaxml/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.validator/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.fla/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.service/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.multicore/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/.settings/org.eclipse.jdt.core.prefs
The file was modified
org.polarsys.chess.parent/releng/org.polarsys.chess.configuration/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.patterns/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.validation/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.commands/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.patterns.profile/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.test.runtime/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.instance.view/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.constraints.constraintEditor/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.monitoring/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.customEditors/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/org.polarsys.chess.m2m/.settings/org.eclipse.jdt.core.prefs
The file was modified
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/.settings/org.eclipse.jdt.core.prefs