Project

General

Profile

Feature #2939

Feature #2935: MOEA-DSE Migration

Extend and Simplify the backend interface for DSE algorithms

Added by Alexander Diewald over 3 years ago. Updated almost 2 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
04/19/2017
Due date:
% Done:

100%

Estimated time:

Description

Goal

The already exists a preliminary version such that required models (declared by the backend) models can be passed to a DSE backend.

All DSE backends shall be modified to declare their required inputs and the corresponding handling shall be included in the DSE perspective, i.e., collecting the required models & passing the to the DSE in the launch operation.


Related issues

Related to Change Request #3254: Base the MOEA-DSE's input layer on SuperSetsClosed01/30/201803/02/2018

History

#1 Updated by Alexander Diewald over 3 years ago

  • Tracker changed from Bug to Feature

#2 Updated by Alexander Diewald over 3 years ago

  • Assignee set to Alexander Diewald
  • Parent task set to #2935

#3 Updated by Alexander Diewald almost 3 years ago

  • Target version set to AF3 2.13 RC1 (Feature Freeze)
  • % Done changed from 0 to 60

Partially implemented now.

The backends (MOEA / Z3) must be aligned to use the backend machanism consistently and to its full extends. The main culprit is the return mechanism of solutions found by the DSE.

#4 Updated by Alexander Diewald almost 3 years ago

Up to now:

  • r22160
  • r22173
  • r22726

#5 Updated by Alexander Diewald almost 3 years ago

r22875

#6 Updated by Alexander Diewald almost 3 years ago

Fix passing the timeout to the solver:
r22879

#7 Updated by Alexander Diewald over 2 years ago

#8 Updated by Alexander Diewald over 2 years ago

  • Status changed from New to In Progress
  • % Done changed from 60 to 80

r23062

Remaining: Simplification.

#9 Updated by Alexander Diewald over 2 years ago

Bug Fix: r23138

#10 Updated by Alexander Diewald over 2 years ago

  • Target version changed from AF3 2.13 RC1 (Feature Freeze) to AF3 2.14 RC1 (Feature Freeze)

Requires some more cleanup, then this issue can be resolved. Not urgent for now.

#11 Updated by Alexander Diewald almost 2 years ago

  • Status changed from In Progress to Resolved
  • % Done changed from 80 to 100

Resolved in the meantime.

#12 Updated by Alexander Diewald almost 2 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF