- Email: firstname.lastname@example.org
- Registered on: 04/03/2012
- Last connection: 08/10/2020
- 05:19 PM AF3 Phoenix Bug #3932 (Rejected): Component Architecture: Creating a channel to from an occupied input port
- This behavior has been fixed in the past months. Channel creation works correctly.
- 05:03 PM Design Space Exploration Bug #4021: Broken Routes from the bus minimization / the bus minimization objective does not reduce the number of routes over busses if the objective is defined for one bus
- @Alex: Could you please rephrase the broken route problem? I did not really understand it :/
- 04:53 PM AF3 Phoenix Change Request #3474 (Rejected): Improve SMT scheduling constraint readability (code)
- Rejected, as scheduling has been considerably adapted in the past years.
- 04:52 PM Design Space Exploration Feature #3694 (Feedback): Update and integrate the DseML text editor
- @Alex: Is there a working implementation? I only know of the student I had a few years ago how did his bachelor thesi...
- 04:48 PM Design Space Exploration Change Request #3143 (Feedback): Z3-Route/Bus Optimization as exploration strategy / feature
- @Alex: Is this issue still relevant. It is over 3 years old;)
- 04:07 PM Design Space Exploration Change Request #3666 (Feedback): Move the visualization translation code to the visualization backend
- @Alex: Is this still relevant after the new DSE perspective is complete?
- 04:05 PM AF3 Phoenix Bug #4012 (Resolved): exception thrown when automatic layout in state automation UI
- 03:33 PM AF3 Phoenix Bug #4011 (Feedback): reaction field in the text display in operator panel not setting correctly
- @Saad: Cannot reproduce. Works on my machine. Could you please re-check?
- 02:59 PM AF3 Phoenix Support #3674 (Feedback): [MacOS - investigate Z3 library loading by rpath
- @Alex: Is this one still relevant?
- 02:45 PM AF3 Phoenix Change Request #4018 (In Progress): MarkerView to JavaFX (model error list)
Also available in: Atom