Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Eclipse Projects
Eclipse CHESS
chess
Repository
Branches
Overview
Active
Stale
All
devel
default
ff2d2cde
·
Merge branch '138-ast-tests-are-failing-restore' into 'devel'
·
Jul 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
137-fix-marte-dependencies
708d65b0
·
Fix MARTE dependencies
·
Apr 13, 2023
!37
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
protected
d395a132
·
Update bundle version number
·
Dec 21, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
devel_neon
7af65e76
·
Fix fladsl pom.
·
Nov 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
115-porting-to-latest-eclipse-and-papyrus-release
7e7777c7
·
Add condition in setPaletteVisibility();
·
Sep 29, 2022
!23
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
134-fix-fmea-properties
8983d216
·
Fix properties formatter
·
Sep 23, 2022
!35
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
133-create-util-2
b16b2945
·
Remove cyclic reference.
·
Aug 17, 2022
!33
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
133-create-util-class-for-diagrams
e5a801e9
·
Create DiagramUtils class to handle diagrams creation.
·
Aug 11, 2022
!32
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
132-remove-unused-dependences
7fa8ac8e
·
Restore CHESS.product and category.xml.
·
Jul 18, 2022
!31
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
131-fix-fta-visualization-to-support-latest-sirius
b0f4d89a
·
Update refs to sirius.
·
Jul 13, 2022
!30
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
130-refactor-fei-generator
1f57fc23
·
Implement getFailureModeType().
·
Jul 12, 2022
!29
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional
cc891fc1
·
Implement method on SMAbstractClass, update oracles.
·
Jul 01, 2022
!22
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
130-refactor-fei-generator-2
cc891fc1
·
Implement method on SMAbstractClass, update oracles.
·
Jul 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
128-statemachine-to-python-2
d541ca9e
·
Merge remote-tracking branch 'origin/devel' into 128-statemachine-to-python-2
·
Jun 17, 2022
!27
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
129-unsupportedclassversionerror-for-neon-profile
92d2511d
·
Fix UnsupportedClassVersionError for neon profile.
·
Jun 17, 2022
!28
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
128-statemachine-to-python
4d9a3c96
·
Ingnore .settings folder.
·
Jun 13, 2022
!26
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
124-eata-plugins-not-included-in-chess-bundle
e3e10495
·
Fix eata version in CHESS.product.
·
Mar 01, 2022
!24
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
120-add-timed-time-model-option
0b3f73a7
·
Update timedModel oracles.
·
Jan 24, 2022
!19
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2
384a0c6c
·
Update oracle of async model.
·
Dec 20, 2021
!20
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
122-allow-cross-level-contract-refinement
b6c6465a
·
Update ChessSystemModel wrt AbstractSystemModel.
·
Nov 26, 2021
!18
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next
