Commits · be235476d27d7ddc2a00c79cc3f0de7a7219d24e · Alexander Diewald / AF3-new

20 Oct, 2020 2 commits

GREEN · be235476

Simon Barner authored Oct 20, 2020

* Factorize commonalities between createExplorationObjective()
  and createExplorationConstraint()

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

Signed-off-by: Simon Barner <barner@fortiss.org>

be235476

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4072 · 50cb0b10
Simon Barner authored Oct 20, 2020

50cb0b10

19 Oct, 2020 3 commits

DSE: Add Synthesis Categories to Objectives · d45f32b8

Alexander Diewald authored Oct 19, 2020

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

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

d45f32b8

Merge branch '4051' into 'master' · d3f79bff
Johannes Eder authored Oct 19, 2020
```
4051

See merge request af3/af3!361
```
d3f79bff

GREEN · 0609e3be

Johannes Eder authored Oct 19, 2020

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

Signed-off-by: Johannes Eder <eder@fortiss.org>

0609e3be

18 Oct, 2020 1 commit
- Merge remote-tracking branch 'origin/master' into 4051 · b45c2e30
  Martin Eisenmann authored Oct 18, 2020
  
  b45c2e30
16 Oct, 2020 3 commits

Merge branch '4071' into 'master' · 5f678e7a

Simon Barner authored Oct 16, 2020

Model Library Elements are not Filtered by the Selection any more

See merge request af3/af3!376

5f678e7a

GREEN · bb446935

Andreas Bayha authored Oct 16, 2020

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

bb446935

Adapt to API change of DynamicStreamContentProvider · 06df5739

Simon Barner authored Oct 16, 2020

* Override filter() instead of the now private getFilterPredicate()

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

Signed-off-by: Simon Barner <barner@fortiss.org>

06df5739

15 Oct, 2020 2 commits

Merge branch '4068' into 'master' · 8d13008a
Simon Barner authored Oct 15, 2020
```
4068

See merge request af3/af3!375
```
8d13008a

GREEN · 94e03aa1

Simon Barner authored Oct 15, 2020

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

Signed-off-by: Simon Barner <barner@fortiss.org>

94e03aa1

14 Oct, 2020 3 commits

YELLOW · 04492a7f

Alexander Diewald authored Oct 14, 2020

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

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

04492a7f

RED · e3d5e1e5

Simon Barner authored Oct 14, 2020

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

Signed-off-by: Simon Barner <barner@fortiss.org>

e3d5e1e5

GREEN · 735a0862

Simon Barner authored Oct 14, 2020

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

Signed-off-by: Simon Barner <barner@fortiss.org>

735a0862

13 Oct, 2020 5 commits
- DSE-CLI: Update Parameters to Produce SAT/UNSAT Test Cases · f34a939d
  Alexander Diewald authored Oct 13, 2020
```
Issue-Ref: 4068
Issue-Url: https://af3-developer.fortiss.org/issues/4068

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  f34a939d
- Merge remote-tracking branch 'origin/master' into 4068 · 2d9067a7
  Alexander Diewald authored Oct 13, 2020
  
  2d9067a7
- Merge branch 'QuickFix-DSE-CLI-Use-AllTargets' into 'master' · 7388e80a
  Alexander Diewald authored Oct 13, 2020
```
DSE-CLI: QuickFix: Consider all ExpTargets

See merge request af3/af3!374
```
  7388e80a
- DSE-CLI: QuickFix: Consider all ExpTargets · 58db94c7
  Alexander Diewald authored Oct 13, 2020
```
Issue-Ref: 0000
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  58db94c7
- DSE-TCgen: Cleanup & Include Failing TCs · 25ff6657
  Alexander Diewald authored Oct 13, 2020
```
Issue-Ref: 4067
Issue-Url: https://af3-developer.fortiss.org/issues/4067

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  25ff6657
12 Oct, 2020 4 commits
- fixed compile error in filter in dynamic tree content provider · 2eff656f
  Johannes Eder authored Oct 12, 2020
```
Issue-Ref: 4015
Issue-Url: https://af3-developer.fortiss.org/issues/4015

Signed-off-by: Johannes Eder <eder@fortiss.org>
```
  2eff656f
- Merge branch '4067' into 'master' · da09af53
  Simon Barner authored Oct 12, 2020
```
DSE-CLI: Skip Validation if no Solution is Present

See merge request af3/af3!373
```
  da09af53
- Merge branch '4015' into 'master' · 0f5f58bb
  Johannes Eder authored Oct 12, 2020
```
4015

See merge request af3/af3!353
```
  0f5f58bb
- Merge remote-tracking branch 'origin/master' into 4015 · 2daff1b5
  Johannes Eder authored Oct 12, 2020
```
Conflicts:
	org.fortiss.af3.component/src/org/fortiss/af3/component/utils/.ratings
Signed-off-by: Johannes Eder <eder@fortiss.org>
```
  2daff1b5
09 Oct, 2020 4 commits
- GREEN · 1f76bb1c
  Simon Barner authored Oct 09, 2020
```
Issue-Ref: 4067
Issue-Url: https://af3-developer.fortiss.org/issues/4067

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  1f76bb1c
- Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4067 · ee46a17d
  Simon Barner authored Oct 09, 2020
  
  ee46a17d
- Merge branch '4064' into 'master' · 50f6f564
  Simon Barner authored Oct 09, 2020
```
4064

See merge request af3/af3!372
```
  50f6f564
- GREEN · d8598fb5
  Simon Barner authored Oct 09, 2020
```
Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  d8598fb5
08 Oct, 2020 4 commits

DSE-CLI: Skip Validation if no Solution is Present · 0df6f54b

Alexander Diewald authored Oct 08, 2020

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

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

0df6f54b

GREEN · 5368998e

Andreas Bayha authored Oct 08, 2020

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

5368998e

DSE.UI: Resolve Threading Issues: Synth. View Open, Delete AF3 Project · 573ef83b

Alexander Diewald authored Oct 08, 2020

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

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

573ef83b

DSE: Use the SolverSetting Class for Storage, not the Instance... · 5759588d

Alexander Diewald authored Oct 08, 2020

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

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

5759588d

07 Oct, 2020 1 commit

Project: Enable Importing Projects from any Source · ff3dfa8f

Alexander Diewald authored Oct 07, 2020

Reenables importing projects from platform resources such as projects
embedded in AF3 plugins. The new solution is based on In-/OutputStreams
instead of File descriptors rendering the solution way more robust. We
are now using the intended way.

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

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

ff3dfa8f

06 Oct, 2020 7 commits

DSE: Enable Correct Saving of Models With Custom Solver Settings · 264a57aa

Alexander Diewald authored Oct 06, 2020

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

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

264a57aa

DSe.UI Synth: Fix · fa020fc2

Alexander Diewald authored Oct 06, 2020

The event logic guard was overactive, preventing most logic to be
executed.

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

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

fa020fc2

Z3Backend: Fix Error Message Typo · 7eba0ffe

Alexander Diewald authored Oct 06, 2020

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

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

7eba0ffe

DSE.UI Dash: Resolve Button ID Mismatches · dfe934c6

Alexander Diewald authored Oct 06, 2020

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

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

dfe934c6

DSE.UI: Disable View Navigator Button if no Project is Loaded · 0514fe69

Alexander Diewald authored Oct 06, 2020

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

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

0514fe69

DSE.UI Dash: Disable view buttons if no project is loaded · 12f1f7c5

Alexander Diewald authored Oct 06, 2020

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

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

12f1f7c5

DSE.UI Synth: Disable UI updates for missing DSE project · 84d61f8b

Alexander Diewald authored Oct 06, 2020

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

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

84d61f8b

05 Oct, 2020 1 commit
- Merge branch '4054' into 'master' · 8241650a
  Johannes Eder authored Oct 05, 2020
```
4054

See merge request af3/af3!368
```
  8241650a