Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4078 Design Space Exploration Bug Resolved Normal DSE Solution Validator Produces Wrong Results for Transformed Artifacts Johannes Eder 10/23/2020 02:47 PM
4077 Design Space Exploration Bug New Normal Z3 solver produces contradicting solution states with the Java API and the smtlib interface Johannes Eder 10/22/2020 11:28 AM
4064 Design Space Exploration Bug Resolved Normal Synthesis View: Crash when opening without an imported project Alexander Diewald 10/09/2020 05:11 PM
4009 Design Space Exploration Feature In Progress Normal Add CPLEX support Martin Eisenmann 04/25/2020 02:21 PM
3844 Design Space Exploration Change Request New Normal Indicate model modification in DSE perspective. Simon Barner 01/24/2020 12:04 PM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 PM
3799 Design Space Exploration Change Request New Normal Enable only the execution of explorations for which all prerequisites are fulfilled Tiziano Munaro 01/24/2020 12:04 PM
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
3769 Design Space Exploration Feature New Normal Adapt scheduling constraints to take advantage of alternative routes Tiziano Munaro 01/24/2020 11:55 AM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
3708 Design Space Exploration Feature In Progress High Exploration of ExecutionUnit numbers as a variance-based exploration Alexander Diewald 01/24/2020 11:54 AM
3707 Design Space Exploration Feature New High Platform exploration for the Hierarchical Platform Alexander Diewald 01/24/2020 11:53 AM
3703 Design Space Exploration Change Request New Normal Enable unfolded quantification over subsets in SMT Tiziano Munaro 01/24/2020 12:04 PM
3697 Design Space Exploration Support New Normal Move utility classes from exploration.smt.modeltransformation to exploration.smt.util Alexander Diewald 01/24/2020 12:11 PM
3694 Design Space Exploration Feature Feedback Normal Update and integrate the DseML text editor Johannes Eder 08/12/2020 01:50 PM
3693 Design Space Exploration Change Request In Progress Normal Improve the Step/Target presentation of the DSE Navigator Alexander Diewald 02/04/2020 01:24 PM
3691 Design Space Exploration Feature New Normal Extend the DseML to enable specifying non-existing model elements Alexander Diewald 01/24/2020 11:53 AM
3689 Design Space Exploration Feature New Normal Extend the DseML to enable expressions to specifiy non-existing elements and attributes Alexander Diewald 04/16/2020 11:29 AM
3669 Design Space Exploration Feature New Normal Reenable the Allocation Validation (Tasks --> ExecUnits) Alexander Diewald 01/24/2020 11:52 AM
3667 Design Space Exploration Feature New Normal Move the schedule latency minimization to a pattern Alexander Diewald 01/24/2020 11:52 AM
3628 Design Space Exploration Feature New Normal Z3: Implement progress heuristics Simon Barner 01/24/2020 11:52 AM
3595 Design Space Exploration Change Request New Normal Create a DSML interface for Set references Alexander Diewald 04/16/2020 05:28 PM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF