General

Profile

Alexander Diewald

Issues

Projects

Activity

10/28/2020

12:03 PM AF3 Phoenix Bug #4080 (Resolved): Help-Button in DSE Perspective does not work
Uff, thanks! I missed the only SWT-based view during the second test. Sorry!
10:47 AM AF3 Phoenix Bug #4080 (Resolved): Help-Button in DSE Perspective does not work
Fixed.

10/27/2020

04:45 PM AF3 Phoenix Bug #4080 (Resolved): Help-Button in DSE Perspective does not work
Sorry, I mixed this one up. The upstream bug I mentioned previously affects the standard help page under Linux / GTK....

10/26/2020

05:53 PM AF3 Phoenix Bug #4080: Help-Button in DSE Perspective does not work
Forgot to add an issue for this upstream bug...
https://bugs.eclipse.org/bugs/show_bug.cgi?id=564911
This is a ...

10/23/2020

02:19 PM Design Space Exploration Bug #4078 (Resolved): DSE Solution Validator Produces Wrong Results for Transformed Artifacts
11:43 AM Design Space Exploration Bug #4078: DSE Solution Validator Produces Wrong Results for Transformed Artifacts
MR: https://git.fortiss.org/af3/af3/-/merge_requests/382
Testing:
* Copy the attached AF3 project to your runtime...
11:35 AM Design Space Exploration Bug #4078 (Closed): DSE Solution Validator Produces Wrong Results for Transformed Artifacts
h2. Problem Description
While the DseML expression parser & validator produces correct validation results for the ...

10/22/2020

11:28 AM Design Space Exploration Bug #4077 (New): Z3 solver produces contradicting solution states with the Java API and the smtlib interface
h2. Problem Description
When launching the DSE of the attached AF3 file with the two present RuleSets selected, th...

10/21/2020

05:05 PM AF3 Phoenix Change Request #4076 (New): Reintegrate the Tutorial Service
In the course of implementing #3922, the TutorialService was disabled due to strong dependencies in the ContextMenuSe...
05:01 PM AF3 Phoenix Change Request #4075 (New): Rework the ContextMenu- and the ActionService
Classes used in these services inherit from JFace elements such as IContributionItems and Actions (NB: not Runnables)...

Also available in: Atom