Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse CHESS
chess
Repository
Branches
Overview
Active
Stale
All
123-Interact-with-Kratos-for-formal-verification-of-state-machines
0da95103
·
Ask for time model only for monolithic model checking.
·
Nov 11, 2021
!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
118-add-tests-related-to-oss-export-of-asyn-model-2
fe18e533
·
Add test for async discrete case.
·
Oct 26, 2021
!17
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
118-add-tests-related-to-oss-export-of-asyn-model
cb66a06d
·
Update OSS oracle.
·
Oct 19, 2021
!16
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
117-update-reference-to-sde-and-aeta-update-site
1ab70671
·
Update org.polarsys.chess.target.neon.target
·
Sep 20, 2021
!15
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-async-constraints-1-3
b823f4d9
·
Update methods on events.
·
Sep 17, 2021
!14
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
de0248d2
·
Fix hasValidType constraint.
·
Sep 14, 2021
!13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
116-textual-editors-based-on-xtext-grammars
3bdcac9f
·
Update pom files to handle customEditor plugin. (2)
·
Aug 30, 2021
!12
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
107-maven-warning-related-to-build-plugins-plugin-version
df2dc37e
·
Add version to maven-resources-plugin in pom.xml.
·
Aug 19, 2021
!10
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
110-update-content-xml
b8f9faa0
·
Update pom.xml in org.polarsys.chess.configuration.
·
Jun 25, 2021
!8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
102-bdd-not-automatically-generated-correctly
7d3fe24d
·
Fix bug on DBB generation.
·
Jan 28, 2021
!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
106-support-the-formal-reliability-analysis-of-redundancy-architectures
cb8cef4d
·
Fix front-end for reliability analysis.
·
Jan 27, 2021
!5
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
105-update-releng-pom-xml-2
02df285b
·
Update repository pom.xml
·
Dec 03, 2020
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
105-update-releng-pom-xml
e0c70f3e
·
Remove module org.polarsys.chess.repository from pom.xml
·
Dec 03, 2020
!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2-issue-for-testing
47d79520
·
Update method in NameDistance checker
·
Sep 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
123-Add-further-constraints-during-model-creation
ea0f94d3
·
Small fixes on SSR model and in code formatting.
·
Sep 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
10-improve-diagrams-creation-utils
8e3fe7a7
·
Add some functionalities
·
Sep 03, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
111-Optimize-access-to-stereotypes
24abd606
·
Reduce use of getStereotype()/
·
Aug 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
564973-enrich-entityUtil-methods
4621d4c1
·
Merge remote-tracking branch 'origin/master' into 564973-enrich-entityUtil-methods
·
Jul 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-Align-CHESS-model-in-regression-test-with-CleanC-specification
dee52fae
·
Update oracles in regression test with CleanC.
·
Jul 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2-enrich-documentation-with-description-of-CleanC-language
75f33735
·
Enrich CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx with CleanC description.
·
Jul 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next