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}}
Priority
[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
3746
!224
· created
Aug 14, 2019
by
Alexander Diewald
Merged
0
updated
Sep 09, 2019
TableVisualization: Enable select/export on all solutions
!223
· created
Aug 13, 2019
by
Alexander Diewald
Merged
1
updated
Aug 16, 2019
DSE-Import: Fix multi-import of same artefact types
!222
· created
Aug 13, 2019
by
Alexander Diewald
Merged
0
updated
Aug 13, 2019
[3608] Support minimization of energy consumption
!221
· created
Aug 07, 2019
by
Marco Volpe
Merged
1
updated
Aug 27, 2019
3777 multiple hyperlinking
!220
· created
Aug 07, 2019
by
Nicolae Prodan
Closed
0
updated
Mar 02, 2020
3768
!219
· created
Jul 30, 2019
by
Tiziano Munaro
Merged
0
updated
Aug 08, 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
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 Z3 Context mismatch for unsat cores
!213
· created
Jul 12, 2019
by
Tiziano Munaro
Closed
1
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
3732
!207
· created
Jul 08, 2019
by
Liana Soima
Closed
0
updated
Mar 30, 2020
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
…
19
Next