- Nov 23, 2017
-
-
Simon Barner authored
refs 2939
-
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
-
- Aug 22, 2017
-
-
Simon Barner authored
- Register builders and natures that are required to be compatible with new build infrastructure - Bump version to 2.11.0
-
- May 02, 2017
-
-
Florian Hölzl authored
-
Florian Hölzl authored
-
- Apr 28, 2017
-
-
Simon Barner authored
- Clean: Do not show dialog to interactively delete resources for package paths defined in a GenModel that are not a sub-directory of the corresponding project. Note that these package paths have already excluded from the automatic deletion, but the delete dialog still allowed to users to (unintentionally) delete resources - Generate: Skip package paths defined in a GenModel that are not a sub-directory of the corresponding project. This prevents that the generation from project A generates or modifies files in project B. - Improved error logging
-
- Mar 08, 2017
-
-
Vincent Aravantinos authored
-
- Feb 17, 2017
-
-
Florian Hölzl authored
-
- Dec 21, 2016
-
-
Johannes Eder authored
-
Johannes Eder authored
-
- Nov 03, 2016
-
-
Simon Barner authored
- Update Fortiss Eclipse Development Tools to version org.fortiss.ide.dev_tools_1.2.0.201610201539 that brings an updated Ecore builder that supports: - Cleaning of generated artifacts (generated-src) - Customizable protection rules to ensure that some files are left alone by the generator - Re-generation of .edit projects (if they exist)
-
- Sep 08, 2016
-
-
Sergey Zverlov authored
refs 7483
-
- Aug 23, 2016
-
-
Florian Hölzl authored
-
- Aug 01, 2016
-
-
Vincent Aravantinos authored
-
- Jul 28, 2016
-
-
Simon Barner authored
- Note that there is the FBK OCRA plugin that has a 'trunk' folder within its plugin folders. Hence, the rm:locator pattern has to be defined very restrictively
-
- Jul 26, 2016
-
-
Florian Hölzl authored
-
- Jul 12, 2016
-
-
Florian Hölzl authored
refs 2628
-
- Jul 05, 2016
-
-
Florian Hölzl authored
Added team project set file for TK2-neo branches (now without bad dependencies of af3.analyses). refs 2626
-
- Jul 04, 2016
-
-
Florian Hölzl authored
-
Florian Hölzl authored
-
- Jun 03, 2016
-
-
Florian Hölzl authored
-
- Jun 01, 2016
-
-
Simon Barner authored
-
- May 24, 2016
-
-
Florian Hölzl authored
-
- Mar 29, 2016
-
-
Simon Barner authored
- Consistently configure the following builders: org.fortiss.ide.dev_tools.warnings.RemoveWarningsBuilder org.fortiss.ide.dev_tools.warnings.GuidelinesChecker org.eclipse.m2e.core.maven2Builder - Configure JDK 1.8 also in .classpath - Bump plugin version to 2.9.0 in pom.xml - "model" plugin - Move "compose" package here - GenModel: Do not generate array accessors (caused compilation errors in generated code for some models and option is apparently not used in AF3 - Remove .DS_Store file Refs 2512
-
- Mar 22, 2016
-
-
Vincent Aravantinos authored
-
Vincent Aravantinos authored
-
- Mar 11, 2016
-
-
Florian Hölzl authored
-
- Mar 09, 2016
-
-
Vincent Aravantinos authored
-
Vincent Aravantinos authored
-
Vincent Aravantinos authored
-
- Mar 07, 2016
-
-
Florian Hölzl authored
-
- Feb 16, 2016
-
-
Florian Hölzl authored
-
- Dec 10, 2015
-
-
Florian Hölzl authored
-
- Dec 09, 2015
-
-
Simon Barner authored
- README - Instructions for plugin.properties, pom.xml and plugin.xml -> Overview (plugin name and version) - Reference all required svn:externals - Default plugin version: 2.8.0 - Minor fixes (add .qualifier to plugin version)
-
Simon Barner authored
- Set base package and name prefix and adjust search&replace instructions in README
-
- Dec 08, 2015
-
-
Florian Hölzl authored
-
Simon Barner authored
- ECHO -> echo - REM -> #
-
- Dec 07, 2015
-
-
Alexander Diewald authored
- Fix mars' rmap file to pull in the package org.eclipse.core.runtime.compatibility.auth from the luna repository (otherwise materialization will not work).
-
- Nov 13, 2015
-
-
Alexander Diewald authored
- Generify the ExplorationTarget class. - Priorities are now only annotated to ExplorationObjectives. - Renaming of EOps and some attributes acc. to recent discussion. - Further cleanup.
-
- Oct 30, 2015
-
-
Alexander Diewald authored
-