Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
10-improve-diagrams-creation-utils
8e3fe7a7
·
Add some functionalities
·
Sep 03, 2020
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
default
b6c6465a
·
Update ChessSystemModel wrt AbstractSystemModel.
·
Nov 26, 2021
devel
protected
b6c6465a
·
Update ChessSystemModel wrt AbstractSystemModel.
·
Nov 26, 2021
120-add-timed-time-model-option
de2da0f0
·
Add getStateInvariantSpecification method
·
Jan 12, 2022
Prev
1
2
Next