Project

General

Profile

Change Request #3474

Improve SMT scheduling constraint readability (code)

Added by Alexander Diewald about 2 years ago. Updated about 1 month ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
07/05/2018
Due date:
% Done:

0%

Estimated time:
2.00 h

Description

Current Status

The code in some parts of the constraint construction of the SMT scheduler is hard to follow due to cryptic variable names and a lack of documentation about the formulation (e.g., NUM).

Proposed Action

Add some human-readable formulations of the constructed constraints. Along with this, the varaible names should be improved if the formulas are not absolutely clear. Please try to avoid numbered indexes as far as possible.

History

#1 Updated by Johannes Eder over 1 year ago

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

#2 Updated by Johannes Eder about 1 month ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Rejected, as scheduling has been considerably adapted in the past years.

Also available in: Atom PDF