Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Open
0
Merged
305
Closed
7
All
312
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Cache for resource bundle locator
!268
· created
May 24, 2023
by
Maxime Audinot
Merged
updated
May 24, 2023
fix the decoding of states from gal
!269
· created
May 25, 2023
by
Maxime Audinot
AssetBasedSystem
Bug
Doing
Merged
updated
May 26, 2023
add procedure and script to update versions (for releases)
!270
· created
May 26, 2023
by
Vojtisek Didier
AssetBasedSystem
Doing
Feature request
Prio - Medium
Merged
updated
May 26, 2023
change the console name and message group of k3dsa
!271
· created
May 26, 2023
by
Maxime Audinot
AssetBasedSystem
Doing
Prio - Low
Merged
updated
May 26, 2023
dynamic contracts evaluation as an invariant at runtime
!272
· created
May 31, 2023
by
Maxime Audinot
Merged
updated
Jun 01, 2023
feat(validation): get contracts from requirements
!273
· created
Jun 05, 2023
by
William Ragot
Merged
4
updated
Jun 08, 2023
Fix the simplification of invariants from contracts
!274
· created
Jun 06, 2023
by
Maxime Audinot
Merged
updated
Jun 06, 2023
Resolve "document atsyra preferences in global preference plugin instead of eclipse preference plugin"
!275
· created
Jun 07, 2023
by
Maxime Audinot
Merged
updated
Jun 07, 2023
Resolve "update slicing to support dynamic contracts"
!276
· created
Jun 07, 2023
by
Maxime Audinot
AssetBasedSystem
Bug
Doing
Prio - High
Merged
updated
Jun 07, 2023
validation error if a feature name is shadowing another one
!277
· created
Jun 08, 2023
by
Maxime Audinot
AssetBasedSystem
Bug
Doing
Prio - Medium
Merged
updated
Jun 08, 2023
Resolve "Automate release of the eclipse studio"
!278
· created
Jun 09, 2023
by
Vojtisek Didier
AssetBasedSystem
Doing
Feature request
Prio - High
Merged
updated
Jun 09, 2023
Add requirements to the test examples
!279
· created
Jun 09, 2023
by
Maxime Audinot
Merged
updated
Jun 09, 2023
Resolve "bump versions of abs component to 3.0.0-snapshot"
!280
· created
Jun 09, 2023
by
Vojtisek Didier
AssetBasedSystem
Doing
Prio - Low
Merged
updated
Jun 09, 2023
Ensures license file
!281
· created
Jun 13, 2023
by
Vojtisek Didier
AssetBasedSystem
Doing
Merged
updated
Jun 15, 2023
bump version of tools in CI docker image
!282
· created
Jun 14, 2023
by
Vojtisek Didier
AssetBasedSystem
Bug
Doing
Prio - Top
Merged
1
updated
Jun 14, 2023
Change AssetAttributeValue for multiplicity Many
!283
· created
Jun 19, 2023
by
Maxime Audinot
AssetBasedSystem
Doing
Prio - Medium
Merged
updated
Jun 19, 2023
Resolve "Add a xtext checker to prohibit usage of dynamic contracts in Requirement"
!284
· created
Jun 21, 2023
by
Maxime Audinot
AssetBasedSystem
Doing
Prio - Low
Merged
updated
Jun 21, 2023
Resolve "Requirement title"
!285
· created
Aug 30, 2023
by
Maxime Audinot
AssetBasedSystem
Doing
Merged
2
Approved
updated
Aug 31, 2023
Resolve "update web site to point to the folder containing the release versions (studio and update site"
!286
· created
Sep 04, 2023
by
Vojtisek Didier
AssetBasedSystem
Doing
Merged
updated
Sep 04, 2023
Resolve "Graphical view(s) presenting the scenarios as a graph (ie. shows the instances in a graph)"
!287
· created
Sep 11, 2023
by
Vojtisek Didier
AssetBasedSystem
Prio - Medium
Merged
updated
Sep 11, 2023
Prev
1
…
10
11
12
13
14
15
16
Next
