Project

General

Profile

Feature #3478

Router for SMT-based exploration

Added by Simon Barner about 2 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
07/30/2018
Due date:
% Done:

100%

Estimated time:

Description

Extend org.fortiss.af3.exploration.smt.util.RouteUtils to handle hierarchical platforms.

History

#1 Updated by Simon Barner about 2 years ago

  • Status changed from New to In Progress
  • Assignee changed from Simon Barner to Alexander Diewald

Please merge JGraphT and JGraphX update: https://git.fortiss.org/af3/exploration-alg/merge_requests/1

#2 Updated by Alexander Diewald about 2 years ago

  • Status changed from In Progress to Feedback
  • Assignee changed from Alexander Diewald to Simon Barner

The above MR is already merged. Is there still sth. to do?

#3 Updated by Simon Barner over 1 year ago

  • Status changed from Feedback to Resolved
  • Assignee changed from Simon Barner to Marco Volpe
  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to AF3 2.15 RC1 (Feature Freeze)

#4 Updated by Marco Volpe over 1 year ago

  • Assignee changed from Marco Volpe to Simon Barner
  • % Done changed from 0 to 100

Tested and reviewed

#5 Updated by Simon Barner over 1 year ago

  • Assignee changed from Simon Barner to Anonymous

This has already been merged. Please close.

#6 Updated by Anonymous over 1 year ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF