Skip to content
GitLab
Explore
Sign in
ESProjects
SDE
Repository
Branches
Overview
Active
Stale
All
master
default
fa741cbb
·
remove commands executed before jobs.
·
Nov 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
63-update-ci-to-automate-deply-of-all-eclipse-versions
5973bd9e
·
Fix indentation.
·
Apr 29, 2022
!65
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
60-documentation-improvement
430f34b7
·
Update README.md
·
Jan 28, 2022
!62
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
37-align-sde-grammar-to-new-timed-features
02a48ed6
·
fix issue on time annotation formatting
·
Jan 18, 2022
!60
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
59-allow-slash-char-in-the-contract-name
ac0a7bce
·
contract name admit slash
·
Jan 17, 2022
!61
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
53-extend-ocra-grammar-to-handle-async-communication
3cdaef74
·
add slash to contract name
·
Jan 17, 2022
!54
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
58-fix-maven-build-for-eclipse-2020-06-and-java8
29ce5fdd
·
Update README.md
·
Nov 30, 2021
!59
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
57-oss-formatter-could-be-improved-for-contract-refinements
dfeeacad
·
fix issue #57
·
Nov 30, 2021
!58
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
56-add-ltl-bounded-in-ocra-grammar
a2201805
·
automatic activate java8 profile
·
Oct 21, 2021
!57
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
53-extend-ocra-grammar-to-handle-async-communication-2
d0f10549
·
fix formatting
·
Oct 18, 2021
!56
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
55-contract-name-should-allow-round-brackets
29e5aaf0
·
round brackets are admitted in the contract name (only in between
·
Sep 24, 2021
!55
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
47-move-adapter-plugins-outside-sde
232e6eb3
·
update target platforms and poms
·
Sep 08, 2021
!53
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
51-list-automation-plans-in-preferences
b60d273b
·
remove column for check box
·
Aug 25, 2021
!50
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
52-set-current-project-workspace-as-default-workspace-2
971fa52b
·
Add missing imports to ToolsPreferenceInitializer.java
·
Aug 19, 2021
!52
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
52-set-current-project-workspace-as-default-workspace
cf035f1e
·
Set current workspace as default workspace in ToolsPreferenceInitializer.java.
·
Aug 18, 2021
!51
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
48-handle-kratos-as-sde-back-end
8f66268a
·
add kratos to preferences dialog
·
Aug 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
49-porting-to-java11-and-eclipse-2021-03
34cd0064
·
add missing dependency
·
Aug 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
38-integration-of-reliability-analysis
5678b599
·
manage smv library
·
Aug 02, 2021
!37
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
45-refactoring-of-sde-preferences-dialog
3d127fc1
·
fix test button handler for python scripts
·
Jul 08, 2021
!44
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
42-porting-to-eclipse-2020-06-2
19d116bc
·
remove project
·
Jun 25, 2021
!46
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next