Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
af3
af3-backup
Merge requests
Open
3
Merged
324
Closed
53
All
380
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
[3608] Support minimization of energy consumption
!221
· created
Aug 07, 2019
by
Marco Volpe
Merged
1
updated
Aug 27, 2019
[3804] Schedule generation works only if launched twice
!227
· created
Aug 23, 2019
by
Tiziano Munaro
Merged
0
updated
Aug 26, 2019
[3801] The period marker in Gantt chart views is not displayed correctly even if period values are present
!226
· created
Aug 22, 2019
by
Tiziano Munaro
Merged
0
updated
Aug 23, 2019
[3800] Fix selection filter for the export of assurance arguments
!225
· created
Aug 19, 2019
by
Tiziano Munaro
Merged
0
updated
Aug 19, 2019
TableVisualization: Enable select/export on all solutions
!223
· created
Aug 13, 2019
by
Alexander Diewald
Merged
1
updated
Aug 16, 2019
Adding legend and improving colors
!165
· created
Mar 28, 2019
by
Ghost User
Merged
3
updated
Aug 13, 2019
DSE-Import: Fix multi-import of same artefact types
!222
· created
Aug 13, 2019
by
Alexander Diewald
Merged
0
updated
Aug 13, 2019
3768
!219
· created
Jul 30, 2019
by
Tiziano Munaro
Merged
0
updated
Aug 08, 2019
3640: Select / create folder dialog
!156
· created
Feb 15, 2019
by
Simon Barner
Merged
6
updated
Aug 01, 2019
3735: MemoryAreas
!218
· created
Jul 29, 2019
by
Simon Barner
Merged
0
updated
Aug 01, 2019
DSE-SMT: Add per-quantifier unfolding to basic scheduling constraints
!217
· created
Jul 29, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 30, 2019
3460 quantitative gsn
!44
· created
Jun 28, 2018
by
Vivek Nigam
Merged
14
updated
Jul 25, 2019
3728 fixed
!216
· created
Jul 25, 2019
by
Simon Barner
Merged
0
updated
Jul 25, 2019
[3698] [Z3] Rebase Quantifier unfolding based on a per-quantifier basis
!215
· created
Jul 17, 2019
by
Tiziano Munaro
Merged
3
updated
Jul 23, 2019
DSE: Fix translation of identical expressions from DSEML to SMT
!214
· created
Jul 12, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 15, 2019
DSE: Fix import of allocation tables
!212
· created
Jul 12, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 15, 2019
[3677] DSE: Move expression generation to util class
!211
· created
Jul 09, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 12, 2019
[3768] DSE: Add support for multiple shortest paths
!208
· created
Jul 08, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 10, 2019
3764: Allocation functions not registered within the transformation service upon creation with a non-quantified constraint
!205
· created
Jul 08, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 09, 2019
DSE-SMT: Fix adding subconstraint expressions for SMT objectives
!204
· created
Jul 08, 2019
by
Tiziano Munaro
Merged
0
updated
Jul 08, 2019
Prev
1
…
5
6
7
8
9
10
11
12
13
…
17
Next