Commits · master · af3 / exploration-alg

Dec 07, 2020
- Fixup joint Platform + Partition Explorations · b1474efd
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  b1474efd
Dec 06, 2020
- Fixup PartitionArchitecture Exploration · 795c4c60
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  795c4c60
Dec 02, 2020
- Fixup Separation/Coupling Constraint Processing · 9707e2b9
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  9707e2b9
Nov 23, 2020

Merge remote-tracking branch 'origin/safety_functions' · 7b618155

Conflicts:
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/ExplorationAlg.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/sysmodel/arch/ISafetyFunctionAdapter.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/scheduling/TTScheduleExploration.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/module/common/input/SafetyFunctionModule.java

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

7b618155

Fixes for PlatformExploration · 242375d8

Alexander Diewald authored 4 years ago


* Fixup AssignmentConstraint validation.
* Do not reuse existing ResourceContainmentEncodings: They aren't
  Genotypes!!!
* Replace existing ExplorationConstraints with internal
  AssignmentConstraints.

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

242375d8

Nov 21, 2020
- Do not use multithreading for now · 7ad7b8ce
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  7ad7b8ce
- Constraints: Do not reuse Collections when Copying ConstraintMaps · 72493f26
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  72493f26
Nov 13, 2020
- Fix the dependency discovery for good · 7f3d7665
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  7f3d7665
Nov 11, 2020
- Constraints: Do not Share the COnstraint Map in Genotypes · e50c616f
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  e50c616f
Nov 06, 2020

Remove warning · 940b6e02
Alexander Diewald authored 4 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
940b6e02

Fixpu Dependency Identification and Constraint Handling · accdaf31

Alexander Diewald authored 4 years ago


* Fixup the Guice Deps visitors to catch all dependencies. Some
  variables were not considered before.
* Pass the constraint map through the selection phase.

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

accdaf31

Oct 29, 2020
- Clean D3SEModule Constraints After Execution · b0451dd1
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  b0451dd1
Oct 28, 2020
- Fixes for the Constraint Handling. · f10e9e17
  Alexander Diewald authored 4 years ago
  
  Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  f10e9e17
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