Commits · c3d158b26b4d90f768ef88d7496a77bd4e192cb2 · af3 / exploration-alg

Oct 19, 2020

Synth Categories for Objectives · c3d158b2

Issue-Ref: 4072
Issue-Url: https://af3-developer.fortiss.org/issues/4072


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

c3d158b2

Oct 16, 2020
- Constraint adoption for platform exploration · fbaa2ebe
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  fbaa2ebe
- Fixes · 1263b4c7
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  1263b4c7
- Opt4J: Fix source lib refs · 97f7c00a
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  97f7c00a
Oct 06, 2020

Do not use toString for the IDSEBackend Name · 84c7122c

Alexander Diewald authored 4 years ago

Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

84c7122c

Sep 15, 2020
- Merge remote-tracking branch 'origin/3541' · 23d42305
  Alexander Diewald authored 4 years ago
  
  23d42305
- Adapt to SMT Scheduler Changes · a39b7f26
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  a39b7f26
Aug 11, 2020
- Use the JFX settings Dialog from the DSE perspective. · 4c85705e
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  4c85705e
Jul 29, 2020

Adapt to Synthesis types being classes again · 09c7ee20

Alexander Diewald authored 4 years ago

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

09c7ee20

Jul 27, 2020

Compatibility with the new SolverSettings · 16c32c85

Alexander Diewald authored 4 years ago

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

16c32c85

Jul 15, 2020
- Add type info to mappings for multi-layer constraint support · 2ad31021
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  2ad31021
Jul 14, 2020
- Generalize the pipeline constraint handling · dfbd2c1d
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  dfbd2c1d
Jul 13, 2020
- Implement the decoupling pattern conversion · 7b84203f
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  7b84203f
May 29, 2020
- Rework the evaluator service · faa1b971
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  faa1b971
May 23, 2020

Merge branch 'master' of https://git.fortiss.org/af3/exploration-alg · a1713448

Alexander Diewald authored 4 years ago


Conflicts:
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/module/.ratings

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

a1713448

Remove the Genotyped annotation · e034292c
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
e034292c

May 21, 2020
- Merge branch '3365' into 'master' · de57231c
  Alexander Diewald authored 4 years ago
  
  3365 See merge request !20
  de57231c
May 14, 2020

Adapt to the new way of creating ExplorationResults · 47ddb27e

Alexander Diewald authored 4 years ago

Issue-Ref: 3365
Issue-Url: https://af3-developer.fortiss.org/issues/3365


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

47ddb27e

May 13, 2020

Replace old references to SMTConstraints/-Objectives · 324b90b0

Alexander Diewald authored 4 years ago

Issue-Ref: 3365
Issue-Url: https://af3-developer.fortiss.org/issues/3365


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

324b90b0

Adapt to EMM changes · d75689fb

Alexander Diewald authored 4 years ago

Issue-Ref: 3365
Issue-Url: https://af3-developer.fortiss.org/issues/3365


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

d75689fb

May 12, 2020

Adapt to AF3 master · ff68b753

Alexander Diewald authored 4 years ago

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ff68b753

Adapt to FileProject changes · 7cfbe091

Alexander Diewald authored 4 years ago

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

7cfbe091

May 11, 2020

Fix the output transformation. · 3806aca5

Alexander Diewald authored 4 years ago


* Consider module overrides for transformation modules.
* Change the transformation module retrieval logic.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3806aca5

Generalized encoding checks and fixed partition increment · 9c0f7a0a
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
9c0f7a0a

May 08, 2020

Fix the guard for not removing all partitions · 6fa37b99
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
6fa37b99
Partitions: Do not remove all resources during mutation · 252e2e50
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
252e2e50
GuicyGenotype: Remove size() override from debugging · 06256ba0
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
06256ba0
Remove the outdated variable annotation after updating · 7595e572
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
7595e572

Add an Encoding for Mappings of Tasks to phys exec units · 90e9bcc6

Alexander Diewald authored 4 years ago


* Allows to avoid modifying the PlatformCommGraph to obtain message
  routes.
* Introduces an IPhysicalExecutionUnitAdapter that represents physically
  existing ExecutionUnits, different to virtual ones such as Partitions.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

90e9bcc6

Rework the exploration pipeline, update support for outdated variables · 32029fe8

Alexander Diewald authored 4 years ago


* Rework parts of the rewiring logic for a cleaner and simpler DI-driven
  exploration pipeline.
* Require newly introduced VariableUpdaterModule when registering
  exploration variables. They are responsible for updating variables
  that are outdated due to a modification to a variable they depend
  upon.
* Deprecated @IdentityArtifact for @Provides-Method outputs and use
  @Reprovide for method inputs. It is used where the same type occurs as
  a method output in the same module.
* Update the opt4J libraries --> No modification to the
  CompositeGenotype.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

32029fe8

May 06, 2020
- D3SE: Extend the use of DI Principles and Scopes · 46714578
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  46714578
May 01, 2020
- Remove the Unused UpdatesEncoding Annotation · 799f28bc
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  799f28bc
- ExpFeat: Fix the operator retireval · d1b9442e
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  d1b9442e
Apr 29, 2020
- Use the correct evaluatior for solution validation · c0e19c45
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  c0e19c45
- Add artifacts produced by creators/decoders to the correct scope · 8923de58
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  8923de58
- Fix the SIL retrieval for tasks · 28ca1a36
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  28ca1a36
- Bug Fix: Evaluate periods for all task mappings · 88f43eb4
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  88f43eb4
Apr 28, 2020

Fix remaining NPEs in the constraint map · 9801a8fe
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
9801a8fe
Fix the multithreading module such that the scope is activated · ce840d09
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
ce840d09

Artifact containers: Support Feature Annotatations · 7018b49c

Alexander Diewald authored 4 years ago


* Add artifacts produced by creators or decoders to the artifact maps
  (Geno- / Phenotype) by their type AND feature annotation. The latter
  defines which feature produced the added artifact.
* Do not relaunch decoders that were already executed during the create
  phase. Therefore, the scope map of each decoding thread is checked
  against the types provided by decoders. If the to-be-produced
  artifacts are already present, the decoding method is not registered
  with the D3SE DI framework.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

7018b49c