Skip to content
Snippets Groups Projects
  1. Nov 28, 2017
  2. Nov 24, 2017
  3. Nov 23, 2017
    • Alexander Diewald's avatar
      Integrate a DSE backend selection mechanism in the DSE perspective. · da750b8d
      Alexander Diewald authored
      * Exploration.alg:
        * Register the .alg plugin via an IStattup extension to avoid dependencies on this plugin.
        * Create a objective and a constraint evaluator that can handle DSML expressions.
        * Adjust the opt4j extensions.
        * Temporally introduce the MappingEncoding marker interface to support the DSML evaluators (--> allocation expressions).
        * Fix some minor bugs and warnings.
        * Move the porting utils to the alg plugin (previously in alg.ui).
        * Move the plot code to the alg plugin (previously in alg.ui) until the transition to the AF3 visualization framework is finished.
      * Exploration.smt:
        * Create a backend implementation for the smt-based exploration.
        * Minor adjustments (I/O) to comply with the backend mechanism.
      * Exploration:
        * Package renaming of the DSE backend mechanism.
        * Make the DSE backend mechanism independent of the eclipse extension mechanism.
        * Integrate the Exploration solution Classes in the EMF model.
        * Minor adjustments of the DSE backend API.
      * Exploration.ui:
        * Add a combobox to select the DSE backend for the Deployment synthesis
        * Adjust the GUI backends to comply with the DSE backend interfaces.
      refs 2939
      da750b8d
  4. Nov 22, 2017
  5. Nov 20, 2017
  6. Nov 17, 2017
  7. Nov 16, 2017
  8. Nov 14, 2017
  9. Nov 08, 2017
  10. Oct 26, 2017
  11. Oct 12, 2017
  12. Aug 08, 2017
  13. Jul 18, 2017
  14. Jul 10, 2017
  15. Jun 29, 2017
  16. Jun 27, 2017
    • Alexander Diewald's avatar
      - Fix the constraint validation: · d724e989
      Alexander Diewald authored
        - Filter the archive before creating the output collections (Before, the validation was applied after this step).
        - Re-create the Pareto-Front after the constraint validation and let it operate only on Objectives.
      - Fix the Creation of Opt4J internal objectives such that all ExplorationTargets are correctly represented: They need a unique string identifier (Id must be different --> name construction).
      d724e989
  17. Jun 22, 2017
  18. Jun 14, 2017
  19. May 22, 2017
  20. Mar 23, 2017
  21. Mar 15, 2017
  22. Mar 13, 2017
  23. Mar 03, 2017
  24. Mar 01, 2017
  25. Feb 24, 2017
  26. Feb 23, 2017
  27. Feb 21, 2017
Loading