GitLab

Menu

Projects Groups Snippets

Help
Sign in

S SDE
Project information
- Project information
- Activity
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
- Locked Files
Deployments
- Deployments
- Releases
Packages & Registries
- Packages & Registries
- Container Registry
Analytics
- Analytics
- Value stream
- Insights
- Issue
- Repository
Wiki
- Wiki
Snippets
- Snippets
Activity
Graph
Commits

Collapse sidebar

ESProjects
SDE
Repository
Branches

Overview
Active
Stale
All

refactoring merged

a38b81fb · - added check contract composite implementation · Feb 09, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
build_scripts_fix merged

594586d8 · - removed module · Apr 12, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
fix_input_section_visualization merged

847f469b · Merge branch... · May 03, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
4-design-of-parametrized-architecture-support merged

8cf39641 · modified parameter type. From SimpleType to ComplexType · Jun 19, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
8-handle-assertions-names-in-contracts merged

b9158ef3 · Merge remote-tracking branch 'origin/master' into 8-handle-assertions-names-in-contracts · Aug 07, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
fix_build merged

868a55c4 · - fix · Aug 29, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
xtext-plugin-for-the-imperative-language-defined-for-guards-effects-on-state-machines merged

ae5fafbe · - compound statement can now have empty body (required by Ahmed) · Sep 06, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
xsap-adapter merged

6f333729 · - added test for OSLC adapter · Oct 24, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
11-enable-the-definition-of-a-configuration-in-the-parameterized-architecture merged

350082c7 · test2 · Oct 26, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
missing_oslc_functions merged

1503a783 · Merge remote-tracking branch 'origin/master' into missing_oslc_functions · Apr 12, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
31-more-options-for-algorithms-used-for-fta

1b7b7db6 · fix to enable support for ic3 and klive · Nov 08, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
34-add-quotes-to-o-option-of-fbk-tools merged

07e8a596 · put -o value in between quotes · Apr 22, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
39-porting-to-java11-and-eclipse-2020-12

68af0736 · fix pom for Eclipse Neon · Apr 07, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
40-add-vmt-generation-function-to-nuxmv-adapter merged

b9147202 · fix paths in pom.xml · May 14, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
41-removal-of-no-longer-used-plugins merged

9427e0d6 · update repository plugins · May 18, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
43-add-ic3ia-adapter

7aeea9d1 · add explicitly missing dependencies · Jun 04, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
44-add-tool-adapter-for-mathsat merged

932ee5a0 · improved logs · Jun 10, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
46-fatal-building-the-whole-project-via-maven merged

76d843fc · fix issue #46 · Jun 23, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
42-porting-to-eclipse-2020-06-2 merged

19d116bc · remove project · Jun 25, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
45-refactoring-of-sde-preferences-dialog merged

3d127fc1 · fix test button handler for python scripts · Jul 08, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
Next

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code