Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
devel
default
protected
648a74e5
·
test modification
·
Mar 16, 2022
eclipse/chess/chess!25
124-eata-plugins-not-included-in-chess-bundle
e3e10495
·
Fix eata version in CHESS.product.
·
Mar 01, 2022
master
e3e10495
·
Fix eata version in CHESS.product.
·
Mar 01, 2022
115-porting-to-latest-eclipse-and-papyrus-release
bf5f1d8f
·
Update target platform.
·
Feb 18, 2022
120-add-timed-time-model-option
0b3f73a7
·
Update timedModel oracles.
·
Jan 24, 2022
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
122-allow-cross-level-contract-refinement
b6c6465a
·
Update ChessSystemModel wrt AbstractSystemModel.
·
Nov 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
118-add-tests-related-to-oss-export-of-asyn-model-2
fe18e533
·
Add test for async discrete case.
·
Oct 26, 2021
118-add-tests-related-to-oss-export-of-asyn-model
cb66a06d
·
Update OSS oracle.
·
Oct 19, 2021
117-update-reference-to-sde-and-aeta-update-site
1ab70671
·
Update org.polarsys.chess.target.neon.target
·
Sep 20, 2021
4-async-constraints-1-3
b823f4d9
·
Update methods on events.
·
Sep 17, 2021
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
de0248d2
·
Fix hasValidType constraint.
·
Sep 14, 2021
116-textual-editors-based-on-xtext-grammars
3bdcac9f
·
Update pom files to handle customEditor plugin. (2)
·
Aug 30, 2021
107-maven-warning-related-to-build-plugins-plugin-version
df2dc37e
·
Add version to maven-resources-plugin in pom.xml.
·
Aug 19, 2021
110-update-content-xml
b8f9faa0
·
Update pom.xml in org.polarsys.chess.configuration.
·
Jun 25, 2021
102-bdd-not-automatically-generated-correctly
7d3fe24d
·
Fix bug on DBB generation.
·
Jan 28, 2021
106-support-the-formal-reliability-analysis-of-redundancy-architectures
cb8cef4d
·
Fix front-end for reliability analysis.
·
Jan 27, 2021
105-update-releng-pom-xml-2
02df285b
·
Update repository pom.xml
·
Dec 03, 2020
Prev
1
2
3
Next