Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
CPS_DesignTools
EST
Repository
Branches
Overview
Active
Stale
All
113-SM-Deterministic-Check
ecaf3339
·
added deterministic check
·
Dec 03, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
29-support-commands-with-arguments-in-sysml
merged
039fb773
·
Add methods to AbstractSystemModel
·
Jul 04, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mavenize_project
merged
8f5a30d0
·
Refactor CleanCTranslatorToPython code
·
Sep 27, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
30-code-refactoring
merged
b491c089
·
Merge remote-tracking branch 'origin/master' into 30-code-refactoring
·
Oct 25, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
31-remove-additional-indentations-in-python-code
merged
31dca2d6
·
Remove additional indentations in py code
·
Dec 18, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
33-porting-to-cameo
c3739260
·
add cache of language injectors
·
Jun 22, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
35-define-ast-abstract-syntaxt-tree-for-guards-effects-on-state-machines
merged
0bf6b8b1
·
Add source folder in ast/build.
·
Jul 14, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
37-fix-elements-in-ast
merged
5093df19
·
Fix elements in AST.
·
Aug 11, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
40-add-further-methods-to-pythonutils-class
merged
2cdd4ad3
·
Fix bug on createUniqueExpression.
·
Nov 26, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
41-support-the-formal-reliability-analysis-of-redundancy-architectures
1c1e07aa
·
Add arguments to RedundancyAnalysisComputeFaultTreeCommand.
·
Jan 27, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
44-fatal-building-the-whole-project-via-maven
merged
bde34320
·
fix issue #44
·
Jun 23, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
45-porting-to-eclipse-2020-06
330a8526
·
update target platform for eclipse 2020-06
·
Sep 03, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
45-porting-to-eclipse-2020-06-2
1102e7ce
·
add elk feature to repository plugin
·
Sep 03, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
45-porting-to-eclipse-2020-06-3
merged
4a45af3d
·
add repository plugin for Evidence Huawei project
·
Sep 06, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
47-porting-to-eclipse-2021-03
merged
a18d61d2
·
add missing papyrus plugins
·
Sep 07, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
49-add-abstract-classes-that-implement-the-interfaces-abstractsystemmodel-and
merged
b441bc56
·
add abstract classes for interfaces AbstractStateMachineModel and
·
Sep 07, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
48-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
merged
f5077333
·
handle ManyToOneConnections for async communications.
·
Sep 14, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
48-async-constraints-1-3
merged
92d5ccf7
·
Modify methods related to events.
·
Sep 17, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
53-enumerator-not-supported-by-cleanc-translation
merged
2598456f
·
Handle literals.
·
Oct 18, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
54-state-machine-smv-handle-empty-guards-and-effects
merged
9f580005
·
Remove warnings.
·
Oct 22, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next