- 25 Jul, 2018 1 commit
-
-
reaboi authoredyellow seems to work finally test more Signed-off-by:
reaboi <reaboi@fortiss.org>
-
- 24 Jul, 2018 2 commits
-
-
reaboi authored
works somehow with eCar example. Not working with my example Signed-off-by:reaboi <reaboi@fortiss.org> -
reaboi authored
not working with connected ports of the same name Signed-off-by:reaboi <reaboi@fortiss.org>
-
- 23 Jul, 2018 1 commit
-
-
reaboi authored
some examples don't correctly unpack Signed-off-by:reaboi <reaboi@fortiss.org>
-
- 19 Jul, 2018 2 commits
-
-
reaboi authored
still not ready Signed-off-by:reaboi <reaboi@fortiss.org> -
reaboi authored
not clear how to remove unnecessary ports Signed-off-by:reaboi <reaboi@fortiss.org>
-
- 16 Jul, 2018 1 commit
-
-
reaboi authored
YELLOW code reviewed Signed-off-by:reaboi <reaboi@fortiss.org>
-
- 13 Jul, 2018 3 commits
-
-
Alexander Diewald authored
3357 dse deployment synthesis task architecture See merge request af3!50
-
Alexander Diewald authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org> -
Alexander Diewald authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- 12 Jul, 2018 7 commits
-
-
https://git.fortiss.org/af3/af3.gitSimon Barner authoredMerge branch 'master' of https://git.fortiss.org/af3/af3.git into 3357-DSE_deployment_synthesis_task_architecture
-
Simon Barner authored
* Avoid UniqueIDUtils.generateAllIDs() that resets all IDs starting from 0 and is a source of duplicated IDs. Use fixMissingIDs() instead. * Assign IDs only to elements that have been connected to the model. Otherwise, i.e. if these elements are still "dangling" these IDs will not be seen, resulting into duplicated IDs. Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
* getRootLevelComponent() * getTopLevelComponent() Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
* createVirtualLinkConstraints(): Correctly generate end() constraints * createBasicRoutingConstraints() * Factorize invocation createSMTConstraint() to this method * Handle the case that there are no signals or virtual links * Rename createTimeConstraint() to startEndConstraint() Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
* Cleanup interface and implementation of getTransmissionUnitConnection() * Further documentation fixes Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- 11 Jul, 2018 3 commits
-
-
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
* Delegate to SetStaticImpl.getCastedSet() Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Hernan Ponce de Leon authored
3467 z3 4.7.1 fixed See merge request !48
-
- 10 Jul, 2018 7 commits
-
-
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Alexander Diewald authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org> -
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org> -
Simon Barner authored
* Further style cleanup (no functional changes) Issue-Ref: 3467 Issue-Url: https://af3-developer.fortiss.org/issues/3467 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Johannes Eder authored -
Alexander Diewald authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org> -
Alexander Diewald authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- 09 Jul, 2018 6 commits
-
-
-
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Alexander Diewald authored
* Undo timing model changes. Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Alexander Diewald <diewald@fortiss.org> -
https://git.fortiss.org/af3/af3.gitSimon Barner authored
Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 3357-DSE_deployment_synthesis_task_architecture
-
Simon Barner authored
* Introduce SolverRun:: * setSolutionModels() * getSolutionEntryType() * getSolutionModelName() * Change DSMLtoSMTTransformator::computeAllocations() and computeSchedule() to work on single Z3 Model Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- 06 Jul, 2018 7 commits
-
-
Simon Barner authored
* Introduce IDSLMTransformationService::getAnnotation() and generalize lookup of model elements providing parameters * Unify transformation of results in ScheduleRun and DeploymentRun Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
* Add reference to #3364 * No functional change Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Alexander Diewald authored
Repick of the commits from branch 3418 See merge request !49
-
Vivek Nigam authored
* Ratings updated Issue-Ref: 3418 Signed-off-by:Vivek Nigam <nigam@fortiss.org> -
Simon Barner authored
Issue-Ref: 3357 Issue-Url: https://af3-developer.fortiss.org/issues/3357 Signed-off-by:
Simon Barner <barner@fortiss.org> -
https://git.fortiss.org/af3/af3.gitSimon Barner authored
Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 3357-DSE_deployment_synthesis_task_architecture Conflicts: org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/rework/.ratings org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/rework/DSMLtoSMTTransformator.java org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/rework/DeploymentRun2.java org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/dashboard/projectwizard/.ratings org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/dashboard/projectwizard/DashboardWizard.java org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/objective/.ratings org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/service/.ratings org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/synthesis/.ratings org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/synthesis/DeploymentSynthesisViewBackend.java org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/visualization/visualizations/table/.ratings org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/visualization/visualizations/table/TableVisualization.java
-
Alexander Diewald authored
* Due to broken merge of 3418. * Ratings derived from .ratings file (YELLOW-->GREEN; due to merge). Issue-Ref: 3418 Issue-Url: https://af3-developer.fortiss.org/issues/3418 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-