Skip to content
GitLab
Explore
Sign in
ESProjects
SDE
Repository
Branches
Overview
Active
Stale
All
46-fatal-building-the-whole-project-via-maven
76d843fc
·
fix issue #46
·
Jun 23, 2021
!45
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
44-add-tool-adapter-for-mathsat
932ee5a0
·
improved logs
·
Jun 10, 2021
!43
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
43-add-ic3ia-adapter
7aeea9d1
·
add explicitly missing dependencies
·
Jun 04, 2021
!42
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
41-removal-of-no-longer-used-plugins
9427e0d6
·
update repository plugins
·
May 18, 2021
!40
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
40-add-vmt-generation-function-to-nuxmv-adapter
b9147202
·
fix paths in pom.xml
·
May 14, 2021
!39
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
34-add-quotes-to-o-option-of-fbk-tools
07e8a596
·
put -o value in between quotes
·
Apr 22, 2020
!36
Select Archive Format
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
!33
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
missing_oslc_functions
1503a783
·
Merge remote-tracking branch 'origin/master' into missing_oslc_functions
·
Apr 12, 2019
!31
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
11-enable-the-definition-of-a-configuration-in-the-parameterized-architecture
350082c7
·
test2
·
Oct 26, 2018
!26
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xsap-adapter
6f333729
·
- added test for OSLC adapter
·
Oct 24, 2018
!25
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xtext-plugin-for-the-imperative-language-defined-for-guards-effects-on-state-machines
ae5fafbe
·
- compound statement can now have empty body (required by Ahmed)
·
Sep 06, 2018
!16
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_build
868a55c4
·
- fix
·
Aug 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
8-handle-assertions-names-in-contracts
b9158ef3
·
Merge remote-tracking branch 'origin/master' into 8-handle-assertions-names-in-contracts
·
Aug 07, 2018
!12
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-design-of-parametrized-architecture-support
8cf39641
·
modified parameter type. From SimpleType to ComplexType
·
Jun 19, 2018
!10
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_input_section_visualization
847f469b
·
Merge branch...
·
May 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
build_scripts_fix
594586d8
·
- removed module
·
Apr 12, 2018
!8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactoring
a38b81fb
·
- added check contract composite implementation
·
Feb 09, 2018
!7
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next