Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
123-Add-further-constraints-during-model-creation
ea0f94d3
·
Small fixes on SSR model and in code formatting.
·
Sep 10, 2020
2-issue-for-testing
47d79520
·
Update method in NameDistance checker
·
Sep 24, 2020
105-update-releng-pom-xml
e0c70f3e
·
Remove module org.polarsys.chess.repository from pom.xml
·
Dec 03, 2020
105-update-releng-pom-xml-2
02df285b
·
Update repository pom.xml
·
Dec 03, 2020
106-support-the-formal-reliability-analysis-of-redundancy-architectures
cb8cef4d
·
Fix front-end for reliability analysis.
·
Jan 27, 2021
102-bdd-not-automatically-generated-correctly
7d3fe24d
·
Fix bug on DBB generation.
·
Jan 28, 2021
110-update-content-xml
b8f9faa0
·
Update pom.xml in org.polarsys.chess.configuration.
·
Jun 25, 2021
107-maven-warning-related-to-build-plugins-plugin-version
df2dc37e
·
Add version to maven-resources-plugin in pom.xml.
·
Aug 19, 2021
116-textual-editors-based-on-xtext-grammars
3bdcac9f
·
Update pom files to handle customEditor plugin. (2)
·
Aug 30, 2021
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
de0248d2
·
Fix hasValidType constraint.
·
Sep 14, 2021
4-async-constraints-1-3
b823f4d9
·
Update methods on events.
·
Sep 17, 2021
117-update-reference-to-sde-and-aeta-update-site
1ab70671
·
Update org.polarsys.chess.target.neon.target
·
Sep 20, 2021
118-add-tests-related-to-oss-export-of-asyn-model
cb66a06d
·
Update OSS oracle.
·
Oct 19, 2021
118-add-tests-related-to-oss-export-of-asyn-model-2
fe18e533
·
Add test for async discrete case.
·
Oct 26, 2021
123-Interact-with-Kratos-for-formal-verification-of-state-machines
0da95103
·
Ask for time model only for monolithic model checking.
·
Nov 11, 2021
122-allow-cross-level-contract-refinement
b6c6465a
·
Update ChessSystemModel wrt AbstractSystemModel.
·
Nov 26, 2021
123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional
384a0c6c
·
Update oracle of async model.
·
Dec 20, 2021
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2
384a0c6c
·
Update oracle of async model.
·
Dec 20, 2021
120-add-timed-time-model-option
0b3f73a7
·
Update timedModel oracles.
·
Jan 24, 2022
115-porting-to-latest-eclipse-and-papyrus-release
bf5f1d8f
·
Update target platform.
·
Feb 18, 2022
Prev
1
2
3
Next