Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Martin Lowe
chess
Repository
Branches
Overview
Active
Stale
All
devel
default
protected
c075174b
·
Merge branch 'devel' of gitlab.eclipse.org:eclipse/chess/chess into devel
·
Feb 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
malowe/test/1
a9a66a2f
·
Test - DO NOT MERGE
·
Dec 08, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
devel-1
90edf9d3
·
Test commit
·
Oct 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
123-Interact-with-Kratos-for-formal-verification-of-state-machines
9acf9997
·
Add block2k2 command, update UMLStateMachineModel.
·
Sep 11, 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
564178-Enable-the-test-related-to-document-generation
121776d1
·
Merge remote-tracking branch 'Polarsys/devel' into...
·
Jun 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-branch-to-merge
dd287435
·
Fix to merge branch.
·
Jun 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-devel-branch
dd287435
·
Fix to merge branch.
·
Jun 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
563991-improve-checker-manager
206384a7
·
Merge remote-tracking branch 'origin/devel' into 563991-improve-checker-manager
·
Jun 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
e7ba8992
·
Merge remote-tracking branch 'Polarsys/devel' into polarsys-master
·
Jun 05, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
neon
12b03759
·
Update uml.profile.test to eclipse-plugin.
·
May 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
562302-Implement-unit-tests-for-existing-features
c76d2572
·
Add papyrus plugins for tests.
·
May 05, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bug_561630
b021cd64
·
generated javadoc (src comments and doc folder)
·
May 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
neon_ext
083246b0
·
remove unused ignore
·
Mar 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
neon-tycho
a48a714a
·
replaced local GEF 5.0.0 site with the official one
·
Jun 25, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next
