Skip to content

GitLab

Menu

Projects Groups Snippets

Help
Sign in

C chess
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
- Locked Files
Issues 1
- Issues 1
- List
- Boards
- Service Desk
- Milestones
- Iterations
- Requirements
Merge requests 0
- Merge requests 0
Deployments
- Deployments
- Releases
Monitor
- Monitor
- Incidents
Analytics
- Analytics
- Value stream
- Code review
- Insights
- Issue
- Repository
Wiki
- Wiki
Snippets
- Snippets
Activity
Graph
Create a new issue
Commits
Issue Boards

Collapse sidebar

Felicien IHIRWE
chess
Repository
Branches

Overview
Active
Stale
All

devel default protected

648a74e5 · test modification · Mar 16, 2022

Download source code

zip tar.gz tar.bz2 tar
124-eata-plugins-not-included-in-chess-bundle merged

e3e10495 · Fix eata version in CHESS.product. · Mar 01, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
master merged

e3e10495 · Fix eata version in CHESS.product. · Mar 01, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
115-porting-to-latest-eclipse-and-papyrus-release

bf5f1d8f · Update target platform. · Feb 18, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
120-add-timed-time-model-option merged

0b3f73a7 · Update timedModel oracles. · Jan 24, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional merged

384a0c6c · Update oracle of async model. · Dec 20, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2 merged

384a0c6c · Update oracle of async model. · Dec 20, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
122-allow-cross-level-contract-refinement merged

b6c6465a · Update ChessSystemModel wrt AbstractSystemModel. · Nov 26, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
123-Interact-with-Kratos-for-formal-verification-of-state-machines merged

0da95103 · Ask for time model only for monolithic model checking. · Nov 11, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
118-add-tests-related-to-oss-export-of-asyn-model-2 merged

fe18e533 · Add test for async discrete case. · Oct 26, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
118-add-tests-related-to-oss-export-of-asyn-model merged

cb66a06d · Update OSS oracle. · Oct 19, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
117-update-reference-to-sde-and-aeta-update-site merged

1ab70671 · Update org.polarsys.chess.target.neon.target · Sep 20, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
4-async-constraints-1-3 merged

b823f4d9 · Update methods on events. · Sep 17, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous merged

de0248d2 · Fix hasValidType constraint. · Sep 14, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
116-textual-editors-based-on-xtext-grammars merged

3bdcac9f · Update pom files to handle customEditor plugin. (2) · Aug 30, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
107-maven-warning-related-to-build-plugins-plugin-version merged

df2dc37e · Add version to maven-resources-plugin in pom.xml. · Aug 19, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
110-update-content-xml merged

b8f9faa0 · Update pom.xml in org.polarsys.chess.configuration. · Jun 25, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
102-bdd-not-automatically-generated-correctly merged

7d3fe24d · Fix bug on DBB generation. · Jan 28, 2021

Compare

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

Compare

Download source code

zip tar.gz tar.bz2 tar
105-update-releng-pom-xml-2 merged

02df285b · Update repository pom.xml · Dec 03, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent