Skip to content
GitLab
Explore
Sign in
CPS_DesignTools
EST
Repository
Branches
Overview
Active
Stale
All
53-enumerator-not-supported-by-cleanc-translation
2598456f
·
Handle literals.
·
Oct 18, 2021
!66
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
48-async-constraints-1-3
92d5ccf7
·
Modify methods related to events.
·
Sep 17, 2021
!63
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
48-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
f5077333
·
handle ManyToOneConnections for async communications.
·
Sep 14, 2021
!58
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
49-add-abstract-classes-that-implement-the-interfaces-abstractsystemmodel-and
b441bc56
·
add abstract classes for interfaces AbstractStateMachineModel and
·
Sep 07, 2021
!61
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
47-porting-to-eclipse-2021-03
a18d61d2
·
add missing papyrus plugins
·
Sep 07, 2021
!57
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
45-porting-to-eclipse-2020-06-3
4a45af3d
·
add repository plugin for Evidence Huawei project
·
Sep 06, 2021
!60
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
!59
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
!55
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
44-fatal-building-the-whole-project-via-maven
bde34320
·
fix issue #44
·
Jun 23, 2021
!54
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
!52
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
40-add-further-methods-to-pythonutils-class
2cdd4ad3
·
Fix bug on createUniqueExpression.
·
Nov 26, 2020
!50
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
37-fix-elements-in-ast
5093df19
·
Fix elements in AST.
·
Aug 11, 2020
!48
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
35-define-ast-abstract-syntaxt-tree-for-guards-effects-on-state-machines
0bf6b8b1
·
Add source folder in ast/build.
·
Jul 14, 2020
!47
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
!46
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
31-remove-additional-indentations-in-python-code
31dca2d6
·
Remove additional indentations in py code
·
Dec 18, 2019
!43
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
30-code-refactoring
b491c089
·
Merge remote-tracking branch 'origin/master' into 30-code-refactoring
·
Oct 25, 2019
!41
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mavenize_project
8f5a30d0
·
Refactor CleanCTranslatorToPython code
·
Sep 27, 2019
!42
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
29-support-commands-with-arguments-in-sysml
039fb773
·
Add methods to AbstractSystemModel
·
Jul 04, 2019
!38
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
113-SM-Deterministic-Check
ecaf3339
·
added deterministic check
·
Dec 03, 2018
!31
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next